public class SmallTests
extends java.lang.Object
Modifier and Type | Class and Description |
---|---|
static class |
SmallTests.NastySyncProductExample |
static class |
SmallTests.SyncProductExampleBook |
Modifier and Type | Field and Description |
---|---|
static byte |
LM |
static byte |
MM |
static int[] |
NE |
static int |
NR |
static byte |
SM |
static byte |
TM |
Constructor and Description |
---|
SmallTests() |
Modifier and Type | Method and Description |
---|---|
static void |
main(java.lang.String[] args) |
static int[] |
testSingleGraph(SyncProduct net,
ReplayAlgorithm.Debug debug) |
public static byte LM
public static byte MM
public static byte SM
public static byte TM
public static int[] NE
public static int NR
public static void main(java.lang.String[] args) throws nl.tue.astar.util.ilp.LPMatrixException
nl.tue.astar.util.ilp.LPMatrixException
public static int[] testSingleGraph(SyncProduct net, ReplayAlgorithm.Debug debug) throws nl.tue.astar.util.ilp.LPMatrixException
nl.tue.astar.util.ilp.LPMatrixException