org.jacop.constraints.netflow

Class Assert

java.lang.Object

org.jacop.constraints.netflow.Assert

public class Assert
extends Object

Version:

4.9

Author:

Robin Steiger and Radoslaw Szymanek

Constructor Summary

Constructors

Constructor and Description
Assert()

Method Summary

Modifier and Type	Method and Description
static 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()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

Assert

public Assert()

Method Detail

checkFlow

public static boolean checkFlow(NetworkSimplex g)

checkBeforeUpdate

public static boolean checkBeforeUpdate(Arc leaving,
                                        Arc entering)

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 List<Arc> allArcsForDebug(NetworkSimplex g)