Package org.jacop.constraints.netflow
Class Assert
- java.lang.Object
-
- org.jacop.constraints.netflow.Assert
-
public class Assert extends java.lang.Object
- Version:
- 4.7
-
-
Constructor Summary
Constructors Constructor Description Assert()
-
Method Summary
All Methods Static Methods Concrete Methods Modifier and Type Method Description static java.util.List<Arc>
allArcsForDebug(NetworkSimplex g)
static boolean
checkBeforeUpdate(Arc leaving, Arc entering)
static boolean
checkFlow(NetworkSimplex g)
static boolean
checkInfeasibleNodes(NetworkSimplex g)
static boolean
checkOptimality(NetworkSimplex g)
static boolean
checkStructure(NetworkSimplex g)
static void
forceAsserts()
-
-
-
Method Detail
-
checkFlow
public static boolean checkFlow(NetworkSimplex g)
-
checkStructure
public static boolean checkStructure(NetworkSimplex g)
-
checkOptimality
public static boolean checkOptimality(NetworkSimplex g)
-
checkInfeasibleNodes
public static boolean checkInfeasibleNodes(NetworkSimplex g)
-
forceAsserts
public static void forceAsserts()
-
allArcsForDebug
public static java.util.List<Arc> allArcsForDebug(NetworkSimplex g)
-
-