JaCoP.constraints.netflow
Class Assert

java.lang.Object
  JaCoP.constraints.netflow.Assert

public class Assert
extends java.lang.Object

Version:

3.1

Author:

Robin Steiger and Radoslaw Szymanek

Constructor Summary

Assert()

Method Summary

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()

Methods inherited from class java.lang.Object

equals, 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 java.util.List<Arc> allArcsForDebug(NetworkSimplex g)