- d - Variable in class JaCoP.constraints.Assignment
-
It specifies a list of variables d.
- Danzig - Class in JaCoP.constraints.netflow.simplex
-
A simple rule that always chooses the arc with maximum violation.
- Danzig(NetworkSimplex) - Constructor for class JaCoP.constraints.netflow.simplex.Danzig
-
- DataStoreConnection - Class in tlass.project
-
Simplistic factory to interact with the Database
Generates a specialized Connection
- DataStoreConnection() - Constructor for class tlass.project.DataStoreConnection
-
- DataStoreConnection(String, String, String, String) - Constructor for class tlass.project.DataStoreConnection
-
Tests the connection
- DAYS - Static variable in class tlass.project.model.TimeBlock
-
- db - Static variable in class tlass.project.DataStoreConnection
-
- DbConnectionException - Exception in tlass.project.exceptions
-
- DbConnectionException() - Constructor for exception tlass.project.exceptions.DbConnectionException
-
- DbConnectionException(String) - Constructor for exception tlass.project.exceptions.DbConnectionException
-
- DBox - Class in JaCoP.constraints.geost
-
- DBox(int[], int[]) - Constructor for class JaCoP.constraints.geost.DBox
-
constructs a new Box.
- DEBUG - Static variable in class JaCoP.constraints.netflow.simplex.NetworkSimplex
-
- debug - Static variable in class JaCoP.core.MutableDomain
-
It specifies if debugging info should be printed out.
- debug - Static variable in class JaCoP.core.Store
-
It specifies if some debugging information is printed.
- DEBUG_ALL - Static variable in class JaCoP.constraints.netflow.simplex.NetworkSimplex
-
- debugAll - Static variable in class JaCoP.constraints.AmongVar
-
It turns out printing debugging information.
- debugAll - Static variable in class JaCoP.constraints.ExtensionalSupportMDD
-
It specifies if the debugging information is printed.
- debugAll - Static variable in class JaCoP.constraints.knapsack.Knapsack
-
It specifies if any debugging information should be printed.
- debugAll - Static variable in class JaCoP.constraints.regular.Regular
-
It specifies if debugging information should be printed out.
- debugStream - Variable in class JaCoP.fz.ParserTokenManager
-
Debug output.
- decompose(Store) - Method in class JaCoP.constraints.AndBool
-
- decompose(Store) - Method in class JaCoP.constraints.Constraint
-
It returns an array list of constraint which are used to decompose this
constraint.
- decompose(Store) - Method in class JaCoP.constraints.DecomposedConstraint
-
It returns an array list of constraint which are used to decompose this
constraint.
- decompose(Store) - Method in class JaCoP.constraints.EqBool
-
- decompose(Store) - Method in class JaCoP.constraints.Lex
-
- decompose(Store) - Method in class JaCoP.constraints.netflow.Arithmetic
-
- decompose(Store) - Method in class JaCoP.constraints.OrBool
-
- decompose(Store) - Method in class JaCoP.constraints.regular.Regular
-
- decompose(Store) - Method in class JaCoP.constraints.Sequence
-
- decompose(Store) - Method in class JaCoP.constraints.SoftAlldifferent
-
- decompose(Store) - Method in class JaCoP.constraints.SoftGCC
-
- decompose(Store) - Method in class JaCoP.constraints.Stretch
-
- DecomposedConstraint - Class in JaCoP.constraints
-
Standard unified interface/abstract class for constraints, which can only be decomposed.
- DecomposedConstraint() - Constructor for class JaCoP.constraints.DecomposedConstraint
-
- decomposeLE(Store) - Method in class JaCoP.constraints.Lex
-
- decomposeLT(Store) - Method in class JaCoP.constraints.Lex
-
- decomposition - Variable in class JaCoP.constraints.SoftAlldifferent
-
- decomposition - Variable in class JaCoP.constraints.SoftGCC
-
- deepClone(HashSet<FSMState>) - Method in class JaCoP.util.fsm.FSMState
-
Performing deep clone unless this state has already a state with
the same id in the array of states.
- deepClone(HashSet<FSMState>) - Method in class JaCoP.util.fsm.FSMTransition
-
It performs a clone of a transition with copying the attributes too.
- DEFAULT - Static variable in interface JaCoP.fz.ParserConstants
-
Lexical state.
- definingVariables() - Method in class JaCoP.constraints.geost.AllowedArea
-
- definingVariables() - Method in class JaCoP.constraints.geost.DomainHoles
-
- definingVariables() - Method in class JaCoP.constraints.geost.ForbiddenArea
-
- definingVariables() - Method in class JaCoP.constraints.geost.InternalConstraint
-
It provides a collection, possibly empty, of variables which define this constraint.
- definingVariables() - Method in class JaCoP.constraints.geost.ObstacleObjectFrame
-
- degree - Variable in class JaCoP.constraints.netflow.simplex.Node
-
number of connected arcs
- DELETED_ARC - Static variable in class JaCoP.constraints.netflow.simplex.NetworkSimplex
-
- deletedArcs - Variable in class JaCoP.constraints.netflow.Network
-
List of deleted arcs (contains no duplicates)
- deletedSize - Variable in class JaCoP.constraints.netflow.Network
-
Number of deleted arcs at each level
- deleteSemester(String) - Method in class tlass.project.SemesterHandler
-
Delete the supplied semester from the dataStore
- deltaBalance - Variable in class JaCoP.constraints.netflow.simplex.Node
-
change in balance for the next flow computation
- dense - Variable in class JaCoP.util.SparseSet
-
Dense array used within SparseSet functionality.
- depth - Variable in class JaCoP.constraints.netflow.simplex.Node
-
- DepthFirstSearch<T extends Var> - Class in JaCoP.search
-
Implements Depth First Search with number of possible plugins (listeners) to
be attached to modify the search.
- DepthFirstSearch() - Constructor for class JaCoP.search.DepthFirstSearch
-
It specifies current child search.
- deRegisterRemoveLevelListener(Constraint) - Method in class JaCoP.core.Store
-
This function deregisters a constraint from the listeners queue.
- deregisterWatchedLiteralConstraint(Var, Constraint) - Method in class JaCoP.core.Store
-
Variable given as a parameter no longer watches constraint given as
parameter.
- deregisterWatchedLiteralConstraint(Constraint) - Method in class JaCoP.core.Store
-
Watched constraint given as parameter is being removed, no variable will
be watching it.
- describe() - Method in class tlass.project.model.Section
-
Returns a description of the section in plaintext string.
- description - Variable in class JaCoP.core.Store
-
It specifies long description of the store.
- dest - Variable in class JaCoP.constraints.regular.RegEdge
-
The destination state.
- diagnoseTest() - Method in class tlass.unitTesting.project.TestScheduler
-
- diagram - Variable in class JaCoP.util.MDD
-
For each node at given index i-th it specifies all possible
outgoing edges.
- Diff - Class in JaCoP.constraints
-
Diff constraint assures that any two rectangles from a vector of rectangles
does not overlap in at least one direction.
- Diff(Rectangle[], boolean) - Constructor for class JaCoP.constraints.Diff
-
It specifies a diff constraint.
- Diff(IntVar[][]) - Constructor for class JaCoP.constraints.Diff
-
It specifies a diff constraint.
- Diff(IntVar[], IntVar[], IntVar[], IntVar[], boolean) - Constructor for class JaCoP.constraints.Diff
-
It constructs a diff constraint.
- Diff(IntVar[], IntVar[], IntVar[], IntVar[]) - Constructor for class JaCoP.constraints.Diff
-
It constructs a diff constraint.
- Diff(ArrayList<? extends ArrayList<? extends IntVar>>) - Constructor for class JaCoP.constraints.Diff
-
It specifies a diffn constraint.
- Diff(ArrayList<? extends ArrayList<? extends IntVar>>, boolean) - Constructor for class JaCoP.constraints.Diff
-
It specifies a diff constraint.
- Diff(ArrayList<? extends IntVar>, ArrayList<? extends IntVar>, ArrayList<? extends IntVar>, ArrayList<? extends IntVar>) - Constructor for class JaCoP.constraints.Diff
-
It constructs a diff constraint.
- Diff(ArrayList<? extends IntVar>, ArrayList<? extends IntVar>, ArrayList<? extends IntVar>, ArrayList<? extends IntVar>, boolean) - Constructor for class JaCoP.constraints.Diff
-
It constructs a diff constraint.
- Diff(IntVar[][], boolean) - Constructor for class JaCoP.constraints.Diff
-
It specifies a diff constraint.
- Diff2 - Class in JaCoP.constraints
-
Diff2 constraint assures that any two rectangles from a vector of rectangles
does not overlap in at least one direction.
- Diff2(Rectangle[], int[], boolean) - Constructor for class JaCoP.constraints.Diff2
-
Conditional Diff2.
- Diff2(ArrayList<IntVar>, ArrayList<IntVar>, ArrayList<IntVar>, ArrayList<IntVar>, boolean) - Constructor for class JaCoP.constraints.Diff2
-
It creates a diff2 constraint.
- Diff2(ArrayList<? extends ArrayList<? extends IntVar>>) - Constructor for class JaCoP.constraints.Diff2
-
It creates a diff2 constraint.
- Diff2(ArrayList<? extends ArrayList<? extends IntVar>>, boolean) - Constructor for class JaCoP.constraints.Diff2
-
It creates a diff2 constraint.
- Diff2(ArrayList<? extends IntVar>, ArrayList<? extends IntVar>, ArrayList<? extends IntVar>, ArrayList<? extends IntVar>) - Constructor for class JaCoP.constraints.Diff2
-
It creates a diff2 constraint.
- Diff2(IntVar[], IntVar[], IntVar[], IntVar[]) - Constructor for class JaCoP.constraints.Diff2
-
It creates a diff2 constraint.
- Diff2(IntVar[], IntVar[], IntVar[], IntVar[], boolean) - Constructor for class JaCoP.constraints.Diff2
-
It creates a diff2 constraint.
- Diff2(IntVar[][]) - Constructor for class JaCoP.constraints.Diff2
-
It creates a diff2 constraint.
- Diff2(IntVar[][], boolean) - Constructor for class JaCoP.constraints.Diff2
-
It creates a diff2 constraint.
- Diff2(ArrayList<ArrayList<IntVar>>, ArrayList<ArrayList<Integer>>) - Constructor for class JaCoP.constraints.Diff2
-
Conditional Diff2.
- Diff2(IntVar[][], ArrayList<ArrayList<Integer>>) - Constructor for class JaCoP.constraints.Diff2
-
Conditional Diff2.
- dimension - Variable in class JaCoP.constraints.geost.GeostObject
-
It specifies the number of dimensions in this object.
- dimensionAt(int) - Method in interface JaCoP.constraints.geost.LexicographicalOrder
-
It provides the dimension corresponding to the given precedence level
- dimensionAt(int) - Method in class JaCoP.constraints.geost.PredefinedOrder
-
- dimensionAt(int) - Method in class JaCoP.constraints.geost.ShiftOrder
-
- disable_tracing() - Method in class JaCoP.fz.Parser
-
Disable tracing.
- disableQueueVariable - Variable in class JaCoP.constraints.netflow.NetworkFlow
-
Disables the queue variable function during consistency
- disableState(int, int) - Method in class JaCoP.constraints.regular.Regular
-
It marks state as being not active.
- Disjoint - Class in JaCoP.constraints
-
Disjoint constraint assures that any two rectangles from a vector of
rectangles does not overlap in at least one direction.
- Disjoint(Rectangle[], boolean) - Constructor for class JaCoP.constraints.Disjoint
-
- Disjoint(ArrayList<IntVar>, ArrayList<IntVar>, ArrayList<IntVar>, ArrayList<IntVar>, boolean) - Constructor for class JaCoP.constraints.Disjoint
-
It creates a diff2 constraint.
- Disjoint(ArrayList<? extends ArrayList<? extends IntVar>>) - Constructor for class JaCoP.constraints.Disjoint
-
It creates a diff2 constraint.
- Disjoint(ArrayList<? extends ArrayList<? extends IntVar>>, boolean) - Constructor for class JaCoP.constraints.Disjoint
-
It creates a diff2 constraint.
- Disjoint(ArrayList<? extends IntVar>, ArrayList<? extends IntVar>, ArrayList<? extends IntVar>, ArrayList<? extends IntVar>) - Constructor for class JaCoP.constraints.Disjoint
-
It creates a diff2 constraint.
- Disjoint(IntVar[], IntVar[], IntVar[], IntVar[]) - Constructor for class JaCoP.constraints.Disjoint
-
It creates a diff2 constraint.
- Disjoint(IntVar[], IntVar[], IntVar[], IntVar[], boolean) - Constructor for class JaCoP.constraints.Disjoint
-
It creates a diff2 constraint.
- Disjoint(Store, IntVar[][]) - Constructor for class JaCoP.constraints.Disjoint
-
It creates a diff2 constraint.
- Disjoint(IntVar[][], boolean) - Constructor for class JaCoP.constraints.Disjoint
-
It creates a diff2 constraint.
- DisjointConditional - Class in JaCoP.constraints
-
DisjointConditional constraint assures that any two rectangles from a vector
of rectangles does not overlap in at least one direction.
- DisjointConditional(Rectangle[], ExclusiveList, boolean) - Constructor for class JaCoP.constraints.DisjointConditional
-
It specifies a diff constraint.
- DisjointConditional(ArrayList<ArrayList<? extends IntVar>>, ArrayList<ArrayList<Integer>>, ArrayList<? extends IntVar>) - Constructor for class JaCoP.constraints.DisjointConditional
-
It creates Disjoint conditional constraint.
- DisjointConditional(ArrayList<ArrayList<? extends IntVar>>, ArrayList<ArrayList<Integer>>, ArrayList<? extends IntVar>, boolean) - Constructor for class JaCoP.constraints.DisjointConditional
-
It creates Disjoint conditional constraint.
- DisjointConditional(ArrayList<? extends IntVar>, ArrayList<? extends IntVar>, ArrayList<? extends IntVar>, ArrayList<? extends IntVar>, ArrayList<ArrayList<Integer>>, ArrayList<? extends IntVar>) - Constructor for class JaCoP.constraints.DisjointConditional
-
It constructs a disjoint conditional constraint.
- DisjointConditional(ArrayList<? extends IntVar>, ArrayList<? extends IntVar>, ArrayList<? extends IntVar>, ArrayList<? extends IntVar>, ArrayList<ArrayList<Integer>>, ArrayList<? extends IntVar>, boolean) - Constructor for class JaCoP.constraints.DisjointConditional
-
It constructs a disjoint conditional constraint.
- DisjointConditional(IntVar[], IntVar[], IntVar[], IntVar[], ArrayList<ArrayList<Integer>>, ArrayList<? extends IntVar>) - Constructor for class JaCoP.constraints.DisjointConditional
-
It constructs a disjoint conditional constraint.
- DisjointConditional(IntVar[], IntVar[], IntVar[], IntVar[], ArrayList<ArrayList<Integer>>, ArrayList<? extends IntVar>, boolean) - Constructor for class JaCoP.constraints.DisjointConditional
-
It constructs a disjoint conditional constraint.
- DisjointConditional(IntVar[][], ArrayList<ArrayList<Integer>>, ArrayList<? extends IntVar>) - Constructor for class JaCoP.constraints.DisjointConditional
-
It creates Disjoint conditional constraint.
- DisjointConditional(IntVar[][], ArrayList<ArrayList<Integer>>, ArrayList<? extends IntVar>, boolean) - Constructor for class JaCoP.constraints.DisjointConditional
-
It creates Disjoint conditional constraint.
- dispatchBox(DBox) - Static method in class JaCoP.constraints.geost.DBox
-
It allows the system to reuse the given box by placing it into the pool of
allocated boxes.
- display2DBox(DBox) - Method in class JaCoP.constraints.geost.BoxDisplay
-
It displays a given dbox in a black color.
- display2DBox(DBox, Color) - Method in class JaCoP.constraints.geost.BoxDisplay
-
It displays a given dbox using a given color.
- display2DBox(DBox, Color, boolean) - Method in class JaCoP.constraints.geost.BoxDisplay
-
It draws dboxes given color.
- display2DGeostObject(Geost, GeostObject, Color) - Method in class JaCoP.constraints.geost.BoxDisplay
-
It displays a 2D geost object.
- display2DObject(GeostObject, Shape) - Method in class JaCoP.constraints.geost.BoxDisplay
-
It displays 2D Geost object given its shape.
- display2DPoint(int[], Color) - Method in class JaCoP.constraints.geost.BoxDisplay
-
It displays a 2D point given its coordinates and color.
- display3DGeostObjectSlice(Geost, GeostObject, Color, int) - Method in class JaCoP.constraints.geost.BoxDisplay
-
It displays 3D geost by slicing 3rd dimension at given point and displaying the resulting slice.
- displayState(int, String, Geost) - Method in class JaCoP.constraints.geost.BoxDisplay
-
It creates a display to visualize 2D geost constraint.
- displayState(int, boolean, boolean, Geost) - Method in class JaCoP.constraints.geost.BoxDisplay
-
It displays the state of the geost constraint.
- Distance - Class in JaCoP.constraints
-
Constraint |X - Y| #= Z
- Distance(IntVar, IntVar, IntVar) - Constructor for class JaCoP.constraints.Distance
-
- divBounds(int, int, int, int) - Static method in class JaCoP.core.IntDomain
-
- divide(int) - Method in class JaCoP.core.BoundDomain
-
It divides the domain by a given constant.
- divide(int) - Method in class JaCoP.core.IntervalDomain
-
It divides the domain.
- divIntBounds(int, int, int, int) - Static method in class JaCoP.core.IntDomain
-
- dNames - Variable in class JaCoP.constraints.regular.Regular
-
dNames contain a "name" for each value from the union of all variabl's domains.
- doEdgeFinding - Variable in class JaCoP.constraints.Cumulative
-
It specifies if the edge finding algorithm should be used.
- dom - Variable in class JaCoP.constraints.In
-
It specifies domain d which restricts the possible value of the specified variable.
- dom() - Method in class JaCoP.core.BooleanVar
-
This function returns current domain of the variable.
- dom() - Method in class JaCoP.core.IntVar
-
This function returns current domain of the variable.
- dom() - Method in class JaCoP.core.Var
-
This function returns current domain of the variable.
- dom() - Method in class JaCoP.set.core.SetVar
-
This function returns current domain of the variable.
- Domain - Class in JaCoP.core
-
Defines a Domain and related operations on it.
- Domain() - Constructor for class JaCoP.core.Domain
-
- domain - Variable in class JaCoP.core.IntVar
-
It stores pointer to a current domain, which has stamp equal to store
stamp.
- domain - Variable in class JaCoP.core.MutableDomainValue
-
It stores the value of the mutable domain.
- domain - Variable in class JaCoP.set.core.SetVar
-
It specifies the current domain associated with this set variable.
- domain - Variable in class JaCoP.util.fsm.FSMTransition
-
It specifies the domain associated with the transition.
- domainHasChanged(int) - Method in class JaCoP.core.BooleanVar
-
It informs the variable that its variable has changed according to the specified event.
- domainHasChanged() - Method in class JaCoP.core.BoundDomainValueEnumeration
-
- domainHasChanged() - Method in class JaCoP.core.IntervalDomainValueEnumeration
-
- domainHasChanged(int) - Method in class JaCoP.core.IntVar
-
It informs the variable that its variable has changed according to the specified event.
- domainHasChanged() - Method in class JaCoP.core.SmallDenseDomainValueEnumeration
-
- domainHasChanged() - Method in class JaCoP.core.ValueEnumeration
-
This function is called to inform enumeration of the change of the domain
it enumerates over.
- domainHasChanged(int) - Method in class JaCoP.core.Var
-
It informs the variable that its variable has changed according to the specified event.
- domainHasChanged() - Method in class JaCoP.set.core.SetDomainValueEnumeration
-
- domainHasChanged(int) - Method in class JaCoP.set.core.SetVar
-
It informs the variable that its variable has changed according to the specified event.
- DomainHoles - Class in JaCoP.constraints.geost
-
- DomainHoles(GeostObject) - Constructor for class JaCoP.constraints.geost.DomainHoles
-
It creates Domain Holes internal constraint for a given object.
- domainID() - Method in class JaCoP.core.BoundDomain
-
- domainID() - Method in class JaCoP.core.Domain
-
It returns an unique identifier of the domain.
- domainID() - Method in class JaCoP.core.IntervalDomain
-
It returns an unique identifier of the domain.
- domainID() - Method in class JaCoP.core.SmallDenseDomain
-
- domainID() - Method in class JaCoP.set.core.BoundSetDomain
-
It returns an unique identifier of the domain.
- domainID() - Method in class JaCoP.set.core.SetDomain
-
It returns an unique identifier of the domain.
- domainLimits - Variable in class JaCoP.util.MDD
-
The initial domain limits used to create an MDD array representation.
- domains - Variable in class JaCoP.constraints.netflow.DomainStructure
-
- DomainStructure - Class in JaCoP.constraints.netflow
-
A domain based structure variable.
- DomainStructure(IntVar, List<Domain>, List<Arc>) - Constructor for class JaCoP.constraints.netflow.DomainStructure
-
Creates an S-variable
- DomainStructure(IntVar, IntDomain[], Arc[]) - Constructor for class JaCoP.constraints.netflow.DomainStructure
-
- DomainStructure(IntVar, IntDomain[], Arc[], DomainStructure.Behavior) - Constructor for class JaCoP.constraints.netflow.DomainStructure
-
- DomainStructure.Behavior - Enum in JaCoP.constraints.netflow
-
- domOverlap(Rectangle) - Method in class JaCoP.constraints.Rectangle
-
It returns true if this rectangle overlaps with a given rectangle.
- Done() - Method in class JaCoP.fz.SimpleCharStream
-
Reset buffer when finished.
- doProfile - Variable in class JaCoP.constraints.Cumulative
-
It specifies if the profiles should be computed to propagate
onto limit variable.
- doProfile - Variable in class JaCoP.constraints.Diff
-
It specifies if the constraint should compute and use the profile.
- DOTDOT - Static variable in interface JaCoP.fz.ParserConstants
-
RegularExpression Id.
- drawGrid(Color) - Method in class JaCoP.constraints.geost.BoxDisplay
-
It draws the grid.
- dualPivot(Arc) - Method in class JaCoP.constraints.netflow.simplex.NetworkSimplex
-
- dump(String) - Method in class JaCoP.fz.SimpleNode
-
- duration - Variable in class JaCoP.constraints.geost.GeostObject
-
It specifies the duration time of this object.
- durations - Variable in class JaCoP.constraints.Cumulative
-
It specifies/stores duration variables for each corresponding task.