Skip navigation links
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 

A

a - Variable in class org.jacop.constraints.AndBoolSimple
It specifies variables which all must be equal to 1 to set result variable to 1.
a - Variable in class org.jacop.constraints.OrBoolSimple
It specifies variables which all must be equal to 1 to set result variable to 1.
a - Variable in class org.jacop.set.constraints.AdiffBeqC
It specifies set variable a.
a - Variable in class org.jacop.set.constraints.AdisjointB
It specifies set variable a.
a - Variable in class org.jacop.set.constraints.AeqB
It specifies set variable a, which must be equal to set variable b.
a - Variable in class org.jacop.set.constraints.AeqS
It specifies set variable a, which must be equal to set variable b.
a - Variable in class org.jacop.set.constraints.AinB
It specifies variable a.
a - Variable in class org.jacop.set.constraints.AinS
It specifies set variable a.
a - Variable in class org.jacop.set.constraints.AintersectBeqC
It specifies set variable a.
a - Variable in class org.jacop.set.constraints.AleB
It specifies the first variable of the constraint
a - Variable in class org.jacop.set.constraints.AltB
It specifies the first variable of the constraint
a - Variable in class org.jacop.set.constraints.AunionBeqC
It specifies set variable a.
a - Variable in class org.jacop.set.constraints.CardA
It specifies a set variable x which is being restricted.
a - Variable in class org.jacop.set.constraints.CardAeqX
It specifies set variable a which is being restricted.
a - Variable in class org.jacop.set.constraints.EinA
It specifies the set variable which must contain a specified element.
a - Variable in class org.jacop.set.constraints.Lex
Deprecated.
It specifies a list on which element a lex relationship holds for every two consecutive variables.
a - Variable in class org.jacop.set.constraints.Match
It specifies a set variable whose values are being matched against integer variables from the list.
a - Variable in class org.jacop.set.constraints.SinA
It specifies variable a within which it must contains set s.
a - Variable in class org.jacop.set.constraints.SumWeightedSet
A set variable a whose elements contribute with their weight to the sum.
a - Variable in class org.jacop.set.constraints.XeqA
It specifies variable b.
a - Variable in class org.jacop.set.constraints.XinA
It specifies variable b.
absInfeasible(Geost.SweepDirection) - Method in class org.jacop.constraints.geost.AllowedArea
 
absInfeasible(Geost.SweepDirection) - Method in class org.jacop.constraints.geost.DomainHoles
 
absInfeasible(Geost.SweepDirection) - Method in class org.jacop.constraints.geost.ForbiddenArea
 
absInfeasible(Geost.SweepDirection) - Method in class org.jacop.constraints.geost.InternalConstraint
It provides the largest or smallest point contained in the forbidden area represented by this constraint.
absInfeasible(Geost.SweepDirection) - Method in class org.jacop.constraints.geost.ObstacleObject
 
absInfeasible(Geost.SweepDirection) - Method in class org.jacop.constraints.geost.ObstacleObjectFrame
 
AbsPeqR - Class in org.jacop.floats.constraints
Constraints |P| #= R
AbsPeqR(FloatVar, FloatVar) - Constructor for class org.jacop.floats.constraints.AbsPeqR
It constructs |P| = Q constraints.
AbstractClausesDatabase - Class in org.jacop.jasat.core.clauses
This class specifies an abstract class for clauses pools.
AbstractClausesDatabase() - Constructor for class org.jacop.jasat.core.clauses.AbstractClausesDatabase
 
AbsXeqY - Class in org.jacop.constraints
Constraints |X| #= Y
AbsXeqY(IntVar, IntVar) - Constructor for class org.jacop.constraints.AbsXeqY
It constructs |X| = Y constraints.
AbsXeqY(IntVar, IntVar, boolean) - Constructor for class org.jacop.constraints.AbsXeqY
It constructs |X| = Y constraints.
AcosPeqR - Class in org.jacop.floats.constraints
Constraints acos(P) = R
AcosPeqR(FloatVar, FloatVar) - Constructor for class org.jacop.floats.constraints.AcosPeqR
It constructs sin(P) = Q constraints.
activity() - Method in class org.jacop.core.Var
 
activity - Variable in class org.jacop.jasat.modules.SearchModule
 
activity - Variable in class org.jacop.satwrapper.SatWrapper
 
activityManagement(boolean) - Method in class org.jacop.core.Store
 
ActivityMax<T extends Var> - Class in org.jacop.search
Defines a pruning activity comparatorfor variables.
ActivityMax(Store) - Constructor for class org.jacop.search.ActivityMax
 
ActivityMax(Store, double) - Constructor for class org.jacop.search.ActivityMax
 
ActivityMaxDeg<T extends Var> - Class in org.jacop.search
Defines a pruning activity comparatorfor variables.
ActivityMaxDeg(Store) - Constructor for class org.jacop.search.ActivityMaxDeg
 
ActivityMaxDeg(Store, double) - Constructor for class org.jacop.search.ActivityMaxDeg
 
ActivityMin<T extends Var> - Class in org.jacop.search
Defines a pruning activity comparatorfor variables.
ActivityMin(Store) - Constructor for class org.jacop.search.ActivityMin
 
ActivityMin(Store, double) - Constructor for class org.jacop.search.ActivityMin
 
ActivityMinDeg<T extends Var> - Class in org.jacop.search
Defines a pruning activity comparatorfor variables.
ActivityMinDeg(Store) - Constructor for class org.jacop.search.ActivityMinDeg
 
ActivityMinDeg(Store, double) - Constructor for class org.jacop.search.ActivityMinDeg
 
ActivityModule - Class in org.jacop.jasat.modules
counts the activity of literals
ActivityModule() - Constructor for class org.jacop.jasat.modules.ActivityModule
 
add(VarHandler) - Method in class org.jacop.constraints.netflow.MultiVarHandler
 
add(IntDomain, int) - Method in class org.jacop.constraints.regular.RegState
It adds to domain values which are accepted by a given edge.
add(IntDomain, int) - Method in class org.jacop.constraints.regular.RegStateDom
 
add(IntDomain, int) - Method in class org.jacop.constraints.regular.RegStateInt
 
add(int) - Method in class org.jacop.jasat.utils.structures.IntQueue
adds an int at the end of the FIFO
add(int) - Method in class org.jacop.jasat.utils.structures.IntTrie
add i to the Trie
add(int) - Method in class org.jacop.jasat.utils.structures.IntVec
add an element at the end of the array
add(V) - Method in class org.jacop.util.SimpleArrayList
Appends the specified element to the end of this list.
add(int, V) - Method in class org.jacop.util.SimpleArrayList
Inserts the specified element at the specified position in this list.
add(E) - Method in class org.jacop.util.SimpleHashSet
Adds the specified element to this set.
addAlias(IntVar, IntVar) - Method in class org.jacop.fz.Tables
 
addAll(Iterable<Integer>) - Method in class org.jacop.jasat.core.clauses.MapClause
adds all elements of clause to the SetClause, performing resolution.
addAll(int[]) - Method in class org.jacop.jasat.core.clauses.MapClause
same as previous
addAll(Collection<? extends V>) - Method in class org.jacop.util.SimpleArrayList
Appends all of the elements in the specified Collection to the end of this list, in the order that they are returned by the specified Collection's Iterator.
addArc(Node, Node, IntVar, IntVar) - Method in class org.jacop.constraints.netflow.NetworkBuilder
 
addArc(Node, Node, int, IntVar) - Method in class org.jacop.constraints.netflow.NetworkBuilder
 
addArc(Node, Node, IntVar, int, int) - Method in class org.jacop.constraints.netflow.NetworkBuilder
 
addArc(Node, Node, int, int, int) - Method in class org.jacop.constraints.netflow.NetworkBuilder
 
addArc(Node, Node, int, int) - Method in class org.jacop.constraints.netflow.NetworkBuilder
 
addArc(Node, Node, int) - Method in class org.jacop.constraints.netflow.NetworkBuilder
 
addArc(Node, Node) - Method in class org.jacop.constraints.netflow.NetworkBuilder
 
addArc(Arc) - Method in class org.jacop.constraints.netflow.simplex.NetworkSimplex
 
addArc(int, int) - Method in class org.jacop.util.LengauerTarjan
 
addArcWithFlow(Arc) - Method in class org.jacop.constraints.netflow.simplex.NetworkSimplex
 
addBounds(double, double, double, double) - Static method in class org.jacop.floats.core.FloatDomain
 
addChanged(int) - Method in interface org.jacop.core.BacktrackableManager
It allows to inform the manager that a given item with id (index) has changed at given level.
addChanged(int) - Method in class org.jacop.core.IntervalBasedBacktrackableManager
 
addChanged(int) - Method in class org.jacop.core.SimpleBacktrackableManager
It allows to inform the manager that a given item with id (index) has changed at given level.
addChanged(Constraint) - Method in class org.jacop.core.Store
This function schedules given constraint for re-evaluation.
addChanged(Var, int, int) - Method in class org.jacop.core.Store
This function schedules all attached (not yet satisfied constraints) for given variable for re-evaluation.
addChildSearch(Search<? extends Var>) - Method in class org.jacop.search.DepthFirstSearch
 
addChildSearch(Search<? extends Var>) - Method in interface org.jacop.search.Search
It adds another child search to this one.
addClause(int[], boolean) - Method in class org.jacop.jasat.core.clauses.BinaryClausesDatabase
TODO Efficiency,
addClause(int[], boolean) - Method in interface org.jacop.jasat.core.clauses.ClauseDatabaseInterface
It adds a clause to the database.
addClause(int[], boolean) - Method in class org.jacop.jasat.core.clauses.DatabasesStore
 
addClause(int[], boolean) - Method in class org.jacop.jasat.core.clauses.DefaultClausesDatabase
 
addClause(int[], boolean) - Method in class org.jacop.jasat.core.clauses.LongClausesDatabase
 
addClause(int[], boolean) - Method in class org.jacop.jasat.core.clauses.TernaryClausesDatabase
 
addClause(int[], boolean) - Method in class org.jacop.jasat.core.clauses.UnaryClausesDatabase
TODO: Radek,
addClause(int[], boolean) - Method in class org.jacop.satwrapper.translation.DomainClausesDatabase
 
addComponent(SolverComponent) - Method in class org.jacop.jasat.core.Core
give the module access to the whole class, even if the solver is only known as a ISatSolver
addDatabase(AbstractClausesDatabase) - Method in class org.jacop.jasat.core.clauses.DatabasesStore
Adds a ClausesDatabase to the Store
addDel - Variable in class org.jacop.examples.fd.filters.Filter
It denotes the delay of the addition.
addDel() - Method in class org.jacop.examples.fd.filters.Filter
It returns the delay of the addition operation.
addDom(Domain) - Method in class org.jacop.core.BooleanVar
It is possible to add the domain of variable.
addDom(IntDomain) - Method in class org.jacop.core.IntDomain
It adds values as specified by the parameter to the domain.
addDom(IntDomain) - Method in class org.jacop.core.IntervalDomain
It adds values as specified by the parameter to the domain.
addDom(int, int) - Method in class org.jacop.core.IntVar
It is possible to add the domain of variable.
addDom(IntDomain) - Method in class org.jacop.core.IntVar
It is possible to add the domain of variable.
addDom(IntDomain) - Method in class org.jacop.core.SmallDenseDomain
 
addDom(FloatDomain) - Method in class org.jacop.floats.core.FloatDomain
It adds values as specified by the parameter to the domain.
addDom(FloatDomain) - Method in class org.jacop.floats.core.FloatIntervalDomain
It adds values as specified by the parameter to the domain.
addDom(double, double) - Method in class org.jacop.floats.core.FloatVar
It is possible to add the domain of variable.
addDom(FloatDomain) - Method in class org.jacop.floats.core.FloatVar
It is possible to add the domain of variable.
addDom(IntDomain) - Method in class org.jacop.set.core.BoundSetDomain
Adds a set of value to the possible values used within this set domain.
addDom(SetDomain) - Method in class org.jacop.set.core.BoundSetDomain
Adds a set to the domain.
addDom(int, int) - Method in class org.jacop.set.core.BoundSetDomain
Adds an interval [min..max] to the domain.
addDom(Interval) - Method in class org.jacop.set.core.BoundSetDomain
 
addDom(Interval) - Method in class org.jacop.set.core.SetDomain
Adds an interval to the lub.
addDom(IntDomain) - Method in class org.jacop.set.core.SetDomain
Adds a set of values to the set of possible values used within this set domain.
addDom(SetDomain) - Method in class org.jacop.set.core.SetDomain
Adds a set domain to this set domain.
addDom(int, int) - Method in class org.jacop.set.core.SetDomain
Adds an interval [min..max] to the domain.
addDom(int, int) - Method in class org.jacop.set.core.SetVar
It is possible to add the domain of variable.
addDom(SetDomain) - Method in class org.jacop.set.core.SetVar
It is possible to add the domain of variable.
addEquation(IntVar[], int[]) - Method in class org.jacop.constraints.netflow.Arithmetic
 
addEquation(IntVar[], int[], int) - Method in class org.jacop.constraints.netflow.Arithmetic
 
addFloat(String, double) - Method in class org.jacop.fz.Tables
It adds an float parameter.
addFloatArray(String, double[]) - Method in class org.jacop.fz.Tables
 
addFloatVariable(String, FloatVar) - Method in class org.jacop.fz.Tables
It adds a variable with a given identity to the storage.
addFlow(int) - Method in class org.jacop.constraints.netflow.simplex.Arc
 
addHandler(OptParse.OptHandler<E>) - Method in class org.jacop.jasat.utils.OptParse
add a handler for some option
addId - Static variable in class org.jacop.examples.fd.filters.Filter
It denotes the identifier of the addition.
addId() - Method in class org.jacop.examples.fd.filters.Filter
It returns the id of the addition operation.
addImplied(IntVar, int, IntVar) - Method in class org.jacop.fz.constraints.Support
 
addInt(int, int) - Static method in class org.jacop.core.IntDomain
Returns the sum of its arguments, if the result overflows MaxInt or MinInt is returned.
addInt(String, int) - Method in class org.jacop.fz.Tables
It adds an int parameter.
addIntArray(String, int[]) - Method in class org.jacop.fz.Tables
It stores an int array.
addLastElement(int) - Method in class org.jacop.core.IntervalDomain
It adds a value to the domain.
addLastElement(double) - Method in class org.jacop.floats.core.FloatIntervalDomain
It adds a value to the domain.
addLiteral(int) - Method in class org.jacop.jasat.core.clauses.MapClause
Add a literal to the clause, with resolution.
addMember(int) - Method in class org.jacop.util.SparseSet
It adds an element to the set.
addModelClause(IntVec) - Method in class org.jacop.jasat.core.Core
adds a clause to the solver
addModelClause(int[]) - Method in class org.jacop.jasat.core.Core
same as previous, add the clause as a model clause
addModelClause(IntVec) - Method in class org.jacop.jasat.utils.BasicPreprocessor
add a clause (just parsed from a file, e.g.) to the solver, after processing
addModelClause(Collection<Integer>) - Method in class org.jacop.satwrapper.SatWrapper
add model (globally valid) clause to solver, in a delayed fashion
addModelClause(int[]) - Method in class org.jacop.satwrapper.SatWrapper
 
addNode() - Method in class org.jacop.constraints.netflow.NetworkBuilder
 
addNode(int) - Method in class org.jacop.constraints.netflow.NetworkBuilder
 
addNode(String) - Method in class org.jacop.constraints.netflow.NetworkBuilder
 
addNode(String, int) - Method in class org.jacop.constraints.netflow.NetworkBuilder
 
addOutArray(OutputArrayAnnotation) - Method in class org.jacop.fz.Tables
It adds an output array annotation.
addOutVar(Var) - Method in class org.jacop.fz.Tables
It adds an output variable.
addPositionMapping(Map<T, Integer>, T[], boolean, Class) - Static method in class org.jacop.core.Var
 
addPositionMapping(Map<T, R>, T[], Function<T, R>, boolean, Class) - Static method in class org.jacop.core.Var
 
addPriority(int, int) - Method in class org.jacop.jasat.utils.structures.IntPriorityQueue
the priority of i is now the old priority (or 0) + the amount.
addPrunableObjects(GeostObject, SimpleHashSet<GeostObject>) - Method in interface org.jacop.constraints.geost.ExternalConstraint
It adds to the accumulator collection the objects that are likely to be pruned if the given object changes.
addPrunableObjects(GeostObject, SimpleHashSet<GeostObject>) - Method in class org.jacop.constraints.geost.InArea
 
addPrunableObjects(GeostObject, SimpleHashSet<GeostObject>) - Method in class org.jacop.constraints.geost.NonOverlapping
 
addReified(IntVar, int, IntVar) - Method in class org.jacop.fz.constraints.Support
 
addReporter(CustomReport) - Method in class org.jacop.search.restart.RestartSearch
 
addRestartCalculator(DepthFirstSearch, Calculator) - Method in class org.jacop.search.PrioritySearch
 
addSearch(SearchItem) - Method in class org.jacop.fz.SearchItem
 
addSearchArray(Var[]) - Method in class org.jacop.fz.Tables
It adds a search array.
addSearchFloatArray(Var[]) - Method in class org.jacop.fz.Tables
It adds a search array.
addSearchFloatVar(Var) - Method in class org.jacop.fz.Tables
It adds a search variable.
addSearchSetArray(Var[]) - Method in class org.jacop.fz.Tables
It adds an array of search set variables.
addSearchSetVar(Var) - Method in class org.jacop.fz.Tables
It adds a search set variable.
addSearchVar(Var) - Method in class org.jacop.fz.Tables
It adds a search variable.
addSet(String, IntDomain) - Method in class org.jacop.fz.Tables
It adds a set of the given identity.
addSetArray(String, IntDomain[]) - Method in class org.jacop.fz.Tables
It adds the set array to the storage.
addSetVariable(String, SetVar) - Method in class org.jacop.fz.Tables
It adds the set variable of the given identity.
addSetVariableArray(String, SetVar[]) - Method in class org.jacop.fz.Tables
It stores the array of the set variables with the specified identity.
addShavingConstraint(Constraint) - Method in class org.jacop.search.Shaving
It adds shaving constraint to the list of constraints guiding shaving.
addSolverComponent(SolverComponent) - Method in class org.jacop.satwrapper.SatWrapper
to add some module to the solver
addSum(IntVar[], IntVar) - Method in class org.jacop.constraints.netflow.Arithmetic
 
addToProfile(int, int, int) - Method in class org.jacop.constraints.Profile
It adds given amount (val) to the profile between a and b.
addTracedVar(Var) - Method in class org.jacop.search.TraceGenerator
 
addTransition(RegState, Integer) - Method in class org.jacop.constraints.regular.RegState
It specifies that for a given value an automata will move from the current state to the successor state.
addTransition(RegState, Integer) - Method in class org.jacop.constraints.regular.RegStateDom
 
addTransition(RegState, Integer) - Method in class org.jacop.constraints.regular.RegStateInt
 
addTransition(FSMTransition) - Method in class org.jacop.util.fsm.FSMState
It adds transition to the list of transitions from this state.
addTransitions(RegState, IntervalDomain) - Method in class org.jacop.constraints.regular.RegState
It specifies that for a given values from an interval an automata will move from the current state to the successor state.
addTransitions(RegState, IntervalDomain) - Method in class org.jacop.constraints.regular.RegStateDom
 
addTransitions(RegState, IntervalDomain) - Method in class org.jacop.constraints.regular.RegStateInt
 
addTuple(int[]) - Method in class org.jacop.util.MDD
It allows to add one by one tuple before the reduction of the initial MDD takes place.
addVariable(String, IntVar) - Method in class org.jacop.fz.Tables
It adds a variable with a given identity to the storage.
addVariable(int) - Method in class org.jacop.jasat.core.Trail
It adds a variable to the trail.
addVariableArray(String, IntVar[]) - Method in class org.jacop.fz.Tables
It adds a variable array to the storage.
addVariableFloatArray(String, FloatVar[]) - Method in class org.jacop.fz.Tables
It adds a float variable array to the storage.
addVariables(Var[]) - Method in class org.jacop.search.restart.CustomReport
 
addWatch(int, int) - Method in class org.jacop.jasat.core.clauses.AbstractClausesDatabase
adds a watch (var => clause), ie make var watch clause
addWrapperComponent(WrapperComponent) - Method in class org.jacop.satwrapper.SatWrapper
add a component
addXplusYeqZ(IntVar, IntVar, IntVar) - Method in class org.jacop.constraints.netflow.Arithmetic
 
addXsubYeqZ(IntVar, IntVar, IntVar) - Method in class org.jacop.constraints.netflow.Arithmetic
 
AdiffBeqC - Class in org.jacop.set.constraints
It creates a constraints that subtracts from set variable A the elements from of the set variable B and assigns the result to set variable C.
AdiffBeqC(SetVar, SetVar, SetVar) - Constructor for class org.jacop.set.constraints.AdiffBeqC
It constructs an AdiffBeqC constraint to restrict the domain of the variables A, B and C.
AdisjointB - Class in org.jacop.set.constraints
The disjoint set constraint makes sure that two set variables do not contain any common element.
AdisjointB(SetVar, SetVar) - Constructor for class org.jacop.set.constraints.AdisjointB
It constructs a disjont set constraint to restrict the domains of the variables A and B.
AeqB - Class in org.jacop.set.constraints
It creates an equality constraint to make sure that two set variables have the same value.
AeqB(SetVar, SetVar) - Constructor for class org.jacop.set.constraints.AeqB
It constructs an AeqB constraint to restrict the domain of the variables.
AeqS - Class in org.jacop.set.constraints
It creates an equality constraint to make sure that a set variable is equal to a given set.
AeqS(SetVar, IntDomain) - Constructor for class org.jacop.set.constraints.AeqS
It constructs an AeqS constraint to restrict the domain of the variables.
afc() - Method in class org.jacop.constraints.Constraint
 
afcManagement(boolean) - Method in class org.jacop.core.Store
 
AFCMax<T extends Var> - Class in org.jacop.search
Defines a AccumulatedFailureCount comparator (afc) for variables.
AFCMax(Store) - Constructor for class org.jacop.search.AFCMax
 
AFCMax(Store, double) - Constructor for class org.jacop.search.AFCMax
 
AFCMaxDeg<T extends Var> - Class in org.jacop.search
Defines a AccumulatedFailureCount comparator (afc) for variables.
AFCMaxDeg(Store) - Constructor for class org.jacop.search.AFCMaxDeg
 
AFCMaxDeg(Store, double) - Constructor for class org.jacop.search.AFCMaxDeg
 
AFCMin<T extends Var> - Class in org.jacop.search
Defines a AccumulatedFailureCount comparator (afc) for variables.
AFCMin(Store) - Constructor for class org.jacop.search.AFCMin
 
AFCMin(Store, double) - Constructor for class org.jacop.search.AFCMin
 
AFCMinDeg<T extends Var> - Class in org.jacop.search
Defines a AccumulatedFailureCount comparator (afc) for variables.
AFCMinDeg(Store) - Constructor for class org.jacop.search.AFCMinDeg
 
AFCMinDeg(Store, double) - Constructor for class org.jacop.search.AFCMinDeg
 
afcValue() - Method in class org.jacop.core.Var
 
AinB - Class in org.jacop.set.constraints
It creates a constraint that makes sure that the set value of set variable A is included in the set value of set variable B.
AinB(SetVar, SetVar) - Constructor for class org.jacop.set.constraints.AinB
It constructs an AinB constraint to restrict the domain of the variables A and B.
AinB(SetVar, SetVar, boolean) - Constructor for class org.jacop.set.constraints.AinB
It constructs an AinB constraint to restrict the domain of the variables A and B.
AinS - Class in org.jacop.set.constraints
It creates a constraint that makes sure that value of the variable A is included within a provided set.
AinS(SetVar, IntDomain) - Constructor for class org.jacop.set.constraints.AinS
It constructs a constraint that makes sure that value of set variable a is contained within a provided set.
AinS(SetVar, IntDomain, boolean) - Constructor for class org.jacop.set.constraints.AinS
It constructs a constraint that makes sure that value of set variable a is contained within a provided set.
AintersectBeqC - Class in org.jacop.set.constraints
It creates a constraint that makes sure that A intersected with B is equal to C.
AintersectBeqC(SetVar, SetVar, SetVar) - Constructor for class org.jacop.set.constraints.AintersectBeqC
It constructs an AintersectBeqC constraint.
AleB - Class in org.jacop.set.constraints
It creates a <= b constraint on two set variables.
AleB(SetVar, SetVar) - Constructor for class org.jacop.set.constraints.AleB
It constructs an Lexical ordering constraint to restrict the domain of the variables a and b.
aliasTable - Variable in class org.jacop.fz.Tables
 
allArcs - Variable in class org.jacop.constraints.netflow.simplex.NetworkSimplex
 
allArcsForDebug(NetworkSimplex) - Static method in class org.jacop.constraints.netflow.Assert
 
Alldiff - Class in org.jacop.constraints
Alldiff constraint assures that all FDVs has different values.
Alldiff() - Constructor for class org.jacop.constraints.Alldiff
 
Alldiff(IntVar[]) - Constructor for class org.jacop.constraints.Alldiff
It constructs the alldiff constraint for the supplied variable.
Alldiff(List<? extends IntVar>) - Constructor for class org.jacop.constraints.Alldiff
It constructs the alldiff constraint for the supplied variable.
Alldifferent - Class in org.jacop.constraints
Alldifferent constraint assures that all FDVs has differnet values.
Alldifferent() - Constructor for class org.jacop.constraints.Alldifferent
 
Alldifferent(IntVar[]) - Constructor for class org.jacop.constraints.Alldifferent
It constructs the alldifferent constraint for the supplied variable.
Alldifferent(List<? extends IntVar>) - Constructor for class org.jacop.constraints.Alldifferent
It constructs the alldifferent constraint for the supplied variable.
Alldistinct - Class in org.jacop.constraints
Alldistinct constraint assures that all FDVs have different values.
Alldistinct(IntVar[]) - Constructor for class org.jacop.constraints.Alldistinct
It constructs an alldistinct constraint.
Alldistinct(List<? extends IntVar>) - Constructor for class org.jacop.constraints.Alldistinct
It constructs an alldistinct constraint.
AllowedArea - Class in org.jacop.constraints.geost
 
AllowedArea(Geost, int[], int[]) - Constructor for class org.jacop.constraints.geost.AllowedArea
It constructs an internal Geost constraint that restricts an object to be within an allowed area.
allowedArea - Variable in class org.jacop.constraints.geost.InArea
It specifies the allowed area in which the objects can reside.
allStates - Variable in class org.jacop.util.fsm.FSM
It specifies all states including the initial one and final ones.
alreadyObtainedProfit - Variable in class org.jacop.constraints.knapsack.Tree
It specifies the already obtained profit due to the items which are already included in the solution.
alreadyUsedCapacity - Variable in class org.jacop.constraints.knapsack.Tree
It specifies the already used capacity due to the items which are already included in the solution.
AltB - Class in org.jacop.set.constraints
It creates a < b constraint on two set variables.
AltB(SetVar, SetVar) - Constructor for class org.jacop.set.constraints.AltB
It constructs an Lexical ordering constraint to restrict the domain of the variables a and b.
alwaysUseFrames - Variable in class org.jacop.constraints.geost.Geost
It defines whether outbox generation should always rely on overlapping frames.
Among - Class in org.jacop.constraints
Among constraint in its simplest form.
Among(IntVar[], IntervalDomain, IntVar) - Constructor for class org.jacop.constraints.Among
It constructs an Among constraint.
Among(List<IntVar>, IntervalDomain, IntVar) - Constructor for class org.jacop.constraints.Among
It constructs an Among constraint.
AmongVar - Class in org.jacop.constraints
Among constraint in its general form.
AmongVar(IntVar[], IntVar[], IntVar) - Constructor for class org.jacop.constraints.AmongVar
It constructs an AmongVar constraint.
AmongVar(List<IntVar>, List<IntVar>, IntVar) - Constructor for class org.jacop.constraints.AmongVar
It constructs an AmongVar constraint.
amountPruned - Variable in class org.jacop.constraints.netflow.StatisticsBase
 
analyze(int) - Method in class org.jacop.constraints.netflow.Pruning
 
And - Class in org.jacop.constraints
Constraint c1 /\ c2 ...
And(List<PrimitiveConstraint>) - Constructor for class org.jacop.constraints.And
It constructs an And constraint based on primitive constraints.
And(PrimitiveConstraint, PrimitiveConstraint) - Constructor for class org.jacop.constraints.And
It constructs a simple And constraint based on two primitive constraints.
And(PrimitiveConstraint[]) - Constructor for class org.jacop.constraints.And
It constructs an And constraint over an array of primitive constraints.
and(BooleanVar, BooleanVar, BooleanVar, BiFunction<IntVar[], int[][], Constraint>) - Method in class org.jacop.examples.fd.Gates
It imposes an extensional constraint enforcing an and relationship between two input parameters and an output parameter.
AndBool - Class in org.jacop.constraints
AndBool constraint implements logic and operation on its arguments and returns result.
AndBool(IntVar[], IntVar) - Constructor for class org.jacop.constraints.AndBool
It constructs and constraint on variables.
AndBool(List<IntVar>, IntVar) - Constructor for class org.jacop.constraints.AndBool
It constructs and constraint on variables.
AndBool(IntVar, IntVar, IntVar) - Constructor for class org.jacop.constraints.AndBool
It constructs and constraint on variables.
AndBoolSimple - Class in org.jacop.constraints
If both a and b are equal 1 then result variable is equal 1 too.
AndBoolSimple(IntVar, IntVar, IntVar) - Constructor for class org.jacop.constraints.AndBoolSimple
It constructs AndBoolSimple.
AndBoolVector - Class in org.jacop.constraints
 
AndBoolVector(IntVar[], IntVar) - Constructor for class org.jacop.constraints.AndBoolVector
It constructs AndBoolVector.
AndBoolVector(List<IntVar>, IntVar) - Constructor for class org.jacop.constraints.AndBoolVector
It constructs AndBoolVector.
ANY - Static variable in class org.jacop.core.IntDomain
It specifies the constant for ANY event.
ANY - Static variable in class org.jacop.floats.core.FloatDomain
It specifies the constant for ANY event.
ANY - Static variable in class org.jacop.set.core.SetDomain
Any event.
applyDecay() - Method in class org.jacop.core.Var
 
applyExplainUIP(MapClause) - Method in class org.jacop.jasat.core.ConflictLearning
It builds the explanation clause made of all literals that were involved in a conflict (ie which are in the clause and were asserted, or were asserted and triggered, in another clause, the propagation of a literal present in the current clause)
AR - Class in org.jacop.examples.fd.filters
It specifies AR benchmark.
AR() - Constructor for class org.jacop.examples.fd.filters.AR
It creates a default AR filter with defaul delays for the operations.
AR(int, int) - Constructor for class org.jacop.examples.fd.filters.AR
It possible to specify the delay of the addition and multiplication.
arc - Variable in class org.jacop.constraints.netflow.ArcCompanion
The (forward) arc
Arc - Class in org.jacop.constraints.netflow.simplex
A directed, residual arc in the graph.
Arc(Node, Node) - Constructor for class org.jacop.constraints.netflow.simplex.Arc
Special constructor to create artificial arcs.
Arc(Node, Node, int, int, int) - Constructor for class org.jacop.constraints.netflow.simplex.Arc
General constructor to create arcs.
ArcCompanion - Class in org.jacop.constraints.netflow
This class extends the definition of an arc by a lower bound on the capacity and connects the arc to variables that constrain it.
ArcCompanion(Arc, int) - Constructor for class org.jacop.constraints.netflow.ArcCompanion
 
ArchFriends - Class in org.jacop.examples.fd
It is a simple logic puzzle about shoe purchases.
ArchFriends() - Constructor for class org.jacop.examples.fd.ArchFriends
 
arcID - Variable in class org.jacop.constraints.netflow.ArcCompanion
Identifier for this arc in the structure variable
arcList - Variable in class org.jacop.constraints.netflow.NetworkBuilder
 
arcs - Variable in class org.jacop.constraints.netflow.DomainStructure
 
arcsExamined - Variable in class org.jacop.constraints.netflow.StatisticsBase
 
arcsPruned - Variable in class org.jacop.constraints.netflow.StatisticsBase
 
area() - Method in class org.jacop.constraints.geost.DBox
It computes the area in 2D case or volume in 3D case.
area() - Method in class org.jacop.constraints.geost.Shape
It computes the area (2D), volumen (3D) of the shape.
ArgMax - Class in org.jacop.constraints
ArgMax constraint provides the index of the maximum variable from all variables on the list.
ArgMax(IntVar[], IntVar, int) - Constructor for class org.jacop.constraints.ArgMax
It constructs max constraint.
ArgMax(IntVar[], IntVar) - Constructor for class org.jacop.constraints.ArgMax
 
ArgMax(List<? extends IntVar>, IntVar, int) - Constructor for class org.jacop.constraints.ArgMax
It constructs max constraint.
ArgMax(List<? extends IntVar>, IntVar) - Constructor for class org.jacop.constraints.ArgMax
 
ArgMin - Class in org.jacop.constraints
ArgMin constraint provides the index of the maximum variable from all variables on the list.
ArgMin(IntVar[], IntVar, int) - Constructor for class org.jacop.constraints.ArgMin
It constructs max constraint.
ArgMin(IntVar[], IntVar) - Constructor for class org.jacop.constraints.ArgMin
 
ArgMin(List<? extends IntVar>, IntVar, int) - Constructor for class org.jacop.constraints.ArgMin
It constructs max constraint.
ArgMin(List<? extends IntVar>, IntVar) - Constructor for class org.jacop.constraints.ArgMin
 
args - Variable in class org.jacop.examples.fd.KnapsackExample
It stores the parameters of the main function to be used by the model functions.
arguments() - Method in class org.jacop.constraints.Constraint
It returns the variables in a scope of the constraint.
arguments() - Method in class org.jacop.constraints.Element
 
arguments() - Method in class org.jacop.satwrapper.SatWrapper
 
Arithmetic - Class in org.jacop.constraints.netflow
 
Arithmetic() - Constructor for class org.jacop.constraints.netflow.Arithmetic
 
ARRAY - Static variable in interface org.jacop.fz.ParserConstants
RegularExpression Id.
array - Variable in class org.jacop.jasat.utils.structures.IntQueue
 
array - Variable in class org.jacop.jasat.utils.structures.IntStack
 
array - Variable in class org.jacop.jasat.utils.structures.IntVec
 
array_bool_and(SimpleNode) - Method in class org.jacop.fz.constraints.ConstraintFncs
 
array_bool_and_imp(SimpleNode) - Method in class org.jacop.fz.constraints.ConstraintFncs
 
array_bool_element(SimpleNode) - Method in class org.jacop.fz.constraints.ConstraintFncs
 
array_bool_or(SimpleNode) - Method in class org.jacop.fz.constraints.ConstraintFncs
 
array_bool_or_imp(SimpleNode) - Method in class org.jacop.fz.constraints.ConstraintFncs
 
array_bool_xor(SimpleNode) - Method in class org.jacop.fz.constraints.ConstraintFncs
 
array_bool_xor_imp(SimpleNode) - Method in class org.jacop.fz.constraints.ConstraintFncs
 
array_float_element(SimpleNode) - Method in class org.jacop.fz.constraints.ConstraintFncs
 
array_int_element(SimpleNode) - Method in class org.jacop.fz.constraints.ConstraintFncs
 
array_set_element(SimpleNode) - Method in class org.jacop.fz.constraints.ConstraintFncs
 
array_var_bool_element(SimpleNode) - Method in class org.jacop.fz.constraints.ConstraintFncs
 
array_var_float_element(SimpleNode) - Method in class org.jacop.fz.constraints.ConstraintFncs
 
array_var_int_element(SimpleNode) - Method in class org.jacop.fz.constraints.ConstraintFncs
 
array_var_set_element(SimpleNode) - Method in class org.jacop.fz.constraints.ConstraintFncs
 
ArrayAccess - Class in org.jacop.fz
It stores information about a single array access encountered during parsing flatzinc file.
ArrayAccess(String, int) - Constructor for class org.jacop.fz.ArrayAccess
It creates an array access storage object.
ASGN - Static variable in interface org.jacop.fz.ParserConstants
RegularExpression Id.
AsinPeqR - Class in org.jacop.floats.constraints
Constraints asin(P) = R
AsinPeqR(FloatVar, FloatVar) - Constructor for class org.jacop.floats.constraints.AsinPeqR
It constructs sin(P) = Q constraints.
Assert - Class in org.jacop.constraints.netflow
 
Assert() - Constructor for class org.jacop.constraints.netflow.Assert
 
assertedLiteral - Variable in class org.jacop.jasat.core.clauses.MapClause
the literal that will be asserted due to unit propagation of the conflict clause.
assertionH - Variable in class org.jacop.jasat.modules.SearchModule
 
AssertionListener - Interface in org.jacop.jasat.modules.interfaces
A class that can register to the Solver, to be notified when some events occur.
assertionModule - Variable in class org.jacop.satwrapper.SatWrapper
 
assertionModules - Variable in class org.jacop.jasat.core.Core
 
assertionStack - Variable in class org.jacop.jasat.core.Trail
 
assertLiteral(int) - Method in class org.jacop.jasat.core.clauses.BinaryClausesDatabase
 
assertLiteral(int) - Method in interface org.jacop.jasat.core.clauses.ClauseDatabaseInterface
It informs the ClausesDatabase that this literal is set, so that it can perform unit propagation.
assertLiteral(int) - Method in class org.jacop.jasat.core.clauses.DatabasesStore
tells all databases that the literal is set, for unit propagation.
assertLiteral(int) - Method in class org.jacop.jasat.core.clauses.DefaultClausesDatabase
Notify the watches that this literal is set, updating the watched clauses and propagating literals if pertinent.
assertLiteral(int) - Method in class org.jacop.jasat.core.clauses.LongClausesDatabase
 
assertLiteral(int) - Method in class org.jacop.jasat.core.clauses.TernaryClausesDatabase
 
assertLiteral(int) - Method in class org.jacop.jasat.core.clauses.UnaryClausesDatabase
 
assertLiteral(int, int) - Method in class org.jacop.jasat.core.Core
decides a single step of search by setting the value of a variable
assertLiteral(int, int) - Method in class org.jacop.jasat.core.Trail
Sets a literal, that is, a variable signed with its value (> 0 for true, < 0 for false).
assertLiteral(int, int, int) - Method in class org.jacop.jasat.core.Trail
Sets a literal, with an explanation clause.
assertLiteral(int) - Method in class org.jacop.satwrapper.translation.DomainClausesDatabase
this is responsible for propagating literals within the SAT solver to keep domain constraints coherent.
Assignment - Class in org.jacop.constraints
Assignment constraint implements facility to improve channeling constraints between dual viewpoints of permutation models.
Assignment(IntVar[], IntVar[], int, int) - Constructor for class org.jacop.constraints.Assignment
It enforces the relationship x[d[i]-shiftX]=i+shiftD and d[x[i]-shiftD]=i+shiftX.
Assignment(List<? extends IntVar>, List<? extends IntVar>, int, int) - Constructor for class org.jacop.constraints.Assignment
It enforces the relationship x[d[i]-shiftX]=i+shiftD and d[x[i]-shiftD]=i+shiftX.
Assignment(List<? extends IntVar>, List<? extends IntVar>) - Constructor for class org.jacop.constraints.Assignment
It constructs an Assignment constraint with shift equal 0.
Assignment(List<? extends Var>, List<? extends Var>, int) - Constructor for class org.jacop.constraints.Assignment
It enforces the relationship x[d[i]-min]=i+min and d[x[i]-min]=i+min.
Assignment(IntVar[], IntVar[]) - Constructor for class org.jacop.constraints.Assignment
It constructs an Assignment constraint with shift equal 0.
Assignment(IntVar[], IntVar[], int) - Constructor for class org.jacop.constraints.Assignment
It enforces the relationship x[d[i]-min]=i+min and d[x[i]-min]=i+min.
assignmentNum - Variable in class org.jacop.jasat.core.Core
 
assignSolution() - Method in class org.jacop.search.DepthFirstSearch
 
assignSolution(int) - Method in class org.jacop.search.DepthFirstSearch
 
assignSolution(int) - Method in interface org.jacop.search.Search
The first solution has index 0.
assignSolution() - Method in interface org.jacop.search.Search
It assigns the last solution.
assignSolution(Store) - Method in class org.jacop.search.SimpleSolutionListener
It assigns the last found solution to the store.
assignSolution(Store, int) - Method in class org.jacop.search.SimpleSolutionListener
 
assignSolution(Store, int) - Method in interface org.jacop.search.SolutionListener
It imposes the constraints, so the last found solution is enforced.
ASTAnnExpr - Class in org.jacop.fz
 
ASTAnnExpr(int) - Constructor for class org.jacop.fz.ASTAnnExpr
 
ASTAnnExpr(Parser, int) - Constructor for class org.jacop.fz.ASTAnnExpr
 
ASTAnnotation - Class in org.jacop.fz
 
ASTAnnotation(int) - Constructor for class org.jacop.fz.ASTAnnotation
 
ASTAnnotation(Parser, int) - Constructor for class org.jacop.fz.ASTAnnotation
 
ASTArrayLiteral - Class in org.jacop.fz
 
ASTArrayLiteral(int) - Constructor for class org.jacop.fz.ASTArrayLiteral
 
ASTArrayLiteral(Parser, int) - Constructor for class org.jacop.fz.ASTArrayLiteral
 
ASTBoolTiExprTail - Class in org.jacop.fz
 
ASTBoolTiExprTail(int) - Constructor for class org.jacop.fz.ASTBoolTiExprTail
 
ASTBoolTiExprTail(Parser, int) - Constructor for class org.jacop.fz.ASTBoolTiExprTail
 
ASTConstElem - Class in org.jacop.fz
 
ASTConstElem(int) - Constructor for class org.jacop.fz.ASTConstElem
 
ASTConstElem(Parser, int) - Constructor for class org.jacop.fz.ASTConstElem
 
ASTConstraint - Class in org.jacop.fz
 
ASTConstraint(int) - Constructor for class org.jacop.fz.ASTConstraint
 
ASTConstraint(Parser, int) - Constructor for class org.jacop.fz.ASTConstraint
 
ASTConstraintItems - Class in org.jacop.fz
 
ASTConstraintItems(int) - Constructor for class org.jacop.fz.ASTConstraintItems
 
ASTConstraintItems(Parser, int) - Constructor for class org.jacop.fz.ASTConstraintItems
 
ASTFloatTiExprTail - Class in org.jacop.fz
 
ASTFloatTiExprTail(int) - Constructor for class org.jacop.fz.ASTFloatTiExprTail
 
ASTFloatTiExprTail(Parser, int) - Constructor for class org.jacop.fz.ASTFloatTiExprTail
 
ASTIntFlatExpr - Class in org.jacop.fz
 
ASTIntFlatExpr(int) - Constructor for class org.jacop.fz.ASTIntFlatExpr
 
ASTIntFlatExpr(Parser, int) - Constructor for class org.jacop.fz.ASTIntFlatExpr
 
ASTIntLiterals - Class in org.jacop.fz
 
ASTIntLiterals(int) - Constructor for class org.jacop.fz.ASTIntLiterals
 
ASTIntLiterals(Parser, int) - Constructor for class org.jacop.fz.ASTIntLiterals
 
ASTIntTiExprTail - Class in org.jacop.fz
 
ASTIntTiExprTail(int) - Constructor for class org.jacop.fz.ASTIntTiExprTail
 
ASTIntTiExprTail(Parser, int) - Constructor for class org.jacop.fz.ASTIntTiExprTail
 
ASTmodel - Class in org.jacop.fz
 
ASTmodel(int) - Constructor for class org.jacop.fz.ASTmodel
 
ASTmodel(Parser, int) - Constructor for class org.jacop.fz.ASTmodel
 
ASTModelEnd - Class in org.jacop.fz
 
ASTModelEnd(int) - Constructor for class org.jacop.fz.ASTModelEnd
 
ASTModelEnd(Parser, int) - Constructor for class org.jacop.fz.ASTModelEnd
 
ASTPrint - Class in org.jacop.fz
ASTPrint.java
ASTPrint() - Constructor for class org.jacop.fz.ASTPrint
 
ASTScalarFlatExpr - Class in org.jacop.fz
 
ASTScalarFlatExpr(int) - Constructor for class org.jacop.fz.ASTScalarFlatExpr
 
ASTScalarFlatExpr(Parser, int) - Constructor for class org.jacop.fz.ASTScalarFlatExpr
 
ASTSetElement - Class in org.jacop.fz
 
ASTSetElement(int) - Constructor for class org.jacop.fz.ASTSetElement
 
ASTSetElement(Parser, int) - Constructor for class org.jacop.fz.ASTSetElement
 
ASTSetLiteral - Class in org.jacop.fz
 
ASTSetLiteral(int) - Constructor for class org.jacop.fz.ASTSetLiteral
 
ASTSetLiteral(Parser, int) - Constructor for class org.jacop.fz.ASTSetLiteral
 
ASTSetTiExprTail - Class in org.jacop.fz
 
ASTSetTiExprTail(int) - Constructor for class org.jacop.fz.ASTSetTiExprTail
 
ASTSetTiExprTail(Parser, int) - Constructor for class org.jacop.fz.ASTSetTiExprTail
 
ASTSolveExpr - Class in org.jacop.fz
 
ASTSolveExpr(int) - Constructor for class org.jacop.fz.ASTSolveExpr
 
ASTSolveExpr(Parser, int) - Constructor for class org.jacop.fz.ASTSolveExpr
 
ASTSolveKind - Class in org.jacop.fz
 
ASTSolveKind(int) - Constructor for class org.jacop.fz.ASTSolveKind
 
ASTSolveKind(Parser, int) - Constructor for class org.jacop.fz.ASTSolveKind
 
ASTVarDeclItem - Class in org.jacop.fz
 
ASTVarDeclItem(int) - Constructor for class org.jacop.fz.ASTVarDeclItem
 
ASTVarDeclItem(Parser, int) - Constructor for class org.jacop.fz.ASTVarDeclItem
 
ASTVarDeclItems - Class in org.jacop.fz
 
ASTVarDeclItems(int) - Constructor for class org.jacop.fz.ASTVarDeclItems
 
ASTVarDeclItems(Parser, int) - Constructor for class org.jacop.fz.ASTVarDeclItems
 
ASTVariableExpr - Class in org.jacop.fz
 
ASTVariableExpr(int) - Constructor for class org.jacop.fz.ASTVariableExpr
 
ASTVariableExpr(Parser, int) - Constructor for class org.jacop.fz.ASTVariableExpr
 
AtanPeqR - Class in org.jacop.floats.constraints
Constraints atan(P) = R
AtanPeqR(FloatVar, FloatVar) - Constructor for class org.jacop.floats.constraints.AtanPeqR
It constructs sin(P) = Q constraints.
AtLeast - Class in org.jacop.constraints
 
AtLeast(IntVar[], int, int) - Constructor for class org.jacop.constraints.AtLeast
It constructs a AtLeast constraint.
AtLeast(List<? extends IntVar>, int, int) - Constructor for class org.jacop.constraints.AtLeast
It constructs a AtLeast constraint.
AtMost - Class in org.jacop.constraints
 
AtMost(IntVar[], int, int) - Constructor for class org.jacop.constraints.AtMost
It constructs a AtMost constraint.
AtMost(List<? extends IntVar>, int, int) - Constructor for class org.jacop.constraints.AtMost
It constructs a AtMost constraint.
atomicExecution - Variable in class org.jacop.constraints.Constraint
It specifies if the constraint consistency function requires consistency function executed in one atomic step.
augmentFlow(Node, Node, int) - Method in class org.jacop.constraints.netflow.simplex.NetworkSimplex
Augments the flow between two nodes by the maximum amount along the unique tree path that connects these nodes.
AunionBeqC - Class in org.jacop.set.constraints
It creates a constraint that makes sure that A union B is equal to C.
AunionBeqC(SetVar, SetVar, SetVar) - Constructor for class org.jacop.set.constraints.AunionBeqC
It constructs an AunionBeqC constraint to restrict the domain of the variables A, B and C.
auxilaryVariables - Variable in class org.jacop.core.Store
It contains all auxilary variables created by decomposable constraints.
auxiliaryVariables() - Method in class org.jacop.constraints.DecomposedConstraint
 
auxiliaryVariables() - Method in class org.jacop.constraints.diffn.Diffn
 
auxiliaryVariables() - Method in class org.jacop.constraints.diffn.DiffnDecomposed
 
auxVar - Variable in class org.jacop.constraints.diffn.Diffn
 
auxVar - Variable in class org.jacop.constraints.diffn.DiffnDecomposed
 
availableWeightOfCriticalItem - Variable in class org.jacop.constraints.knapsack.Tree
It specifies the fraction of the critical item which has been not included in the optimal non-integral solution.

B

b - Variable in class org.jacop.constraints.AndBoolSimple
 
b - Variable in class org.jacop.constraints.Conditional
The list of 0/1 (Boolean) variables for assignment decision.
b - Variable in class org.jacop.constraints.Implies
It specifies variable b in the Implies constraint.
b - Variable in class org.jacop.constraints.OrBoolSimple
 
b - Variable in class org.jacop.constraints.Reified
It specifies variable b which stores status of the constraint (0 - for certain not satisfied, 1 - for certain satisfied).
b - Variable in class org.jacop.constraints.Xor
It specifies variable b, which boolean status must satisfy xor relationship with status of constraint c.
b - Variable in class org.jacop.examples.fd.BIBD
It specifies number of columns in the incidence matrix.
b - Variable in class org.jacop.set.constraints.AdiffBeqC
It specifies set variable b.
b - Variable in class org.jacop.set.constraints.AdisjointB
It specifies set variable b.
b - Variable in class org.jacop.set.constraints.AeqB
It specifies set variable b, which must be equal to set variable a.
b - Variable in class org.jacop.set.constraints.AinB
It specifies variable b.
b - Variable in class org.jacop.set.constraints.AintersectBeqC
It specifies set variable b.
b - Variable in class org.jacop.set.constraints.AleB
It specifies the second variable of the constraint
b - Variable in class org.jacop.set.constraints.AltB
It specifies the second variable of the constraint
b - Variable in class org.jacop.set.constraints.AunionBeqC
It specifies set variable b.
b - Variable in class org.jacop.set.constraints.Lex
Deprecated.
It specifies a list on which element a lex relationship holds for every two consecutive variables.
BabySitting - Class in org.jacop.examples.fd
It is a simple logic puzzle about babysitting.
BabySitting() - Constructor for class org.jacop.examples.fd.BabySitting
 
backjump(int) - Method in class org.jacop.jasat.core.clauses.BinaryClausesDatabase
 
backjump(int) - Method in interface org.jacop.jasat.core.clauses.ClauseDatabaseInterface
Do everything needed to return to the given level.
backjump(int) - Method in class org.jacop.jasat.core.clauses.DatabasesStore
tells all databases to backjump at this level
backjump(int) - Method in class org.jacop.jasat.core.clauses.DefaultClausesDatabase
returns to the given level
backjump(int) - Method in class org.jacop.jasat.core.clauses.LongClausesDatabase
 
backjump(int) - Method in class org.jacop.jasat.core.clauses.TernaryClausesDatabase
 
backjump(int) - Method in class org.jacop.jasat.core.clauses.UnaryClausesDatabase
 
backjump(int) - Method in class org.jacop.jasat.core.Trail
It tells the trail to return to given level.
backjump(int) - Method in class org.jacop.satwrapper.translation.DomainClausesDatabase
 
backjumpLevel - Variable in class org.jacop.jasat.core.clauses.MapClause
the level at which backjumping should go due to the explanation clause.
BackjumpListener - Interface in org.jacop.jasat.modules.interfaces
interface for components that listen for backjumps, or restarts
backjumpModules - Variable in class org.jacop.jasat.core.Core
 
backjumpToLevel(int) - Method in class org.jacop.jasat.core.Core
tells the SAT-solver to backtrack to the given level.
backtrack() - Method in class org.jacop.constraints.netflow.Network
 
Backtrackable - Interface in org.jacop.core
 
BacktrackableManager - Interface in org.jacop.core
 
backtracking - Variable in class org.jacop.constraints.geost.Geost
It is a flag set to true during remove level late function execution so objects which are being updated upon backtracking can be handled properly.
backtrackOccured - Variable in class org.jacop.constraints.ExtensionalSupportSTR
It specifies if there was a backtrack and no yet consistency function execution after backtracking.
base - Variable in class org.jacop.examples.fd.Cryptogram
It specifies the base of the numerical system to be used in the calculations.
base - Variable in class org.jacop.examples.fd.DeBruijn
 
BasicLogicPascal - Class in org.jacop.examples.fd
It solves an arithmetic puzzle BASIC+LOGIC=PASCAL.
BasicLogicPascal() - Constructor for class org.jacop.examples.fd.BasicLogicPascal
 
BasicPreprocessor - Class in org.jacop.jasat.utils
a basic preprocessor.
BasicPreprocessor(Core) - Constructor for class org.jacop.jasat.utils.BasicPreprocessor
 
behavior - Variable in class org.jacop.constraints.netflow.DomainStructure
 
BIBD - Class in org.jacop.examples.fd
It models and solves Balanced Incomplete Block Design (BIBD) problem (CSPLIB-P28).
BIBD() - Constructor for class org.jacop.examples.fd.BIBD
 
bidCosts - Variable in class org.jacop.examples.fd.muca.MUCA
For each bidder it specifies variable representing the cost of the chosen xor bid.
bids - Variable in class org.jacop.examples.fd.muca.MUCA
ArrayList of bids issued by different bidders.
binary - Variable in class org.jacop.examples.fd.DeBruijn
 
BinaryClausesDatabase - Class in org.jacop.jasat.core.clauses
A database for binary clauses.
BinaryClausesDatabase() - Constructor for class org.jacop.jasat.core.clauses.BinaryClausesDatabase
 
BinaryNode - Class in org.jacop.floats.constraints.linear
Binary Node of the tree representing linear constraint.
BinaryNode() - Constructor for class org.jacop.floats.constraints.linear.BinaryNode
 
Binpacking - Class in org.jacop.constraints.binpacking
Binpacking constraint implements bin packing problem.
Binpacking(IntVar[], IntVar[], int[]) - Constructor for class org.jacop.constraints.binpacking.Binpacking
It constructs the binpacking constraint for the supplied variable.
Binpacking(List<? extends IntVar>, List<? extends IntVar>, int[]) - Constructor for class org.jacop.constraints.binpacking.Binpacking
It constructs the binpacking constraint for the supplied variable.
Binpacking(IntVar[], IntVar[], int[], int) - Constructor for class org.jacop.constraints.binpacking.Binpacking
It constructs the binpacking constraint for the supplied variable.
Binpacking(List<? extends IntVar>, List<? extends IntVar>, int[], int) - Constructor for class org.jacop.constraints.binpacking.Binpacking
It constructs the binpacking constraint for the supplied variable.
Binpacking(IntVar[], IntVar[], int[], int, boolean) - Constructor for class org.jacop.constraints.binpacking.Binpacking
 
BipartiteGraphMatching - Class in org.jacop.util
 
BipartiteGraphMatching(int, int) - Constructor for class org.jacop.util.BipartiteGraphMatching
Constructs empty data structure for Hopcroft Karp algorithm for maximum matching edges can be added by addEdge method.
BipartiteGraphMatching(int[][], int, int) - Constructor for class org.jacop.util.BipartiteGraphMatching
Constructs data structure for Hopcroft Karp algorithm for maximum matching.
bits - Variable in class org.jacop.core.SmallDenseDomain
It stores information about presence of the elements in the domain.
black - Variable in class org.jacop.examples.fd.nonogram.Nonogram
The value that represents a black dot.
blocking - Variable in class org.jacop.constraints.netflow.simplex.NetworkSimplex
 
blockSizePerOption - Variable in class org.jacop.examples.fd.carsequencing.CarSequencing
The sequence length for which the maximum number restriction is specified.
BlueberryMuffins - Class in org.jacop.examples.fd
It solves a simple logic puzzle about blueberry muffins.
BlueberryMuffins() - Constructor for class org.jacop.examples.fd.BlueberryMuffins
 
BNode - Class in org.jacop.floats.constraints.linear
 
BNode(Store) - Constructor for class org.jacop.floats.constraints.linear.BNode
 
BNode(Store, double, double) - Constructor for class org.jacop.floats.constraints.linear.BNode
 
BNode(Store, double, double, double, double) - Constructor for class org.jacop.floats.constraints.linear.BNode
 
board - Variable in class org.jacop.examples.fd.nonogram.Nonogram
A board to be painted in white/black dots.
BOOL - Static variable in interface org.jacop.fz.ParserConstants
RegularExpression Id.
bool2int(SimpleNode) - Method in class org.jacop.fz.constraints.ConstraintFncs
 
bool_and(SimpleNode) - Method in class org.jacop.fz.constraints.ConstraintFncs
 
bool_and_imp(SimpleNode) - Method in class org.jacop.fz.constraints.ConstraintFncs
 
bool_clause(SimpleNode) - Method in class org.jacop.fz.constraints.ConstraintFncs
 
bool_clause_imp(SimpleNode) - Method in class org.jacop.fz.constraints.ConstraintFncs
 
bool_clause_reif(SimpleNode) - Method in class org.jacop.fz.constraints.ConstraintFncs
 
bool_eq(SimpleNode) - Method in class org.jacop.fz.constraints.ConstraintFncs
 
bool_eq_imp(SimpleNode) - Method in class org.jacop.fz.constraints.ConstraintFncs
 
bool_eq_reif(SimpleNode) - Method in class org.jacop.fz.constraints.ConstraintFncs
 
bool_ge_imp(SimpleNode) - Method in class org.jacop.fz.constraints.ConstraintFncs
 
bool_gt_imp(SimpleNode) - Method in class org.jacop.fz.constraints.ConstraintFncs
 
bool_le(SimpleNode) - Method in class org.jacop.fz.constraints.ConstraintFncs
 
bool_le_imp(SimpleNode) - Method in class org.jacop.fz.constraints.ConstraintFncs
 
bool_le_reif(SimpleNode) - Method in class org.jacop.fz.constraints.ConstraintFncs
 
bool_lin_eq(SimpleNode) - Method in class org.jacop.fz.constraints.ConstraintFncs
 
bool_lin_eq_reif(SimpleNode) - Method in class org.jacop.fz.constraints.ConstraintFncs
 
bool_lin_le(SimpleNode) - Method in class org.jacop.fz.constraints.ConstraintFncs
 
bool_lin_le_reif(SimpleNode) - Method in class org.jacop.fz.constraints.ConstraintFncs
 
bool_lin_lt(SimpleNode) - Method in class org.jacop.fz.constraints.ConstraintFncs
 
bool_lin_lt_reif(SimpleNode) - Method in class org.jacop.fz.constraints.ConstraintFncs
 
bool_lin_ne(SimpleNode) - Method in class org.jacop.fz.constraints.ConstraintFncs
 
bool_lin_ne_reif(SimpleNode) - Method in class org.jacop.fz.constraints.ConstraintFncs
 
bool_lt(SimpleNode) - Method in class org.jacop.fz.constraints.ConstraintFncs
 
bool_lt_imp(SimpleNode) - Method in class org.jacop.fz.constraints.ConstraintFncs
 
bool_lt_reif(SimpleNode) - Method in class org.jacop.fz.constraints.ConstraintFncs
 
bool_ne(SimpleNode) - Method in class org.jacop.fz.constraints.ConstraintFncs
 
bool_ne_imp(SimpleNode) - Method in class org.jacop.fz.constraints.ConstraintFncs
 
bool_ne_reif(SimpleNode) - Method in class org.jacop.fz.constraints.ConstraintFncs
 
bool_not(SimpleNode) - Method in class org.jacop.fz.constraints.ConstraintFncs
 
bool_or(SimpleNode) - Method in class org.jacop.fz.constraints.ConstraintFncs
 
bool_xor(SimpleNode) - Method in class org.jacop.fz.constraints.ConstraintFncs
 
bool_xor_imp(SimpleNode) - Method in class org.jacop.fz.constraints.ConstraintFncs
 
BoolClause - Class in org.jacop.constraints
I defines a boolean clause for 0/1 variables x_i and y_i.
BoolClause(IntVar[], IntVar[]) - Constructor for class org.jacop.constraints.BoolClause
It constructs BoolClause.
BoolClause(List<IntVar>, List<IntVar>) - Constructor for class org.jacop.constraints.BoolClause
It constructs BoolClause.
BooleanVar - Class in org.jacop.core
Defines a variable and related operations on it.
BooleanVar() - Constructor for class org.jacop.core.BooleanVar
No parameter, explicit, empty constructor for subclasses.
BooleanVar(Store) - Constructor for class org.jacop.core.BooleanVar
This constructor creates a variable with empty domain (standard FD domain), automatically generated name, and empty attached constraint list.
BooleanVar(Store, String) - Constructor for class org.jacop.core.BooleanVar
Boolean variable constructor.
BooleanVar(Store, String, int, int) - Constructor for class org.jacop.core.BooleanVar
Boolean variable constructor.
BooleanVar(Store, int, int) - Constructor for class org.jacop.core.BooleanVar
Boolean variable constructor.
BooleanVar(Store, BoundDomain) - Constructor for class org.jacop.core.BooleanVar
It creates a Boolean variable.
BooleanVar(Store, String, BoundDomain) - Constructor for class org.jacop.core.BooleanVar
It creates a Boolean variable.
boolVarToCpValue(int) - Method in class org.jacop.satwrapper.SatWrapper
transform a literal 'x=v' into a value 'v' for some CP variable
boolVarToCpValue(int) - Method in class org.jacop.satwrapper.translation.LazyCpVarDomain
Deprecated.
 
boolVarToCpValue(int) - Method in class org.jacop.satwrapper.translation.SatCPBridge
return the value corresponding to given literal (variable)
boolVarToCpValue(int) - Method in class org.jacop.satwrapper.translation.SimpleCpVarDomain
 
boolVarToCpVar(int) - Method in class org.jacop.satwrapper.SatWrapper
get the IntVar back from a literal
boolVarToDomain(int) - Method in class org.jacop.satwrapper.SatWrapper
returns the CpVarDomain associated with this literal
boolVarToDomains - Variable in class org.jacop.satwrapper.SatWrapper
 
BOUND - Static variable in class org.jacop.core.IntDomain
It specifies the constant for BOUND event.
bound - Variable in class org.jacop.examples.fd.Golomb
It specifies the upper bound of the optimal solution.
BOUND - Static variable in class org.jacop.floats.core.FloatDomain
It specifies the constant for BOUND event.
BOUND - Static variable in class org.jacop.set.core.SetDomain
Bound event.
BoundDomainID - Static variable in class org.jacop.core.IntDomain
Unique identifier for a bound domain type.
BoundDomainIntervalEnumeration - Class in org.jacop.core
Defines a methods for enumerating intervals contained in the BoundDomain.
BoundDomainIntervalEnumeration(int, int) - Constructor for class org.jacop.core.BoundDomainIntervalEnumeration
It creates an enumeration of intervals for BoundDomain.
BoundDomainValueEnumeration - Class in org.jacop.core
Defines a methods for enumerating values contained in the BoundDomain.
BoundDomainValueEnumeration(BoundDomain) - Constructor for class org.jacop.core.BoundDomainValueEnumeration
 
boundingBox(Collection<DBox>) - Static method in class org.jacop.constraints.geost.DBox
computes the bounding box of the given collection of boxes
boundingBox - Variable in class org.jacop.constraints.geost.Shape
It specifies the smallest bounding box which encapsulates all boxes constituting the shape.
boundingBox() - Method in class org.jacop.constraints.geost.Shape
It returns previously computed bounding box of the shape.
boundsConsistency - Variable in class org.jacop.fz.constraints.Support
 
BoundSetDomain - Class in org.jacop.set.core
Defines a set interval determined by a least upper bound(lub) and a greatest lower bound(glb).
BoundSetDomain(IntDomain, IntDomain, IntDomain) - Constructor for class org.jacop.set.core.BoundSetDomain
Creates BoundSetDomain object.
BoundSetDomain(IntDomain, IntDomain) - Constructor for class org.jacop.set.core.BoundSetDomain
Creates a new instance of SetDomain.
BoundSetDomain() - Constructor for class org.jacop.set.core.BoundSetDomain
It is a constructor which will create an empty SetDomain.
BoundSetDomain(int, int) - Constructor for class org.jacop.set.core.BoundSetDomain
It creates a new instance of SetDomain with glb empty and lub={e1..e2}
BoxDisplay - Class in org.jacop.constraints.geost
 
BoxDisplay(int) - Constructor for class org.jacop.constraints.geost.BoxDisplay
It constructs a display to visualize Geost objects/constraint.
BoxDisplay(int, String) - Constructor for class org.jacop.constraints.geost.BoxDisplay
It constructs a window given the parameters like pixels per unit shape, and name of the window.
boxes - Variable in class org.jacop.constraints.geost.Shape
The collection of DBoxes that constitute the shape.
BreakingNews - Class in org.jacop.examples.fd
It solves a simple logic puzzle about reporters breaking news stories.
BreakingNews() - Constructor for class org.jacop.examples.fd.BreakingNews
 
BTree - Class in org.jacop.floats.constraints.linear
Binary Node of the tree representing linear constraint.
BTree(RootBNode) - Constructor for class org.jacop.floats.constraints.linear.BTree
 
build() - Method in class org.jacop.constraints.netflow.NetworkBuilder
 
BuildingBlocks - Class in org.jacop.examples.fd
It solves a simple logic puzzle about blocks.
BuildingBlocks() - Constructor for class org.jacop.examples.fd.BuildingBlocks
 
bump_rate - Variable in class org.jacop.jasat.core.Config
the default bump rate.

C

c - Variable in class org.jacop.constraints.Conditional
The list of constraints that are to be selected.
c - Variable in class org.jacop.constraints.Implies
It specifies constraint in the Implies constraint.
c - Variable in class org.jacop.constraints.Not
It specifies the constraint which negation is being created.
c - Variable in class org.jacop.constraints.Reified
It specifies constraint c which status is being checked.
c - Variable in class org.jacop.constraints.XeqC
It specifies the constant to which a specified variable should be equal to.
c - Variable in class org.jacop.constraints.XgtC
It specifies a constant C from which a given variable must be greater.
c - Variable in class org.jacop.constraints.XgteqC
It specifies a constant c from which a given variable must be greater or equal.
c - Variable in class org.jacop.constraints.XltC
It specifies constant
c - Variable in class org.jacop.constraints.XlteqC
It specifies constant c from which a given variable must be smaller or equal.
c - Variable in class org.jacop.constraints.XmulCeqZ
It specifies constant c in constraint x * c = z.
c - Variable in class org.jacop.constraints.XmulYeqC
It specifies constant c in constraint x * y = c.
c - Variable in class org.jacop.constraints.XneqC
It specifies constant c in constraint x != c.
c - Variable in class org.jacop.constraints.Xor
It specifies constraint c, which status must satisfy xor relationship with variable b.
c - Variable in class org.jacop.constraints.XplusCeqZ
It specifies constant c in constraint x+c=z.
c - Variable in class org.jacop.constraints.XplusClteqZ
It specifies constant c in constraint x+c<= z.
c - Variable in class org.jacop.constraints.XplusYgtC
It specifies constant c in constraint x + y> c.
c - Variable in class org.jacop.floats.constraints.PeqC
It specifies the constant to which a specified variable should be equal to.
c - Variable in class org.jacop.floats.constraints.PgtC
It specifies a constant C from which a given variable must be greater.
c - Variable in class org.jacop.floats.constraints.PgteqC
It specifies a constant c from which a given variable must be greater or equal.
c - Variable in class org.jacop.floats.constraints.PltC
It specifies constant
c - Variable in class org.jacop.floats.constraints.PlteqC
It specifies constant c from which a given variable must be smaller or equal.
c - Variable in class org.jacop.floats.constraints.PmulCeqR
It specifies constants c in constraint p * c = r.
c - Variable in class org.jacop.floats.constraints.PneqC
It specifies the constant to which a specified variable should be equal to.
c - Variable in class org.jacop.floats.constraints.PplusCeqR
It specifies constant c in constraint p+c=r.
c - Variable in class org.jacop.set.constraints.AdiffBeqC
It specifies set variable c.
c - Variable in class org.jacop.set.constraints.AintersectBeqC
It specifies set variable c.
c - Variable in class org.jacop.set.constraints.AunionBeqC
It specifies set variable c.
c1 - Variable in class org.jacop.constraints.Eq
It specifies the first constraint which status must be equivalent to the status of the second constraint.
c2 - Variable in class org.jacop.constraints.Eq
It specifies the second constraint which status must be equivalent to the status of the first constraint.
Calculator<T extends Var> - Class in org.jacop.search.restart
Defines interface for a calculator for restart search
Calculator() - Constructor for class org.jacop.search.restart.Calculator
 
CalendarMen - Class in org.jacop.examples.fd
It solves a simple logic puzzle about sport calendar.
CalendarMen() - Constructor for class org.jacop.examples.fd.CalendarMen
 
canRemove(int) - Method in class org.jacop.jasat.core.clauses.BinaryClausesDatabase
 
canRemove(int) - Method in interface org.jacop.jasat.core.clauses.ClauseDatabaseInterface
It tells if the implementation of ClausesDatabase can remove clauses or not
canRemove(int) - Method in class org.jacop.jasat.core.clauses.DatabasesStore
 
canRemove(int) - Method in class org.jacop.jasat.core.clauses.DefaultClausesDatabase
 
canRemove(int) - Method in class org.jacop.jasat.core.clauses.LongClausesDatabase
 
canRemove(int) - Method in class org.jacop.jasat.core.clauses.TernaryClausesDatabase
 
canRemove(int) - Method in class org.jacop.jasat.core.clauses.UnaryClausesDatabase
 
canRemove(int) - Method in class org.jacop.jasat.core.Core
predicate : can we remove the clause without breaking the correctness of the solver ?
canRemove(int) - Method in class org.jacop.satwrapper.translation.DomainClausesDatabase
 
capacity - Variable in class org.jacop.constraints.netflow.simplex.Arc
The unused (i.e.
card() - Method in class org.jacop.set.core.BoundSetDomain
Returns the cardinality of the setDomain as [glb.card(), lub.card()]
card() - Method in class org.jacop.set.core.SetDomain
Returns the cardinality of the setDomain as [glb.card(), lub.card()]
CardA - Class in org.jacop.set.constraints
The set cardinality constraint.
CardA(SetVar, int) - Constructor for class org.jacop.set.constraints.CardA
It constructs a cardinality constraint to restrict the number of elements in the set assigned to a set variable a.
CardA(SetVar, IntDomain) - Constructor for class org.jacop.set.constraints.CardA
It constructs a cardinality constraint to restrict the number of elements in the set assigned to set variable a.
CardA(SetVar, int, int) - Constructor for class org.jacop.set.constraints.CardA
It constructs a cardinality constraint to restrict the number of elements in the set assigned to set variable a.
CardAeqX - Class in org.jacop.set.constraints
The set cardinality constraint.
CardAeqX(SetVar, IntVar) - Constructor for class org.jacop.set.constraints.CardAeqX
It constructs a cardinality constraint to restrict the number of elements in the set assigned to set variable a.
cardinality - Variable in class org.jacop.set.constraints.CardA
It specifies variable c specifying the possible cardinality of variable x.
cardinality - Variable in class org.jacop.set.constraints.CardAeqX
It specifies integer variable c specifying the possible cardinality of set variable a.
cardinality - Variable in class org.jacop.set.core.BoundSetDomain
The cardinality of the set.
CARDINALITY - Static variable in class org.jacop.set.core.SetDomain
It specifies event that has changed the cardinality of the set.
cardInfeasible() - Method in class org.jacop.constraints.geost.AllowedArea
 
cardInfeasible() - Method in class org.jacop.constraints.geost.DomainHoles
 
cardInfeasible() - Method in class org.jacop.constraints.geost.ForbiddenArea
 
cardInfeasible() - Method in class org.jacop.constraints.geost.InternalConstraint
It provides an approximation of the number of infeasible points enforced by this constraint only.
cardInfeasible() - Method in class org.jacop.constraints.geost.ObstacleObject
 
cardInfeasible() - Method in class org.jacop.constraints.geost.ObstacleObjectFrame
 
CarSequencing - Class in org.jacop.examples.fd.carsequencing
It is program to model and solve simple problems of car sequencing problem (CSPLIB-p1).
CarSequencing() - Constructor for class org.jacop.examples.fd.carsequencing.CarSequencing
 
chainingSchedule() - Static method in class org.jacop.examples.fd.filters.FilterBenchmark
It solves available filters for different scenario consisting of different number of resources.
changeCapacity(int, int) - Method in class org.jacop.constraints.netflow.ArcCompanion
Changes the lower and upper capacity of the arc in any way, performing the necessary changes to node balance and flow offset functions.
changeCostOffset(long) - Method in interface org.jacop.constraints.netflow.MutableNetwork
Changes the cost offset by some value.
changeCostOffset(long) - Method in class org.jacop.constraints.netflow.Network
 
changed - Variable in class org.jacop.core.Store
It stores constraints scheduled for reevaluation.
changeHistory4BooleanVariables - Variable in class org.jacop.core.Store
It stores boolean variables as soon as they change (become grounded or number of constraints being attached is changed).
changeMaxCapacity(int) - Method in class org.jacop.constraints.netflow.ArcCompanion
 
changeMinCapacity(int) - Method in class org.jacop.constraints.netflow.ArcCompanion
 
ChannelImply - Class in org.jacop.constraints
ChannelImply constraints "B => constraint".
ChannelImply(IntVar, IntVar[], int[]) - Constructor for class org.jacop.constraints.ChannelImply
It creates ChannelImply constraint.
ChannelImply(IntVar, IntVar[], IntDomain) - Constructor for class org.jacop.constraints.ChannelImply
It creates ChannelImply constraint.
ChannelImply(IntVar, IntVar[]) - Constructor for class org.jacop.constraints.ChannelImply
 
ChannelImply(IntVar, Map<Integer, ? extends IntVar>) - Constructor for class org.jacop.constraints.ChannelImply
 
ChannelReif - Class in org.jacop.constraints
ChannelReif constraints "constraint" <=> B.
ChannelReif(IntVar, IntVar[], int[]) - Constructor for class org.jacop.constraints.ChannelReif
It creates ChannelReif constraint.
ChannelReif(IntVar, IntVar[], IntDomain) - Constructor for class org.jacop.constraints.ChannelReif
It creates ChannelReif constraint.
ChannelReif(IntVar, IntVar[]) - Constructor for class org.jacop.constraints.ChannelReif
 
ChannelReif(IntVar, Map<Integer, ? extends IntVar>) - Constructor for class org.jacop.constraints.ChannelReif
 
check(TimeStamp<Integer>[]) - Method in class org.jacop.constraints.regular.RegEdge
It checks if the edge is between active states.
check() - Method in class org.jacop.jasat.core.Config
check some properties of the config
checkBeforeUpdate(Arc, Arc) - Static method in class org.jacop.constraints.netflow.Assert
 
checkDuplicates - Variable in class org.jacop.constraints.ElementInteger
It specifies whether duplicate values should be treated specially (combined to a single check).
checkFloat(String) - Method in class org.jacop.fz.Tables
It returns an Double parameter of a given identity.
checkFlow(NetworkSimplex) - Static method in class org.jacop.constraints.netflow.Assert
 
checkIfAllowed(int[]) - Method in class org.jacop.util.MDD
It checks if the specified tuple is allowed.
checkIfAllowed() - Method in class org.jacop.util.MDD
 
checkInfeasibleNodes(NetworkSimplex) - Static method in class org.jacop.constraints.netflow.Assert
 
checkInput(T[], Predicate<T>, String) - Method in class org.jacop.constraints.DecomposedConstraint
 
checkInput(int[], Predicate<Integer>, String) - Method in class org.jacop.constraints.DecomposedConstraint
 
checkInputForDuplication(String, Object[]) - Method in class org.jacop.constraints.DecomposedConstraint
 
checkInputForDuplicationSkipSingletons(String, Var[]) - Method in class org.jacop.constraints.DecomposedConstraint
 
checkInputForNullness(String[], Object[]...) - Method in class org.jacop.constraints.DecomposedConstraint
 
checkInputForNullness(String, Object[]) - Method in class org.jacop.constraints.DecomposedConstraint
 
checkInputForNullness(String, int[]) - Method in class org.jacop.constraints.DecomposedConstraint
 
checkInt(String) - Method in class org.jacop.fz.Tables
It returns an Integer parameter of a given identity.
checkInvariants() - Method in class org.jacop.constraints.AndBoolSimple
 
checkInvariants() - Method in class org.jacop.constraints.AndBoolVector
It checks invariants required by the constraint.
checkInvariants() - Method in class org.jacop.constraints.BoolClause
It checks invariants required by the constraint.
checkInvariants() - Method in class org.jacop.constraints.EqBool
It checks invariants required by the constraint.
checkInvariants() - Method in class org.jacop.constraints.geost.AllowedArea
It checks that this constraint has consistent data structures.
checkInvariants() - Method in class org.jacop.constraints.geost.DBox
It checks whether the DBox is consistent.
checkInvariants() - Method in class org.jacop.constraints.geost.ForbiddenArea
It checks whether the ForbiddenArea is consistent.
checkInvariants() - Method in class org.jacop.constraints.geost.Geost
It checks that this constraint has consistent data structures.
checkInvariants() - Method in class org.jacop.constraints.geost.InArea
It checks whether the InArea is consistent.
checkInvariants() - Method in class org.jacop.constraints.geost.ObstacleObject
 
checkInvariants() - Method in class org.jacop.constraints.geost.ObstacleObjectFrame
It checks that this constraint has consistent data structures.
checkInvariants() - Method in class org.jacop.constraints.geost.PredefinedOrder
It checks the invariants for this order.
checkInvariants() - Method in class org.jacop.constraints.geost.Shape
It checks whether the shape object is consistent.
checkInvariants() - Method in class org.jacop.constraints.geost.ShiftOrder
It checks that this order has consistent data structures.
checkInvariants() - Method in class org.jacop.constraints.IfThenBool
It checks invariants required by the constraint.
checkInvariants() - Method in class org.jacop.constraints.OrBoolSimple
It checks invariants required by the constraint.
checkInvariants() - Method in class org.jacop.constraints.OrBoolVector
It checks invariants required by the constraint.
checkInvariants() - Method in class org.jacop.constraints.XorBool
It checks invariants required by the constraint.
checkInvariants() - Method in class org.jacop.core.Domain
It checks if the domain has correct state.
checkInvariants() - Method in class org.jacop.core.IntervalDomain
It is a function to check if the object is in consistent state.
checkInvariants() - Method in class org.jacop.core.SmallDenseDomain
 
checkInvariants() - Method in class org.jacop.core.Store
It checks invariants to see if the execution went smoothly.
checkInvariants() - Method in class org.jacop.floats.core.FloatIntervalDomain
It is a function to check if the object is in consistent state.
checkInvariants() - Method in class org.jacop.set.core.BoundSetDomain
 
checkInvariants() - Method in class org.jacop.set.core.SetDomain
 
checkOptimality(NetworkSimplex) - Static method in class org.jacop.constraints.netflow.Assert
 
checkRemoveInvariant(int) - Method in class org.jacop.core.IntervalBasedBacktrackableManager
It checks all backtrackable objects that they have not retained any level equal or above removedLevel.
checkStructure(NetworkSimplex) - Static method in class org.jacop.constraints.netflow.Assert
 
childrenSolutionListeners - Variable in class org.jacop.search.SimpleSolutionListener
It contains children of the solution listener.
childSearches - Variable in class org.jacop.search.DepthFirstSearch
It stores searches which will be executed when this one has assign all its variables.
choose(IntVar, List<? extends IntVar>, IntVar) - Static method in class org.jacop.constraints.Element
It constructs element constraint based on variables.
choose(IntVar, List<? extends IntVar>, IntVar, int) - Static method in class org.jacop.constraints.Element
It constructs element constraint based on variables.
choose(IntVar, int[], IntVar) - Static method in class org.jacop.constraints.Element
It constructs element constraint based on variables.
choose(IntVar, int[], IntVar, int) - Static method in class org.jacop.constraints.Element
It constructs element constraint based on variables.
choose(IntVar, IntVar[], IntVar) - Static method in class org.jacop.constraints.Element
It constructs element constraint based on variables.
choose(IntVar, IntVar[], IntVar, int) - Static method in class org.jacop.constraints.Element
It constructs element constraint based on variables.
CircleIntersection - Class in org.jacop.examples.floats
 
CircleIntersection() - Constructor for class org.jacop.examples.floats.CircleIntersection
 
Circuit - Class in org.jacop.constraints
Circuit constraint assures that all variables build a Hamiltonian circuit.
Circuit(IntVar[]) - Constructor for class org.jacop.constraints.Circuit
It constructs a circuit constraint.
Circuit(List<IntVar>) - Constructor for class org.jacop.constraints.Circuit
It constructs a circuit constraint.
CLAUSE_RATE_AVERAGE - Static variable in class org.jacop.jasat.core.clauses.AbstractClausesDatabase
 
CLAUSE_RATE_I_WANT_THIS_CLAUSE - Static variable in class org.jacop.jasat.core.clauses.AbstractClausesDatabase
 
CLAUSE_RATE_LOW - Static variable in class org.jacop.jasat.core.clauses.AbstractClausesDatabase
 
CLAUSE_RATE_UNSUPPORTED - Static variable in class org.jacop.jasat.core.clauses.AbstractClausesDatabase
 
CLAUSE_RATE_WELL_SUPPORTED - Static variable in class org.jacop.jasat.core.clauses.AbstractClausesDatabase
 
ClauseDatabaseInterface - Interface in org.jacop.jasat.core.clauses
Interface for clause databases or database stores.
ClauseListener - Interface in org.jacop.jasat.modules.interfaces
module that listens to add/removal of clauses
clauseModules - Variable in class org.jacop.jasat.core.Core
 
clausesDatabases - Variable in class org.jacop.jasat.core.Config
the list of databases the solver must add
ClauseState - Class in org.jacop.jasat.core.clauses
constants that represent the state of a clause at some point in the search
ClauseState() - Constructor for class org.jacop.jasat.core.clauses.ClauseState
 
cleanAfterFailure() - Method in class org.jacop.constraints.Constraint
It is executed after the constraint has failed.
cleanAfterFailure() - Method in class org.jacop.constraints.knapsack.Knapsack
 
clear() - Method in class org.jacop.constraints.netflow.simplex.Arc
Clears an artificial arc
clear() - Method in class org.jacop.core.Domain
It removes all elements.
clear() - Method in class org.jacop.core.IntervalDomain
It removes all elements.
clear() - Method in class org.jacop.core.SmallDenseDomain
 
clear() - Method in class org.jacop.floats.core.FloatIntervalDomain
It removes all elements.
clear() - Method in class org.jacop.jasat.core.clauses.MapClause
clear the clause, ie.
clear() - Method in class org.jacop.jasat.utils.structures.IntHashMap
clear the table, removing all elements
clear() - Method in class org.jacop.jasat.utils.structures.IntMap
clear the map (removes everything inside)
clear() - Method in class org.jacop.jasat.utils.structures.IntQueue
 
clear(int) - Method in class org.jacop.jasat.utils.structures.IntSet
 
clear() - Method in class org.jacop.jasat.utils.structures.IntStack
 
clear() - Method in class org.jacop.jasat.utils.structures.IntTrie
empty the Trie, removing all elements from it
clear() - Method in class org.jacop.jasat.utils.structures.IntVec
clears all elements in the array
clear() - Method in class org.jacop.satwrapper.SatChangesListener
clears all sets, so that elements occurring in them later result only from later events
clear() - Method in class org.jacop.set.core.BoundSetDomain
Sets the domain to an empty SetDomain.
clear() - Method in class org.jacop.set.core.SetDomain
Sets the domain to an empty SetDomain.
clear() - Method in class org.jacop.util.SimpleArrayList
Removes all of the elements from this list.
clear() - Method in class org.jacop.util.SimpleHashSet
Removes all elements from this set.
clear() - Method in class org.jacop.util.SparseSet
It removes all the elements by setting the number of members to zero.
clearChanged() - Method in class org.jacop.core.Store
It clears the queue of constraints which need to be reevaluated usefull if different scheme propagation scheme needs to be implemented.
clearNodeScope(Node) - Method in class org.jacop.fz.JJTParserState
 
clearNoGC() - Method in class org.jacop.util.SimpleArrayList
same as clear(), but references to objects are kept internally.
clearWatchedConstraint() - Method in class org.jacop.core.Store
It removes all watches to constraints, therefore constraints are no longer watched, no longer part of the model.
clone() - Method in class org.jacop.core.Domain
It clones the domain object.
clone() - Method in class org.jacop.core.IntDomain
 
clone() - Method in class org.jacop.core.Interval
 
clone() - Method in class org.jacop.core.IntervalDomain
It clones the domain object.
clone() - Method in class org.jacop.core.MutableDomainValue
 
clone() - Method in interface org.jacop.core.MutableVarValue
It clones the value of mutable variable.
clone() - Method in class org.jacop.core.SmallDenseDomain
 
clone() - Method in class org.jacop.floats.core.FloatDomain
 
clone() - Method in class org.jacop.floats.core.FloatInterval
 
clone() - Method in class org.jacop.floats.core.FloatIntervalDomain
It clones the domain object.
clone() - Method in class org.jacop.set.core.BoundSetDomain
Clones the domain.
clone() - Method in class org.jacop.set.core.SetDomain
It clones the domain object.
clone() - Method in class org.jacop.util.SimpleHashSet
Clones this set.
cloneLight() - Method in class org.jacop.core.Domain
It clones the domain object, only data responsible for encoding domain values is cloned.
cloneLight() - Method in class org.jacop.core.IntDomain
 
cloneLight() - Method in class org.jacop.core.IntervalDomain
It clones the domain object, only data responsible for encoding domain values is cloned.
cloneLight() - Method in class org.jacop.core.SmallDenseDomain
It clones the domain object, only data responsible for encoding domain values is cloned.
cloneLight() - Method in class org.jacop.floats.core.FloatDomain
 
cloneLight() - Method in class org.jacop.floats.core.FloatIntervalDomain
It clones the domain object, only data responsible for encoding domain values is cloned.
cloneLight() - Method in class org.jacop.set.core.BoundSetDomain
It clones the domain object, only data responsible for encoding domain values is cloned.
cloneLight() - Method in class org.jacop.set.core.SetDomain
It clones the domain object, only data responsible for encoding domain values is cloned.
close() - Method in class org.jacop.constraints.netflow.Pruning.PercentStrategy
 
closeNodeScope(Node, int) - Method in class org.jacop.fz.JJTParserState
 
closeNodeScope(Node, boolean) - Method in class org.jacop.fz.JJTParserState
 
CnfParser - Class in org.jacop.jasat.utils
CNF file format (low-level) parser.
CnfParser(MemoryPool, InputStream) - Constructor for class org.jacop.jasat.utils.CnfParser
creates an instance of the parser for some input stream
CnfParser.ParseException - Exception in org.jacop.jasat.utils
exception occurring during parse
cofactor(double[][]) - Method in class org.jacop.util.Matrix
 
col_rules - Variable in class org.jacop.examples.fd.nonogram.Nonogram
It specifies a rule for each column.
COLON - Static variable in interface org.jacop.fz.ParserConstants
RegularExpression Id.
COLONCOLON - Static variable in interface org.jacop.fz.ParserConstants
RegularExpression Id.
COMMA - Static variable in interface org.jacop.fz.ParserConstants
RegularExpression Id.
commonInitialization(Store, IntVar[], int[], String, int) - Method in class org.jacop.constraints.LinearInt
 
commonInitialization(IntVar[], int[], int) - Method in class org.jacop.constraints.SumWeightDom
Deprecated.
 
companion - Variable in class org.jacop.constraints.netflow.simplex.Arc
The arc companion for constraint API.
ComparatorVariable<T extends Var> - Interface in org.jacop.search
Defines an interface for comparing variables.
compare(int[], int[]) - Method in interface org.jacop.constraints.geost.LexicographicalOrder
It compares two k-dimensional points.
compare(int[], int[]) - Method in class org.jacop.constraints.geost.PredefinedOrder
 
compare(int[], int[]) - Method in class org.jacop.constraints.geost.ShiftOrder
 
compare(double, T) - Method in class org.jacop.floats.search.LargestDomainFloat
 
compare(T, T) - Method in class org.jacop.floats.search.LargestDomainFloat
 
compare(double, T) - Method in class org.jacop.floats.search.LargestMaxFloat
 
compare(T, T) - Method in class org.jacop.floats.search.LargestMaxFloat
 
compare(double, T) - Method in class org.jacop.floats.search.LargestMinFloat
 
compare(T, T) - Method in class org.jacop.floats.search.LargestMinFloat
 
compare(double, T) - Method in class org.jacop.floats.search.MaxRegretFloat
 
compare(T, T) - Method in class org.jacop.floats.search.MaxRegretFloat
 
compare(double, T) - Method in class org.jacop.floats.search.SmallestDomainFloat
 
compare(T, T) - Method in class org.jacop.floats.search.SmallestDomainFloat
 
compare(double, T) - Method in class org.jacop.floats.search.SmallestMaxFloat
 
compare(T, T) - Method in class org.jacop.floats.search.SmallestMaxFloat
 
compare(double, T) - Method in class org.jacop.floats.search.SmallestMinFloat
 
compare(T, T) - Method in class org.jacop.floats.search.SmallestMinFloat
 
compare(double, T) - Method in class org.jacop.floats.search.WeightedDegreeFloat
 
compare(T, T) - Method in class org.jacop.floats.search.WeightedDegreeFloat
 
compare(double, T) - Method in class org.jacop.search.ActivityMax
 
compare(T, T) - Method in class org.jacop.search.ActivityMax
 
compare(double, T) - Method in class org.jacop.search.ActivityMaxDeg
 
compare(T, T) - Method in class org.jacop.search.ActivityMaxDeg
 
compare(double, T) - Method in class org.jacop.search.ActivityMin
 
compare(T, T) - Method in class org.jacop.search.ActivityMin
 
compare(double, T) - Method in class org.jacop.search.ActivityMinDeg
 
compare(T, T) - Method in class org.jacop.search.ActivityMinDeg
 
compare(double, T) - Method in class org.jacop.search.AFCMax
 
compare(T, T) - Method in class org.jacop.search.AFCMax
 
compare(double, T) - Method in class org.jacop.search.AFCMaxDeg
 
compare(T, T) - Method in class org.jacop.search.AFCMaxDeg
 
compare(double, T) - Method in class org.jacop.search.AFCMin
 
compare(T, T) - Method in class org.jacop.search.AFCMin
 
compare(double, T) - Method in class org.jacop.search.AFCMinDeg
 
compare(T, T) - Method in class org.jacop.search.AFCMinDeg
 
compare(double, T) - Method in interface org.jacop.search.ComparatorVariable
It compares the baseline metric to the variable metric.
compare(T, T) - Method in interface org.jacop.search.ComparatorVariable
It compares the metric of the left variable against the right one.
compare(double, T) - Method in class org.jacop.search.LargestDomain
 
compare(T, T) - Method in class org.jacop.search.LargestDomain
 
compare(double, T) - Method in class org.jacop.search.LargestMax
 
compare(T, T) - Method in class org.jacop.search.LargestMax
 
compare(double, T) - Method in class org.jacop.search.LargestMin
 
compare(T, T) - Method in class org.jacop.search.LargestMin
 
compare(double, T) - Method in class org.jacop.search.MaxRegret
 
compare(T, T) - Method in class org.jacop.search.MaxRegret
 
compare(double, T) - Method in class org.jacop.search.MinDomainOverDegree
 
compare(T, T) - Method in class org.jacop.search.MinDomainOverDegree
 
compare(double, T) - Method in class org.jacop.search.MostConstrainedDynamic
 
compare(T, T) - Method in class org.jacop.search.MostConstrainedDynamic
 
compare(double, T) - Method in class org.jacop.search.MostConstrainedStatic
 
compare(T, T) - Method in class org.jacop.search.MostConstrainedStatic
 
compare(double, T) - Method in class org.jacop.search.RandomVar
 
compare(T, T) - Method in class org.jacop.search.RandomVar
 
compare(double, T) - Method in class org.jacop.search.SmallestDomain
 
compare(T, T) - Method in class org.jacop.search.SmallestDomain
 
compare(double, T) - Method in class org.jacop.search.SmallestMax
 
compare(T, T) - Method in class org.jacop.search.SmallestMax
 
compare(double, T) - Method in class org.jacop.search.SmallestMin
 
compare(T, T) - Method in class org.jacop.search.SmallestMin
 
compare(double, T) - Method in class org.jacop.search.WeightedDegree
 
compare(T, T) - Method in class org.jacop.search.WeightedDegree
 
compare(double, T) - Method in class org.jacop.set.search.MaxCardDiff
Compares the cardinality difference of the variable to the float value.
compare(T, T) - Method in class org.jacop.set.search.MaxCardDiff
Compares the cardinality difference of the variables.
compare(double, T) - Method in class org.jacop.set.search.MaxGlbCard
Compares the cardinality of the variables glb to the float value.
compare(T, T) - Method in class org.jacop.set.search.MaxGlbCard
Compares the cardinality of the variables glbs.
compare(double, T) - Method in class org.jacop.set.search.MaxLubCard
Compares the cardinality of the variables lub to the float value.
compare(T, T) - Method in class org.jacop.set.search.MaxLubCard
Compares the cardinality of the variables lubs.
compare(double, T) - Method in class org.jacop.set.search.MinCardDiff
Compares the cardinality difference of the variable to the float value.
compare(T, T) - Method in class org.jacop.set.search.MinCardDiff
Compares the cardinality difference of the variables.
compare(double, T) - Method in class org.jacop.set.search.MinGlbCard
Compares the cardinality of the variables glb to the float value.
compare(T, T) - Method in class org.jacop.set.search.MinGlbCard
Compares the cardinality of the variables glbs.
compare(double, T) - Method in class org.jacop.set.search.MinLubCard
Compares the cardinality of the variables lub to the float value.
compare(T, T) - Method in class org.jacop.set.search.MinLubCard
Compares the cardinality of the variables lubs.
compareTo(KnapsackItem) - Method in class org.jacop.constraints.knapsack.KnapsackItem
Method used in the sorting of the items, we use profit and weight to know the less efficient item without using division.
compareTo(ArcCompanion) - Method in class org.jacop.constraints.netflow.ArcCompanion
 
complement() - Method in class org.jacop.core.IntDomain
It creates a complement of a domain.
complement() - Method in class org.jacop.core.IntervalDomain
It creates a complement of a domain.
complement() - Method in class org.jacop.core.SmallDenseDomain
 
complement() - Method in class org.jacop.floats.core.FloatDomain
It creates a complement of a domain.
complement() - Method in class org.jacop.floats.core.FloatIntervalDomain
It creates a complement of a domain.
complement() - Method in class org.jacop.set.core.BoundSetDomain
It creates a complement of a domain.
complementarySearch() - Method in class org.jacop.fz.Options
It defines wheter additional search should use output variables only (false, default).
components() - Method in class org.jacop.constraints.geost.Shape
It returns the dboxes defining the shape.
computeIntrusionWeight(int, int, int, double, double) - Method in class org.jacop.constraints.knapsack.Tree
It returns the amount of weight of a given item being checked which can be replaced by Right items given the amount of profitSlack.
computeMinProfit(int) - Method in class org.jacop.constraints.knapsack.Tree
It computes the minimum of capacity variable for knapsack constraint given the minimum requirement for profit.
computeMinWeight(int) - Method in class org.jacop.constraints.knapsack.Tree
It computes the minimum of capacity variable for knapsack constraint given the minimum requirement for profit.
computeReplacableWeight(int, int, int, double, double) - Method in class org.jacop.constraints.knapsack.Tree
It returns the amount of weight of a given item being checked which can be replaced by Right items given the amount of profitSlack.
concatenation(FSM) - Method in class org.jacop.util.fsm.FSM
It does concatenation of two FSM.
Concatenation - Static variable in class org.jacop.util.fsm.RegularExpressionParser
The constant denoting concatenation expression.
condC - Variable in class org.jacop.constraints.IfThen
It specifies constraint condC in the IfThen constraint.
condC - Variable in class org.jacop.constraints.IfThenElse
It specifies constraint condC in the IfThenElse constraint.
Conditional - Class in org.jacop.constraints
Conditional constraint implements conditional constraint satisfiability.
Conditional(IntVar[], PrimitiveConstraint[]) - Constructor for class org.jacop.constraints.Conditional
It constructs a Conditional constraint.
Conditional(List<? extends IntVar>, List<? extends PrimitiveConstraint>) - Constructor for class org.jacop.constraints.Conditional
It constructs a Conditional constraint.
Conference - Class in org.jacop.examples.fd
It solves a simple conference session placement problem.
Conference() - Constructor for class org.jacop.examples.fd.Conference
 
ConferenceTalkPlacement - Class in org.jacop.examples.fd
It solves a simple conference talk placement problem.
ConferenceTalkPlacement() - Constructor for class org.jacop.examples.fd.ConferenceTalkPlacement
 
Config - Class in org.jacop.jasat.core
The configuration for a solver.
Config() - Constructor for class org.jacop.jasat.core.Config
constructor for config, that adds some default components.
config - Variable in class org.jacop.jasat.core.Core
 
CONFLICT - Static variable in class org.jacop.jasat.core.SolverState
 
ConflictLearning - Class in org.jacop.jasat.core
A solver component for conflict learning.
ConflictLearning() - Constructor for class org.jacop.jasat.core.ConflictLearning
 
conflictLearning - Variable in class org.jacop.jasat.core.Core
 
ConflictListener - Interface in org.jacop.jasat.modules.interfaces
module that listens to conflicts that are discovered.
conflictModules - Variable in class org.jacop.jasat.core.Core
 
consistency(Store) - Method in class org.jacop.constraints.AbsXeqY
 
consistency(Store) - Method in class org.jacop.constraints.Alldiff
 
consistency(Store) - Method in class org.jacop.constraints.Alldifferent
 
consistency(Store) - Method in class org.jacop.constraints.Alldistinct
 
consistency(Store) - Method in class org.jacop.constraints.Among
 
consistency(Store) - Method in class org.jacop.constraints.AmongVar
 
consistency(Store) - Method in class org.jacop.constraints.And
 
consistency(Store) - Method in class org.jacop.constraints.AndBoolSimple
 
consistency(Store) - Method in class org.jacop.constraints.AndBoolVector
 
consistency(Store) - Method in class org.jacop.constraints.ArgMax
 
consistency(Store) - Method in class org.jacop.constraints.ArgMin
 
consistency(Store) - Method in class org.jacop.constraints.Assignment
 
consistency(Store) - Method in class org.jacop.constraints.AtLeast
 
consistency(Store) - Method in class org.jacop.constraints.AtMost
 
consistency(Store) - Method in class org.jacop.constraints.binpacking.Binpacking
 
consistency(Store) - Method in class org.jacop.constraints.BoolClause
computes consistency for x_0 \/ ...
consistency(Store) - Method in class org.jacop.constraints.ChannelImply
 
consistency(Store) - Method in class org.jacop.constraints.ChannelReif
 
consistency(Store) - Method in class org.jacop.constraints.Circuit
 
consistency(Store) - Method in class org.jacop.constraints.Conditional
 
consistency(Store) - Method in class org.jacop.constraints.Constraint
It is a (most probably incomplete) consistency function which removes the values from variables domains.
consistency(Store) - Method in class org.jacop.constraints.Count
 
consistency(Store) - Method in class org.jacop.constraints.CountBounds
 
consistency(Store) - Method in class org.jacop.constraints.CountValues
 
consistency(Store) - Method in class org.jacop.constraints.CountValuesBounds
 
consistency(Store) - Method in class org.jacop.constraints.CountVar
 
consistency(Store) - Method in class org.jacop.constraints.Cumulative
 
consistency(Store) - Method in class org.jacop.constraints.cumulative.Cumulative
 
consistency(Store) - Method in class org.jacop.constraints.cumulative.CumulativeBasic
 
consistency(Store) - Method in class org.jacop.constraints.cumulative.CumulativeUnary
 
consistency(Store) - Method in class org.jacop.constraints.Diff
 
consistency(Store) - Method in class org.jacop.constraints.diffn.Diffn
 
consistency(Store) - Method in class org.jacop.constraints.diffn.Nooverlap
 
consistency(Store) - Method in class org.jacop.constraints.Distance
 
consistency(Store) - Method in class org.jacop.constraints.Element
 
consistency(Store) - Method in class org.jacop.constraints.ElementInteger
 
consistency(Store) - Method in class org.jacop.constraints.ElementIntegerFast
 
consistency(Store) - Method in class org.jacop.constraints.ElementVariable
 
consistency(Store) - Method in class org.jacop.constraints.ElementVariableFast
 
consistency(Store) - Method in class org.jacop.constraints.Eq
 
consistency(Store) - Method in class org.jacop.constraints.EqBool
 
consistency(Store) - Method in class org.jacop.constraints.ExtensionalConflictVA
 
consistency(Store) - Method in class org.jacop.constraints.ExtensionalSupportMDD
 
consistency(Store) - Method in class org.jacop.constraints.ExtensionalSupportSTR
 
consistency(Store) - Method in class org.jacop.constraints.ExtensionalSupportVA
 
consistency(Store) - Method in class org.jacop.constraints.GCC
 
consistency(Store) - Method in class org.jacop.constraints.geost.Geost
 
consistency(Store) - Method in class org.jacop.constraints.IfThen
 
consistency(Store) - Method in class org.jacop.constraints.IfThenBool
 
consistency(Store) - Method in class org.jacop.constraints.IfThenElse
 
consistency(Store) - Method in class org.jacop.constraints.Implies
 
consistency(Store) - Method in class org.jacop.constraints.In
 
consistency(Store) - Method in class org.jacop.constraints.Increasing
 
consistency(Store) - Method in class org.jacop.constraints.knapsack.Knapsack
 
consistency(Store) - Method in class org.jacop.constraints.LexOrder
 
consistency(Store) - Method in class org.jacop.constraints.Linear
Deprecated.
 
consistency(Store) - Method in class org.jacop.constraints.LinearInt
 
consistency(Store) - Method in class org.jacop.constraints.LinearIntDom
 
consistency(Store) - Method in class org.jacop.constraints.Max
 
consistency(Store) - Method in class org.jacop.constraints.MaxSimple
 
consistency(Store) - Method in class org.jacop.constraints.Member
 
consistency(Store) - Method in class org.jacop.constraints.Min
 
consistency(Store) - Method in class org.jacop.constraints.MinSimple
 
consistency(Store) - Method in class org.jacop.constraints.netflow.NetworkFlow
 
consistency(Store) - Method in class org.jacop.constraints.NoGood
 
consistency(Store) - Method in class org.jacop.constraints.Not
 
consistency(Store) - Method in class org.jacop.constraints.Or
 
consistency(Store) - Method in class org.jacop.constraints.OrBoolSimple
 
consistency(Store) - Method in class org.jacop.constraints.OrBoolVector
 
consistency(Store) - Method in class org.jacop.constraints.regular.Regular
 
consistency(Store) - Method in class org.jacop.constraints.Reified
 
consistency(Store) - Method in class org.jacop.constraints.Subcircuit
 
consistency(Store) - Method in class org.jacop.constraints.Sum
 
consistency(Store) - Method in class org.jacop.constraints.SumBool
 
consistency(Store) - Method in class org.jacop.constraints.SumInt
 
consistency(Store) - Method in class org.jacop.constraints.SumWeight
 
consistency(Store) - Method in class org.jacop.constraints.SumWeightDom
Deprecated.
 
consistency(Store) - Method in class org.jacop.constraints.table.SimpleTable
 
consistency(Store) - Method in class org.jacop.constraints.table.Table
 
consistency(Store) - Method in class org.jacop.constraints.ValuePrecede
 
consistency(Store) - Method in class org.jacop.constraints.Values
 
consistency(Store) - Method in class org.jacop.constraints.VariableTrace
 
consistency(Store) - Method in class org.jacop.constraints.XdivYeqZ
 
consistency(Store) - Method in class org.jacop.constraints.XeqC
 
consistency(Store) - Method in class org.jacop.constraints.XeqY
 
consistency(Store) - Method in class org.jacop.constraints.XexpYeqZ
 
consistency(Store) - Method in class org.jacop.constraints.XgtC
 
consistency(Store) - Method in class org.jacop.constraints.XgteqC
 
consistency(Store) - Method in class org.jacop.constraints.XgteqY
 
consistency(Store) - Method in class org.jacop.constraints.XgtY
 
consistency(Store) - Method in class org.jacop.constraints.XltC
 
consistency(Store) - Method in class org.jacop.constraints.XlteqC
 
consistency(Store) - Method in class org.jacop.constraints.XlteqY
 
consistency(Store) - Method in class org.jacop.constraints.XltY
 
consistency(Store) - Method in class org.jacop.constraints.XmodYeqZ
 
consistency(Store) - Method in class org.jacop.constraints.XmulCeqZ
 
consistency(Store) - Method in class org.jacop.constraints.XmulYeqC
 
consistency(Store) - Method in class org.jacop.constraints.XmulYeqZ
 
consistency(Store) - Method in class org.jacop.constraints.XneqC
 
consistency(Store) - Method in class org.jacop.constraints.XneqY
 
consistency(Store) - Method in class org.jacop.constraints.Xor
 
consistency(Store) - Method in class org.jacop.constraints.XorBool
 
consistency(Store) - Method in class org.jacop.constraints.XplusCeqZ
 
consistency(Store) - Method in class org.jacop.constraints.XplusClteqZ
 
consistency(Store) - Method in class org.jacop.constraints.XplusYeqC
 
consistency(Store) - Method in class org.jacop.constraints.XplusYeqZ
 
consistency(Store) - Method in class org.jacop.constraints.XplusYgtC
 
consistency(Store) - Method in class org.jacop.constraints.XplusYlteqZ
 
consistency() - Method in class org.jacop.core.Store
This function computes the consistency function.
consistency(Store) - Method in class org.jacop.floats.constraints.AbsPeqR
 
consistency(Store) - Method in class org.jacop.floats.constraints.CosPeqR
 
consistency(Store) - Method in class org.jacop.floats.constraints.ElementFloat
 
consistency(Store) - Method in class org.jacop.floats.constraints.ElementFloatVariable
 
consistency(Store) - Method in class org.jacop.floats.constraints.EquationSystem
 
consistency(Store) - Method in class org.jacop.floats.constraints.ExpPeqR
 
consistency(Store) - Method in class org.jacop.floats.constraints.linear.Linear
 
consistency(Store) - Method in class org.jacop.floats.constraints.Max
 
consistency(Store) - Method in class org.jacop.floats.constraints.Min
 
consistency(Store) - Method in class org.jacop.floats.constraints.PeqC
 
consistency(Store) - Method in class org.jacop.floats.constraints.PeqQ
 
consistency(Store) - Method in class org.jacop.floats.constraints.PgtC
 
consistency(Store) - Method in class org.jacop.floats.constraints.PgteqC
 
consistency(Store) - Method in class org.jacop.floats.constraints.PgteqQ
 
consistency(Store) - Method in class org.jacop.floats.constraints.PgtQ
 
consistency(Store) - Method in class org.jacop.floats.constraints.PltC
 
consistency(Store) - Method in class org.jacop.floats.constraints.PlteqC
 
consistency(Store) - Method in class org.jacop.floats.constraints.PlteqQ
 
consistency(Store) - Method in class org.jacop.floats.constraints.PltQ
 
consistency(Store) - Method in class org.jacop.floats.constraints.PmulCeqR
 
consistency(Store) - Method in class org.jacop.floats.constraints.PmulQeqR
 
consistency(Store) - Method in class org.jacop.floats.constraints.PneqC
 
consistency(Store) - Method in class org.jacop.floats.constraints.PneqQ
 
consistency(Store) - Method in class org.jacop.floats.constraints.PplusCeqR
 
consistency(Store) - Method in class org.jacop.floats.constraints.PplusQeqR
 
consistency(Store) - Method in class org.jacop.floats.constraints.SinPeqR
 
consistency(Store) - Method in class org.jacop.floats.constraints.SqrtPeqR
 
consistency(Store) - Method in class org.jacop.floats.constraints.TanPeqR
 
consistency(Store) - Method in class org.jacop.floats.constraints.XeqP
 
consistency(Store) - Method in class org.jacop.satwrapper.SatWrapper
The point where all operations are effectively done in the SAT solver, until no operation remains or a conflict occurs
consistency(Store) - Method in class org.jacop.set.constraints.AdiffBeqC
 
consistency(Store) - Method in class org.jacop.set.constraints.AdisjointB
 
consistency(Store) - Method in class org.jacop.set.constraints.AeqB
 
consistency(Store) - Method in class org.jacop.set.constraints.AeqS
 
consistency(Store) - Method in class org.jacop.set.constraints.AinB
 
consistency(Store) - Method in class org.jacop.set.constraints.AinS
 
consistency(Store) - Method in class org.jacop.set.constraints.AintersectBeqC
 
consistency(Store) - Method in class org.jacop.set.constraints.AleB
 
consistency(Store) - Method in class org.jacop.set.constraints.AltB
 
consistency(Store) - Method in class org.jacop.set.constraints.AunionBeqC
 
consistency(Store) - Method in class org.jacop.set.constraints.CardA
 
consistency(Store) - Method in class org.jacop.set.constraints.CardAeqX
 
consistency(Store) - Method in class org.jacop.set.constraints.EinA
 
consistency(Store) - Method in class org.jacop.set.constraints.ElementSet
 
consistency(Store) - Method in class org.jacop.set.constraints.ElementSetVariable
 
consistency(Store) - Method in class org.jacop.set.constraints.Lex
Deprecated.
 
consistency(Store) - Method in class org.jacop.set.constraints.Match
 
consistency(Store) - Method in class org.jacop.set.constraints.SinA
 
consistency(Store) - Method in class org.jacop.set.constraints.SumWeightedSet
 
consistency(Store) - Method in class org.jacop.set.constraints.XeqA
 
consistency(Store) - Method in class org.jacop.set.constraints.XinA
 
consistencyCalls - Variable in class org.jacop.constraints.netflow.StatisticsBase
 
consistencyChecks - Variable in class org.jacop.constraints.Alldistinct
It counts the number of executions of the consistency function.
consistencyDurationGtZero(Store) - Method in class org.jacop.constraints.geost.GeostObject.TimeBoundConstraint
It applies constraint enforcing that duration > 0
consistencyForX(Store) - Method in class org.jacop.constraints.AmongVar
Is called when all y are grounded and amongForSet is equivalent to simple version of Among.
consistencyForY(Store) - Method in class org.jacop.constraints.AmongVar
It is a function which makes Y consistent if all X's are grounded.
consistencyIterations - Variable in class org.jacop.constraints.netflow.StatisticsBase
 
ConsistencyListener - Interface in org.jacop.search
Defines an interface of an object which can be plugined into the search right after executing the consistency function (at the beginning of each search node).
consistencyListener - Variable in class org.jacop.search.DepthFirstSearch
It is invoked when consistency function has been executed.
consistencyPruningEvents - Variable in class org.jacop.constraints.Constraint
It specifies the event which must occur in order for the consistency function to be called.
consistencyStartPlusDurationEqEnd(Store) - Method in class org.jacop.constraints.geost.GeostObject.TimeBoundConstraint
It evaluates part of the constraint that ensures that start + duration = end
consistencyWhen_LB0_EQ_UB0(Store) - Method in class org.jacop.constraints.AmongVar
The number of x in lbsDom is equal to the number of X intersecting ubSDom.
ConstantCalculator<T extends Var> - Class in org.jacop.search.restart
Defines functionality for constant calculator for restart search
ConstantCalculator(int) - Constructor for class org.jacop.search.restart.ConstantCalculator
 
Constraint - Class in org.jacop.constraints
 
Constraint() - Constructor for class org.jacop.constraints.Constraint
 
Constraint(Var[]...) - Constructor for class org.jacop.constraints.Constraint
 
Constraint(Stream<Var>) - Constructor for class org.jacop.constraints.Constraint
 
Constraint(PrimitiveConstraint[]) - Constructor for class org.jacop.constraints.Constraint
 
Constraint(Set<? extends Var>) - Constructor for class org.jacop.constraints.Constraint
 
CONSTRAINT - Static variable in interface org.jacop.fz.ParserConstants
RegularExpression Id.
ConstraintFncs - Class in org.jacop.fz.constraints
 
ConstraintFncs(Support) - Constructor for class org.jacop.fz.constraints.ConstraintFncs
 
constraintPriority - Variable in class org.jacop.fz.constraints.Support
 
constraints - Variable in class org.jacop.constraints.diffn.Diffn
 
constraints - Variable in class org.jacop.constraints.diffn.DiffnDecomposed
 
constraints - Variable in class org.jacop.constraints.geost.InArea
It holds all the constraints which have been generated from this external constraints.
constraints - Variable in class org.jacop.constraints.Increasing
 
constraints() - Method in class org.jacop.core.Domain
It returns all the constraints attached currently to the domain.
Constraints - Class in org.jacop.fz
The part of the parser responsible for parsing constraints.
Constraints(Store, Tables) - Constructor for class org.jacop.fz.Constraints
It creates an object to parse the constraint part of the flatzinc file.
constraintScope - Variable in class org.jacop.constraints.Constraint
 
contains(IntDomain) - Method in class org.jacop.core.IntDomain
It specifies if the current domain contains the domain given as a parameter.
contains(int, int) - Method in class org.jacop.core.IntDomain
It checks if an interval min..max belongs to the domain.
contains(int) - Method in class org.jacop.core.IntDomain
It checks if value belongs to the domain.
contains(IntDomain) - Method in class org.jacop.core.IntervalDomain
It specifies if the current domain contains the domain given as a parameter.
contains(int) - Method in class org.jacop.core.IntervalDomain
It checks if value belongs to the domain.
contains(int, int) - Method in class org.jacop.core.IntervalDomain
 
contains(IntDomain) - Method in class org.jacop.core.SmallDenseDomain
 
contains(int) - Method in class org.jacop.core.SmallDenseDomain
 
contains(int, int) - Method in class org.jacop.core.SmallDenseDomain
 
contains(FloatDomain) - Method in class org.jacop.floats.core.FloatDomain
It specifies if the current domain contains the domain given as a parameter.
contains(double, double) - Method in class org.jacop.floats.core.FloatDomain
It checks if an interval min..max belongs to the domain.
contains(int) - Method in class org.jacop.floats.core.FloatDomain
It checks if value belongs to the domain.
contains(double) - Method in class org.jacop.floats.core.FloatDomain
 
contains(FloatDomain) - Method in class org.jacop.floats.core.FloatIntervalDomain
It specifies if the current domain contains the domain given as a parameter.
contains(int) - Method in class org.jacop.floats.core.FloatIntervalDomain
It checks if value belongs to the domain.
contains(double) - Method in class org.jacop.floats.core.FloatIntervalDomain
 
contains(double, double) - Method in class org.jacop.floats.core.FloatIntervalDomain
 
contains(int) - Method in class org.jacop.jasat.utils.structures.IntTrie
does the Trie contains i ?
contains(IntDomain) - Method in class org.jacop.set.core.BoundSetDomain
It checks if the supplied set or setDomain is a subset of this domain.
contains(SetDomain) - Method in class org.jacop.set.core.BoundSetDomain
 
contains(int) - Method in class org.jacop.set.core.BoundSetDomain
It checks if value belongs to the domain.
contains(IntDomain) - Method in class org.jacop.set.core.SetDomain
It checks if the supplied set or setDomain is still potentially a subset of this domain.
contains(SetDomain) - Method in class org.jacop.set.core.SetDomain
It checks if the supplied set domain is a subset of this domain.
contains(int) - Method in class org.jacop.set.core.SetDomain
It checks if value belongs to the domain of the set.
contains(int) - Method in class org.jacop.util.IndexDomainView
It checks if the value of a given index is still in the domain.
contains(Object) - Method in class org.jacop.util.SimpleArrayList
Returns true if this list contains the specified element.
contains(E) - Method in class org.jacop.util.SimpleHashSet
Returns the boolean value which specifies if given element is already in this identity hash set.
containsKey(int) - Method in class org.jacop.jasat.utils.structures.IntHashMap
check if the key is in the table
containsKey(Object) - Method in class org.jacop.jasat.utils.structures.IntHashMap
 
containsKey(int) - Method in class org.jacop.jasat.utils.structures.IntMap
predicate to check if the key is associated to any value
containsLiteral(int) - Method in class org.jacop.jasat.core.clauses.MapClause
Predicate which is true iff the literal is present.
containsPoint(int[]) - Method in class org.jacop.constraints.geost.DBox
It checks if this DBox contains the point as specified by an array of coordinates.
containsPoint(int[]) - Method in class org.jacop.constraints.geost.Shape
It checks whether a given point lies within any of the shapes boxes.
containsVariable(int) - Method in class org.jacop.jasat.core.clauses.MapClause
Predicate which is true iff the variable or its opposite is present
coords - Variable in class org.jacop.constraints.geost.GeostObject
It specifies the coordinates in k-dimensional space at which the object is fixed.
copyInto(DBox) - Method in class org.jacop.constraints.geost.DBox
It copies this DBox into given DBox.
core - Variable in class org.jacop.jasat.core.clauses.AbstractClausesDatabase
 
core - Variable in class org.jacop.jasat.core.clauses.DatabasesStore
 
Core - Class in org.jacop.jasat.core
The main solver structure, to be used either by a search component or by another program that uses it for conflict learning and detection.
Core(Config) - Constructor for class org.jacop.jasat.core.Core
creates the solver, which in turn creates all inner components and connect them together.
Core() - Constructor for class org.jacop.jasat.core.Core
initializes the solver with a default configuration.
core - Variable in class org.jacop.jasat.modules.ActivityModule
 
core - Variable in class org.jacop.jasat.modules.SearchModule
 
core - Variable in class org.jacop.satwrapper.SatWrapper
 
CosPeqR - Class in org.jacop.floats.constraints
Constraints cos(P) = R
CosPeqR(FloatVar, FloatVar) - Constructor for class org.jacop.floats.constraints.CosPeqR
It constructs cos(P) = Q constraints.
CosPeqR_decomposed - Class in org.jacop.floats.constraints
Constraints cos(P) = R
CosPeqR_decomposed(FloatVar, FloatVar) - Constructor for class org.jacop.floats.constraints.CosPeqR_decomposed
It constructs cos(P) = Q constraints.
cost(long) - Method in class org.jacop.constraints.netflow.Network
 
cost - Variable in class org.jacop.constraints.netflow.simplex.Arc
The cost of the Arc cost
cost(long) - Method in class org.jacop.constraints.netflow.simplex.NetworkSimplex
 
cost - Variable in class org.jacop.examples.fd.ExampleFD
It specifies the cost function, null if no cost function is used.
cost - Variable in class org.jacop.examples.set.ExampleSet
It specifies the cost function, null if no cost function is used.
cost - Variable in class org.jacop.search.sgmpcs.SGMPCSearch
Cost variable.
CostListener() - Constructor for class org.jacop.fz.Solve.CostListener
 
CostListener() - Constructor for class org.jacop.search.restart.RestartSearch.CostListener
 
CostListener() - Constructor for class org.jacop.search.sgmpcs.SimpleImprovementSearch.CostListener
 
costOffset - Variable in class org.jacop.constraints.netflow.Network
Cost due to deleted arcs
costPosition - Variable in class org.jacop.search.sgmpcs.SGMPCSearch
 
costs - Variable in class org.jacop.examples.fd.muca.MUCA
For each bidder and each xor bid there is an integer representing a cost of the xor bid.
costValue - Variable in class org.jacop.search.DepthFirstSearch
It represents the cost value of currently best solution for IntVar cost.
costValueFloat - Variable in class org.jacop.search.DepthFirstSearch
It represents the cost value of currently best solution for FloatVar cost.
costVar - Variable in class org.jacop.constraints.SoftAlldifferent
 
costVar - Variable in class org.jacop.constraints.SoftGCC
 
costVariable - Variable in class org.jacop.constraints.netflow.NetworkBuilder
 
costVariable - Variable in class org.jacop.constraints.netflow.NetworkFlow
The cost variable
costVariable - Variable in class org.jacop.search.DepthFirstSearch
It represents the cost variable.
Count - Class in org.jacop.constraints
Count constraint implements the counting over number of occurrences of a given value in a list of variables.
Count(IntVar[], IntVar, int) - Constructor for class org.jacop.constraints.Count
It constructs a Count constraint.
Count(List<? extends IntVar>, IntVar, int) - Constructor for class org.jacop.constraints.Count
It constructs a Count constraint.
count - Variable in class org.jacop.constraints.Values
It specifies the idNumber of different values among variables on a given list.
count_eq_imp(SimpleNode) - Method in class org.jacop.fz.constraints.ConstraintFncs
 
CountBounds - Class in org.jacop.constraints
CountBounds constraint implements the counting over number of occurrences of a given value in a list of variables.
CountBounds(IntVar[], int, int, int) - Constructor for class org.jacop.constraints.CountBounds
It constructs a CountBounds constraint.
CountBounds(List<? extends IntVar>, int, int, int) - Constructor for class org.jacop.constraints.CountBounds
It constructs a CountBounds constraint.
countConstraint() - Method in class org.jacop.core.Store
This function is called when a counter of constraints should be increased.
countConstraint(int) - Method in class org.jacop.core.Store
This function is called when a counter of constraints should be increased by given value.
countedValue - Variable in class org.jacop.constraints.SoftGCC
 
counter - Variable in class org.jacop.constraints.AtLeast
 
counter - Variable in class org.jacop.constraints.AtMost
 
counter - Variable in class org.jacop.constraints.Count
It specifies variable idNumber to count the number of occurences of the specified value in a list.
counter - Variable in class org.jacop.constraints.CountValues
 
counter - Variable in class org.jacop.constraints.CountValuesBounds
It counts the number of occurences of the specified value in a list.
counter - Variable in class org.jacop.constraints.CountVar
 
counterRest - Variable in class org.jacop.constraints.CountValues
 
counterRest - Variable in class org.jacop.constraints.CountValuesBounds
 
counters - Variable in class org.jacop.constraints.GCC
It species variables counters for counting occurences of each possible value from the intial domain of x variables.
CountValues - Class in org.jacop.constraints
 
CountValues(IntVar[], IntVar[], int[]) - Constructor for class org.jacop.constraints.CountValues
It constructs a CountValues constraint.
CountValues(List<? extends IntVar>, IntVar[], int[]) - Constructor for class org.jacop.constraints.CountValues
It constructs a CountValues constraint.
CountValuesBounds - Class in org.jacop.constraints
CountValuesBounds constraint implements the counting over numbers of occurrences of a given vector of values in a list of variables.
CountValuesBounds(IntVar[], int[], int[], int[]) - Constructor for class org.jacop.constraints.CountValuesBounds
It constructs a CountValuesBounds constraint.
CountValuesBounds(List<? extends IntVar>, int[], int[], int[]) - Constructor for class org.jacop.constraints.CountValuesBounds
It constructs a CountValuesBounds constraint.
CountVar - Class in org.jacop.constraints
 
CountVar(IntVar[], IntVar, IntVar) - Constructor for class org.jacop.constraints.CountVar
It constructs a CountVar constraint.
CountVar(List<? extends IntVar>, IntVar, IntVar) - Constructor for class org.jacop.constraints.CountVar
It constructs a CountVar constraint.
countWatches() - Method in class org.jacop.core.Store
It returns number of watches which are used to watch constraints.
cpToSatLevels - Variable in class org.jacop.satwrapper.SatWrapper
 
cpValueToBoolVar(int, boolean) - Method in class org.jacop.satwrapper.translation.LazyCpVarDomain
Deprecated.
 
cpValueToBoolVar(int, boolean) - Method in class org.jacop.satwrapper.translation.SatCPBridge
return the literal that represents the assertion 'var = value'.
cpValueToBoolVar(int, boolean) - Method in class org.jacop.satwrapper.translation.SimpleCpVarDomain
 
cpVarToBoolVar(IntVar, int, boolean) - Method in class org.jacop.satwrapper.SatWrapper
given a CP variable and a value, retrieve the associated boolean literal for either 'variable = value' or either 'variable <= value'
CPvizGardner - Class in org.jacop.examples.cpviz
It shows how to visualize solving process for Gardner problem.
CPvizNetworkFlow - Class in org.jacop.examples.cpviz
The class Run is used to run test programs for JaCoP package.
CPvizNetworkFlow.NetListener<T extends Var> - Class in org.jacop.examples.cpviz
 
CPvizNewspaper - Class in org.jacop.examples.cpviz
It is a simple newspaper reading job-shop like scheduling problem.
CPvizNewspaper() - Constructor for class org.jacop.examples.cpviz.CPvizNewspaper
 
CPvizSendMoreMoney - Class in org.jacop.examples.cpviz
It shows how to visualize solving process for SendMoreMoney problem.
CPvizSendMoreMoney() - Constructor for class org.jacop.examples.cpviz.CPvizSendMoreMoney
 
CPvizSudoku - Class in org.jacop.examples.cpviz
It shows how to visualize the solving process for Sudoku problem.
CPvizSudoku() - Constructor for class org.jacop.examples.cpviz.CPvizSudoku
 
createAutomaton(int[]) - Method in class org.jacop.examples.fd.nonogram.Nonogram
It produces and FSM given a sequence representing a rule.
createEmptyPositioning() - Static method in class org.jacop.core.Var
 
createFSM(int, IntervalDomain, IntervalDomain) - Static method in class org.jacop.examples.fd.carsequencing.CarSequencing
 
CreditCalculator<T extends Var> - Class in org.jacop.search
Defines functionality of credit search.
CreditCalculator(int, int, int) - Constructor for class org.jacop.search.CreditCalculator
The constructor allows to specify number of credits.
CreditCalculator(int, int) - Constructor for class org.jacop.search.CreditCalculator
The constructor allows to specify number of credits.
creditSearch(int, int, int) - Method in class org.jacop.examples.fd.ExampleFD
It uses credit search to solve a problem.
criticalLeaf - Variable in class org.jacop.constraints.knapsack.Tree
It specifies the leaf containing the critical item.
criticalLeftLeaf - Variable in class org.jacop.constraints.knapsack.Tree
It specifies the leaf containing the left most item which is being used during computeForbidden().
criticalRightLeaf - Variable in class org.jacop.constraints.knapsack.Tree
It specifies the leaf containing the last right item which is being used during computeMandatory().
CrossWord - Class in org.jacop.examples.fd.crosswords
It is an example of the power of ExtensionalSupportMDD constraint which can be used to efficiently model and solve CrossWord puzzles.
CrossWord() - Constructor for class org.jacop.examples.fd.crosswords.CrossWord
 
CrossWord.PrintListener<T extends Var> - Class in org.jacop.examples.fd.crosswords
It is a simple print listener to print every tenth solution encountered.
Cryptogram - Class in org.jacop.examples.fd
Cryptogram.
Cryptogram() - Constructor for class org.jacop.examples.fd.Cryptogram
 
Cumulative - Class in org.jacop.constraints
Cumulative implements the cumulative/4 constraint using edge-finding algorithm and profile information on the resource use.
Cumulative(IntVar[], IntVar[], IntVar[], IntVar, boolean, boolean) - Constructor for class org.jacop.constraints.Cumulative
It creates a cumulative constraint.
Cumulative(IntVar[], IntVar[], IntVar[], IntVar, boolean, boolean, boolean) - Constructor for class org.jacop.constraints.Cumulative
It creates a cumulative constraint.
Cumulative(List<? extends IntVar>, List<? extends IntVar>, List<? extends IntVar>, IntVar) - Constructor for class org.jacop.constraints.Cumulative
It creates a cumulative constraint.
Cumulative(List<? extends IntVar>, List<? extends IntVar>, List<? extends IntVar>, IntVar, boolean) - Constructor for class org.jacop.constraints.Cumulative
It creates a cumulative constraint.
Cumulative(List<? extends IntVar>, List<? extends IntVar>, List<? extends IntVar>, IntVar, boolean, boolean) - Constructor for class org.jacop.constraints.Cumulative
It creates a cumulative constraint.
Cumulative(IntVar[], IntVar[], IntVar[], IntVar) - Constructor for class org.jacop.constraints.Cumulative
It creates a cumulative constraint.
Cumulative(IntVar[], IntVar[], IntVar[], IntVar, boolean) - Constructor for class org.jacop.constraints.Cumulative
It creates a cumulative constraint.
Cumulative - Class in org.jacop.constraints.cumulative
 
Cumulative(IntVar[], IntVar[], IntVar[], IntVar) - Constructor for class org.jacop.constraints.cumulative.Cumulative
It creates a cumulative constraint.
Cumulative(List<? extends IntVar>, List<? extends IntVar>, List<? extends IntVar>, IntVar) - Constructor for class org.jacop.constraints.cumulative.Cumulative
It creates a cumulative constraint.
CumulativeBasic - Class in org.jacop.constraints.cumulative
 
CumulativeBasic(IntVar[], IntVar[], IntVar[], IntVar) - Constructor for class org.jacop.constraints.cumulative.CumulativeBasic
It creates a cumulative constraint.
CumulativeBasic(List<? extends IntVar>, List<? extends IntVar>, List<? extends IntVar>, IntVar) - Constructor for class org.jacop.constraints.cumulative.CumulativeBasic
It creates a cumulative constraint.
CumulativeUnary - Class in org.jacop.constraints.cumulative
 
CumulativeUnary(IntVar[], IntVar[], IntVar[], IntVar) - Constructor for class org.jacop.constraints.cumulative.CumulativeUnary
It creates a cumulative constraint.
CumulativeUnary(IntVar[], IntVar[], IntVar[], IntVar, boolean) - Constructor for class org.jacop.constraints.cumulative.CumulativeUnary
It creates a cumulative constraint.
CumulativeUnary(IntVar[], IntVar[], IntVar[], IntVar, boolean, boolean) - Constructor for class org.jacop.constraints.cumulative.CumulativeUnary
It creates a cumulative constraint.
CumulativeUnary(List<? extends IntVar>, List<? extends IntVar>, List<? extends IntVar>, IntVar) - Constructor for class org.jacop.constraints.cumulative.CumulativeUnary
It creates a cumulative constraint.
CumulativeUnary(List<? extends IntVar>, List<? extends IntVar>, List<? extends IntVar>, IntVar, boolean) - Constructor for class org.jacop.constraints.cumulative.CumulativeUnary
It creates a cumulative constraint.
currentBest - Variable in class org.jacop.examples.fd.NonTransitiveDice
It specifies the currently best solution which is a bound for the next solution.
currentChildSearch - Variable in class org.jacop.search.DepthFirstSearch
It remembers what child search has been already examined.
currentConstraint - Variable in class org.jacop.core.Store
It stores constraint which is currently re-evaluated.
currentIndex - Variable in class org.jacop.jasat.core.clauses.DatabasesStore
 
currentIndex - Variable in class org.jacop.jasat.utils.structures.IntStack
 
currentLevel - Variable in class org.jacop.constraints.knapsack.Knapsack
It specifies the current level of the constraint store at which the consistency function of this constraint is being executed.
currentLevel - Variable in class org.jacop.core.SimpleBacktrackableManager
It specifies the current level which is active in the manager.
currentLevel - Variable in class org.jacop.jasat.core.Core
 
currentLevelMax - Variable in class org.jacop.core.SimpleBacktrackableManager
It specifies if for the current level we have reached the cutoff value.
currentQueue - Variable in class org.jacop.core.Store
It stores current queue, which is being evaluated.
currentState - Variable in class org.jacop.jasat.core.Core
 
CurveFitting - Class in org.jacop.examples.floats
 
CurveFitting() - Constructor for class org.jacop.examples.floats.CurveFitting
 
CustomReport - Class in org.jacop.search.restart
Print-outs all variables defined in the constructor when restart search finds a solution.
CustomReport(Var[]) - Constructor for class org.jacop.search.restart.CustomReport
 
CustomReport() - Constructor for class org.jacop.search.restart.CustomReport
 
Cyclohexane - Class in org.jacop.examples.floats
 
Cyclohexane() - Constructor for class org.jacop.examples.floats.Cyclohexane
 

D

d - Variable in class org.jacop.constraints.Assignment
It specifies a list of variables d.
Danzig - Class in org.jacop.constraints.netflow.simplex
A simple rule that always chooses the arc with maximum violation.
Danzig(NetworkSimplex) - Constructor for class org.jacop.constraints.netflow.simplex.Danzig
 
databaseIndex - Variable in class org.jacop.jasat.core.clauses.AbstractClausesDatabase
 
databases - Variable in class org.jacop.jasat.core.clauses.DatabasesStore
 
DatabasesStore - Class in org.jacop.jasat.core.clauses
This provides a unique interface to several databases.
DatabasesStore() - Constructor for class org.jacop.jasat.core.clauses.DatabasesStore
 
DBox - Class in org.jacop.constraints.geost
 
DBox(int[], int[]) - Constructor for class org.jacop.constraints.geost.DBox
constructs a new Box.
DBox(int) - Constructor for class org.jacop.constraints.geost.DBox
constructs a new Box.
dbStore - Variable in class org.jacop.jasat.core.clauses.AbstractClausesDatabase
 
dbStore - Variable in class org.jacop.jasat.core.Core
 
DCT - Class in org.jacop.examples.fd.filters
It specifies DCT benchmark.
DCT() - Constructor for class org.jacop.examples.fd.filters.DCT
It constructs a DCT filter problem with default delays for
DCT(int, int) - Constructor for class org.jacop.examples.fd.filters.DCT
It constructs a DCT filter with specific delays for addition and multiplication operation.
DeBruijn - Class in org.jacop.examples.fd
A program solving problem of finding de Bruijn sequences.
DeBruijn() - Constructor for class org.jacop.examples.fd.DeBruijn
 
DEBUG - Static variable in class org.jacop.constraints.netflow.simplex.NetworkSimplex
 
debug - Static variable in class org.jacop.core.MutableDomain
It specifies if debugging info should be printed out.
debug - Static variable in class org.jacop.core.Store
It specifies if some debugging information is printed.
debug() - Method in class org.jacop.fz.Options
It defines whether to use debug information print-out.
debug - Variable in class org.jacop.jasat.core.Config
switch for debug mode
debug - Variable in class org.jacop.satwrapper.SatTranslation
 
DEBUG_ALL - Static variable in class org.jacop.constraints.netflow.simplex.NetworkSimplex
 
debugAll - Static variable in class org.jacop.constraints.AmongVar
It turns out printing debugging information.
debugAll - Static variable in class org.jacop.constraints.ExtensionalSupportMDD
It specifies if the debugging information is printed.
debugAll - Static variable in class org.jacop.constraints.knapsack.Knapsack
It specifies if any debugging information should be printed.
debugAll - Static variable in class org.jacop.constraints.regular.Regular
It specifies if debugging information should be printed out.
DebugModule - Class in org.jacop.jasat.modules
module used for debug : it logs every event it is informed of
DebugModule() - Constructor for class org.jacop.jasat.modules.DebugModule
 
decompose(Store) - Method in class org.jacop.constraints.AndBool
 
decompose(Store) - Method in class org.jacop.constraints.AndBoolVector
 
decompose(Store) - Method in class org.jacop.constraints.Constraint
It returns an array list of constraint which are used to decompose this constraint.
decompose(Store) - Method in class org.jacop.constraints.DecomposedConstraint
It returns an array list of constraint which are used to decompose this constraint.
decompose(Store) - Method in class org.jacop.constraints.diffn.Diffn
 
decompose(Store) - Method in class org.jacop.constraints.diffn.DiffnDecomposed
 
decompose(Store) - Method in class org.jacop.constraints.EqBool
 
decompose(Store) - Method in class org.jacop.constraints.Increasing
 
decompose(Store) - Method in class org.jacop.constraints.Lex
 
decompose(Store) - Method in class org.jacop.constraints.netflow.Arithmetic
 
decompose(Store) - Method in class org.jacop.constraints.OrBool
 
decompose(Store) - Method in class org.jacop.constraints.OrBoolVector
 
decompose(Store) - Method in class org.jacop.constraints.regular.Regular
 
decompose(Store) - Method in class org.jacop.constraints.Sequence
 
decompose(Store) - Method in class org.jacop.constraints.SoftAlldifferent
 
decompose(Store) - Method in class org.jacop.constraints.SoftGCC
 
decompose(Store) - Method in class org.jacop.constraints.Stretch
 
decompose(Store) - Method in class org.jacop.floats.constraints.CosPeqR_decomposed
 
decomposeByRegular(Sequence) - Static method in class org.jacop.constraints.Sequence
Preferred and default option of decomposing Sequence constraint.
DecomposedConstraint<T extends Constraint> - Class in org.jacop.constraints
Standard unified interface/abstract class for constraints, which can only be decomposed.
DecomposedConstraint() - Constructor for class org.jacop.constraints.DecomposedConstraint
 
decomposeLE(Store) - Method in class org.jacop.constraints.Lex
 
decomposeLERegular(Store) - Method in class org.jacop.constraints.Lex
 
decomposeLT(Store) - Method in class org.jacop.constraints.Lex
 
decomposeLTRegular(Store) - Method in class org.jacop.constraints.Lex
 
decomposition - Variable in class org.jacop.constraints.SoftAlldifferent
 
decomposition - Variable in class org.jacop.constraints.SoftGCC
 
Decreasing - Class in org.jacop.constraints
Decreasing constraint assures that all variables are in decreasing order.
Decreasing(IntVar[]) - Constructor for class org.jacop.constraints.Decreasing
 
Decreasing(IntVar[], boolean) - Constructor for class org.jacop.constraints.Decreasing
 
Decreasing(List<IntVar>) - Constructor for class org.jacop.constraints.Decreasing
It constructs an decreasing constraint.
Decreasing(List<IntVar>, boolean) - Constructor for class org.jacop.constraints.Decreasing
 
deepClone(Set<FSMState>) - Method in class org.jacop.util.fsm.FSMState
Performing deep clone unless this state has already a state with the same id in the array of states.
deepClone(Set<FSMState>) - Method in class org.jacop.util.fsm.FSMTransition
It performs a clone of a transition with copying the attributes too.
DEFAULT - Static variable in interface org.jacop.fz.ParserConstants
Lexical state.
DefaultClausesDatabase - Class in org.jacop.jasat.core.clauses
A standard database of clauses, implemented in an efficient way such that insertion or removal of clauses works fast.
DefaultClausesDatabase() - Constructor for class org.jacop.jasat.core.clauses.DefaultClausesDatabase
 
defaultConfig() - Static method in class org.jacop.jasat.core.Config
static access to the default config
DefaultSearchVars - Class in org.jacop.fz
The class gathers variables and array variables for default or complementary search.
DefaultSearchVars(Tables) - Constructor for class org.jacop.fz.DefaultSearchVars
It constructs the class for collecting default and complementary search variables.
defineConstraint(FloatVar, Constraint) - Static method in class org.jacop.floats.constraints.Derivative
 
definedVar - Variable in class org.jacop.fz.constraints.Support
 
definingVariables() - Method in class org.jacop.constraints.geost.AllowedArea
 
definingVariables() - Method in class org.jacop.constraints.geost.DomainHoles
 
definingVariables() - Method in class org.jacop.constraints.geost.ForbiddenArea
 
definingVariables() - Method in class org.jacop.constraints.geost.InternalConstraint
It provides a collection, possibly empty, of variables which define this constraint.
definingVariables() - Method in class org.jacop.constraints.geost.ObstacleObjectFrame
 
delays() - Method in class org.jacop.examples.fd.filters.Filter
It returns the array with the delays of all operations.
DELETED_ARC - Static variable in class org.jacop.constraints.netflow.simplex.NetworkSimplex
 
deletedArcs - Variable in class org.jacop.constraints.netflow.Network
List of deleted arcs (contains no duplicates)
deletedSize - Variable in class org.jacop.constraints.netflow.Network
Number of deleted arcs at each level
deltasI - Variable in class org.jacop.examples.fd.muca.MUCA
For each transition and each good it specifies the delta change of that good before the transition takes place.
deltasO - Variable in class org.jacop.examples.fd.muca.MUCA
For each transition and each good it specifies the delta change of that good after the transition takes place.
dense - Variable in class org.jacop.util.SparseSet
Dense array used within SparseSet functionality.
dependencies - Variable in class org.jacop.examples.fd.filters.Filter
It specifies the dependencies between the operation.
dependencies() - Method in class org.jacop.examples.fd.filters.Filter
It returns the dependencies between operations which need to be satisfy in the final solution.
DepthFirstSearch<T extends Var> - Class in org.jacop.search
Implements Depth First Search with number of possible plugins (listeners) to be attached to modify the search.
DepthFirstSearch() - Constructor for class org.jacop.search.DepthFirstSearch
It specifies current child search.
deregisterReplacement(Replaceable<? extends Constraint>) - Method in class org.jacop.core.Store
It makes it possible to deregister the replacement.
deregisterWatchedLiteralConstraint(Var, Constraint) - Method in class org.jacop.core.Store
Variable given as a parameter no longer watches constraint given as parameter.
deregisterWatchedLiteralConstraint(Constraint) - Method in class org.jacop.core.Store
Watched constraint given as parameter is being removed, no variable will be watching it.
derivative(Store, FloatVar, Set<FloatVar>, FloatVar) - Method in class org.jacop.constraints.DecomposedConstraint
 
derivative(Store, FloatVar, Set<FloatVar>, FloatVar) - Method in class org.jacop.floats.constraints.CosPeqR
 
Derivative - Class in org.jacop.floats.constraints
Derivative for float constraints
Derivative() - Constructor for class org.jacop.floats.constraints.Derivative
 
derivative(Store, FloatVar, Set<FloatVar>, FloatVar) - Method in class org.jacop.floats.constraints.ExpPeqR
 
derivative(Store, FloatVar, Set<FloatVar>, FloatVar) - Method in class org.jacop.floats.constraints.LinearFloat
 
derivative(Store, FloatVar, Set<FloatVar>, FloatVar) - Method in class org.jacop.floats.constraints.PmulCeqR
 
derivative(Store, FloatVar, Set<FloatVar>, FloatVar) - Method in class org.jacop.floats.constraints.PmulQeqR
 
derivative(Store, FloatVar, Set<FloatVar>, FloatVar) - Method in class org.jacop.floats.constraints.PplusCeqR
 
derivative(Store, FloatVar, Set<FloatVar>, FloatVar) - Method in class org.jacop.floats.constraints.PplusQeqR
 
derivative(Store, FloatVar, Set<FloatVar>, FloatVar) - Method in class org.jacop.floats.constraints.SinPeqR
 
derivative(Store, FloatVar, Set<FloatVar>, FloatVar) - Method in class org.jacop.floats.constraints.SqrtPeqR
 
derivativeConstraints() - Static method in class org.jacop.floats.constraints.Derivative
 
description - Variable in class org.jacop.core.Store
It specifies long description of the store.
dest - Variable in class org.jacop.constraints.regular.RegEdge
The destination state.
determinant() - Method in class org.jacop.util.Matrix
 
determinant(double[][]) - Method in class org.jacop.util.Matrix
 
DF - Static variable in class org.jacop.constraints.netflow.StatisticsBase
 
DFQ - Class in org.jacop.examples.fd.filters
It specifies DFQ filter benchmark.
DFQ() - Constructor for class org.jacop.examples.fd.filters.DFQ
It creates a standard DFQ filter problem with addition delay equal 1 and multiplication delay equal 2.
DFQ(int, int) - Constructor for class org.jacop.examples.fd.filters.DFQ
It creates DFQ filter problem with specified delays.
diagram - Variable in class org.jacop.util.MDD
For each node at given index i-th it specifies all possible outgoing edges.
Diet - Class in org.jacop.examples.fd
It specifies a simple diet problem.
Diet() - Constructor for class org.jacop.examples.fd.Diet
 
Diff - Class in org.jacop.constraints
Diff constraint assures that any two rectangles from a vector of rectangles does not overlap in at least one direction.
Diff() - Constructor for class org.jacop.constraints.Diff
 
Diff(Rectangle[], boolean) - Constructor for class org.jacop.constraints.Diff
It specifies a diff constraint.
Diff(IntVar[][]) - Constructor for class org.jacop.constraints.Diff
It specifies a diff constraint.
Diff(IntVar[], IntVar[], IntVar[], IntVar[], boolean) - Constructor for class org.jacop.constraints.Diff
It constructs a diff constraint.
Diff(IntVar[], IntVar[], IntVar[], IntVar[]) - Constructor for class org.jacop.constraints.Diff
It constructs a diff constraint.
Diff(List<? extends List<? extends IntVar>>) - Constructor for class org.jacop.constraints.Diff
It specifies a diffn constraint.
Diff(List<? extends List<? extends IntVar>>, boolean) - Constructor for class org.jacop.constraints.Diff
It specifies a diff constraint.
Diff(List<? extends IntVar>, List<? extends IntVar>, List<? extends IntVar>, List<? extends IntVar>) - Constructor for class org.jacop.constraints.Diff
It constructs a diff constraint.
Diff(List<? extends IntVar>, List<? extends IntVar>, List<? extends IntVar>, List<? extends IntVar>, boolean) - Constructor for class org.jacop.constraints.Diff
It constructs a diff constraint.
Diff(IntVar[][], boolean) - Constructor for class org.jacop.constraints.Diff
It specifies a diff constraint.
Diff2 - Class in org.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 org.jacop.constraints.Diff2
Conditional Diff2.
Diff2(List<IntVar>, List<IntVar>, List<IntVar>, List<IntVar>, boolean) - Constructor for class org.jacop.constraints.Diff2
It creates a diff2 constraint.
Diff2(List<? extends List<? extends IntVar>>) - Constructor for class org.jacop.constraints.Diff2
It creates a diff2 constraint.
Diff2(List<? extends List<? extends IntVar>>, boolean) - Constructor for class org.jacop.constraints.Diff2
It creates a diff2 constraint.
Diff2(List<? extends IntVar>, List<? extends IntVar>, List<? extends IntVar>, List<? extends IntVar>) - Constructor for class org.jacop.constraints.Diff2
It creates a diff2 constraint.
Diff2(IntVar[], IntVar[], IntVar[], IntVar[]) - Constructor for class org.jacop.constraints.Diff2
It creates a diff2 constraint.
Diff2(IntVar[], IntVar[], IntVar[], IntVar[], boolean) - Constructor for class org.jacop.constraints.Diff2
It creates a diff2 constraint.
Diff2(IntVar[][]) - Constructor for class org.jacop.constraints.Diff2
It creates a diff2 constraint.
Diff2(IntVar[][], boolean) - Constructor for class org.jacop.constraints.Diff2
It creates a diff2 constraint.
Diff2(List<List<IntVar>>, List<List<Integer>>) - Constructor for class org.jacop.constraints.Diff2
Conditional Diff2.
Diff2(IntVar[][], List<List<Integer>>) - Constructor for class org.jacop.constraints.Diff2
Conditional Diff2.
Diffn - Class in org.jacop.constraints.diffn
Diffn constraint assures that any two rectangles from a vector of rectangles does not overlap in at least one direction.
Diffn(IntVar[][]) - Constructor for class org.jacop.constraints.diffn.Diffn
It specifies a diff constraint.
Diffn(IntVar[][], boolean) - Constructor for class org.jacop.constraints.diffn.Diffn
It specifies a diff constraint.
Diffn(IntVar[], IntVar[], IntVar[], IntVar[]) - Constructor for class org.jacop.constraints.diffn.Diffn
It constructs a diff constraint.
Diffn(IntVar[], IntVar[], IntVar[], IntVar[], boolean) - Constructor for class org.jacop.constraints.diffn.Diffn
It constructs a diff constraint.
Diffn(List<? extends List<? extends IntVar>>) - Constructor for class org.jacop.constraints.diffn.Diffn
It specifies a diffn constraint.
Diffn(List<? extends List<? extends IntVar>>, boolean) - Constructor for class org.jacop.constraints.diffn.Diffn
It specifies a diffn constraint.
Diffn(List<? extends IntVar>, List<? extends IntVar>, List<? extends IntVar>, List<? extends IntVar>) - Constructor for class org.jacop.constraints.diffn.Diffn
It constructs a diff constraint.
Diffn(List<? extends IntVar>, List<? extends IntVar>, List<? extends IntVar>, List<? extends IntVar>, boolean) - Constructor for class org.jacop.constraints.diffn.Diffn
It constructs a diff constraint.
DiffnDecomposed - Class in org.jacop.constraints.diffn
Diffn constraint assures that any two rectangles from a vector of rectangles does not overlap in at least one direction.
DiffnDecomposed(IntVar[][]) - Constructor for class org.jacop.constraints.diffn.DiffnDecomposed
It specifies a diffn constraint.
DiffnDecomposed(IntVar[], IntVar[], IntVar[], IntVar[]) - Constructor for class org.jacop.constraints.diffn.DiffnDecomposed
It constructs a diffn constraint.
DiffnDecomposed(List<? extends List<? extends IntVar>>) - Constructor for class org.jacop.constraints.diffn.DiffnDecomposed
It specifies a diffn constraint.
DiffnDecomposed(List<? extends IntVar>, List<? extends IntVar>, List<? extends IntVar>, List<? extends IntVar>) - Constructor for class org.jacop.constraints.diffn.DiffnDecomposed
It constructs a diffn constraint.
dimension - Variable in class org.jacop.constraints.geost.GeostObject
It specifies the number of dimensions in this object.
dimensionAt(int) - Method in interface org.jacop.constraints.geost.LexicographicalOrder
It provides the dimension corresponding to the given precedence level
dimensionAt(int) - Method in class org.jacop.constraints.geost.PredefinedOrder
 
dimensionAt(int) - Method in class org.jacop.constraints.geost.ShiftOrder
 
dimIthMinComparator - Variable in class org.jacop.constraints.Diff
 
disableQueueVariable - Variable in class org.jacop.constraints.netflow.NetworkFlow
Disables the queue variable function during consistency
disableState(int, int) - Method in class org.jacop.constraints.regular.Regular
It marks state as being not active.
Disjoint - Class in org.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 org.jacop.constraints.Disjoint
 
Disjoint(List<IntVar>, List<IntVar>, List<IntVar>, List<IntVar>, boolean) - Constructor for class org.jacop.constraints.Disjoint
It creates a diff2 constraint.
Disjoint(List<? extends List<? extends IntVar>>) - Constructor for class org.jacop.constraints.Disjoint
It creates a diff2 constraint.
Disjoint(List<? extends List<? extends IntVar>>, boolean) - Constructor for class org.jacop.constraints.Disjoint
It creates a diff2 constraint.
Disjoint(List<? extends IntVar>, List<? extends IntVar>, List<? extends IntVar>, List<? extends IntVar>) - Constructor for class org.jacop.constraints.Disjoint
It creates a diff2 constraint.
Disjoint(IntVar[], IntVar[], IntVar[], IntVar[]) - Constructor for class org.jacop.constraints.Disjoint
It creates a diff2 constraint.
Disjoint(IntVar[], IntVar[], IntVar[], IntVar[], boolean) - Constructor for class org.jacop.constraints.Disjoint
It creates a diff2 constraint.
Disjoint(IntVar[][]) - Constructor for class org.jacop.constraints.Disjoint
It creates a diff2 constraint.
Disjoint(IntVar[][], boolean) - Constructor for class org.jacop.constraints.Disjoint
It creates a diff2 constraint.
DisjointConditional - Class in org.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 org.jacop.constraints.DisjointConditional
It specifies a diff constraint.
DisjointConditional(List<List<? extends IntVar>>, List<List<Integer>>, List<? extends IntVar>) - Constructor for class org.jacop.constraints.DisjointConditional
It creates Disjoint conditional constraint.
DisjointConditional(List<List<? extends IntVar>>, List<List<Integer>>, List<? extends IntVar>, boolean) - Constructor for class org.jacop.constraints.DisjointConditional
It creates Disjoint conditional constraint.
DisjointConditional(List<? extends IntVar>, List<? extends IntVar>, List<? extends IntVar>, List<? extends IntVar>, List<List<Integer>>, List<? extends IntVar>) - Constructor for class org.jacop.constraints.DisjointConditional
It constructs a disjoint conditional constraint.
DisjointConditional(List<? extends IntVar>, List<? extends IntVar>, List<? extends IntVar>, List<? extends IntVar>, List<List<Integer>>, List<? extends IntVar>, boolean) - Constructor for class org.jacop.constraints.DisjointConditional
It constructs a disjoint conditional constraint.
DisjointConditional(IntVar[], IntVar[], IntVar[], IntVar[], List<List<Integer>>, List<? extends IntVar>) - Constructor for class org.jacop.constraints.DisjointConditional
It constructs a disjoint conditional constraint.
DisjointConditional(IntVar[], IntVar[], IntVar[], IntVar[], List<List<Integer>>, List<? extends IntVar>, boolean) - Constructor for class org.jacop.constraints.DisjointConditional
It constructs a disjoint conditional constraint.
DisjointConditional(IntVar[][], List<List<Integer>>, List<? extends IntVar>) - Constructor for class org.jacop.constraints.DisjointConditional
It creates Disjoint conditional constraint.
DisjointConditional(IntVar[][], List<List<Integer>>, List<? extends IntVar>, boolean) - Constructor for class org.jacop.constraints.DisjointConditional
It creates Disjoint conditional constraint.
dispatchBox(DBox) - Static method in class org.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 org.jacop.constraints.geost.BoxDisplay
It displays a given dbox in a black color.
display2DBox(DBox, Color) - Method in class org.jacop.constraints.geost.BoxDisplay
It displays a given dbox using a given color.
display2DBox(DBox, Color, boolean) - Method in class org.jacop.constraints.geost.BoxDisplay
It draws dboxes given color.
display2DGeostObject(Geost, GeostObject, Color) - Method in class org.jacop.constraints.geost.BoxDisplay
It displays a 2D geost object.
display2DObject(GeostObject, Shape) - Method in class org.jacop.constraints.geost.BoxDisplay
It displays 2D Geost object given its shape.
display2DPoint(int[], Color) - Method in class org.jacop.constraints.geost.BoxDisplay
It displays a 2D point given its coordinates and color.
display3DGeostObjectSlice(Geost, GeostObject, Color, int) - Method in class org.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 org.jacop.constraints.geost.BoxDisplay
It creates a display to visualize 2D geost constraint.
displayState(int, boolean, boolean, Geost) - Method in class org.jacop.constraints.geost.BoxDisplay
It displays the state of the geost constraint.
Distance - Class in org.jacop.constraints
Constraint |X - Y| #= Z
Distance(IntVar, IntVar, IntVar) - Constructor for class org.jacop.constraints.Distance
Distance between x and y |x-y| = z
divBounds(int, int, int, int) - Static method in class org.jacop.core.IntDomain
 
divBounds(double, double, double, double) - Static method in class org.jacop.floats.core.FloatDomain
 
divIntBounds(int, int, int, int) - Static method in class org.jacop.core.IntDomain
 
divIntBounds(int, int, int) - Static method in class org.jacop.core.IntDomain
 
divRoundDown(long, long) - Static method in class org.jacop.core.IntDomain
 
divRoundDown(int, int) - Static method in class org.jacop.core.IntDomain
 
divRoundUp(long, long) - Static method in class org.jacop.core.IntDomain
 
divRoundUp(int, int) - Static method in class org.jacop.core.IntDomain
 
dNames - Variable in class org.jacop.constraints.regular.Regular
dNames contain a "name" for each value from the union of all variabl's domains.
doEdgeFinding - Variable in class org.jacop.constraints.Cumulative
It specifies if the edge finding algorithm should be used.
doesWatch(int, int) - Method in class org.jacop.jasat.core.clauses.AbstractClausesDatabase
 
DollarAndTicket - Class in org.jacop.examples.fd
It solves a simple logic puzzle - Dollar and Ticket problem.
DollarAndTicket() - Constructor for class org.jacop.examples.fd.DollarAndTicket
 
dom - Variable in class org.jacop.constraints.In
It specifies domain d which restricts the possible value of the specified variable.
dom() - Method in class org.jacop.core.BooleanVar
This function returns current domain of the variable.
dom() - Method in class org.jacop.core.IntVar
This function returns current domain of the variable.
dom() - Method in class org.jacop.core.Var
This function returns current domain of the variable.
dom() - Method in class org.jacop.floats.core.FloatVar
This function returns current domain of the variable.
dom() - Method in class org.jacop.set.core.SetVar
This function returns current domain of the variable.
Domain - Class in org.jacop.core
Defines a Domain and related operations on it.
Domain() - Constructor for class org.jacop.core.Domain
 
domain - Variable in class org.jacop.core.IntVar
It stores pointer to a current domain, which has stamp equal to store stamp.
domain - Variable in class org.jacop.core.MutableDomainValue
It stores the value of the mutable domain.
domain - Variable in class org.jacop.floats.core.FloatVar
It stores pointer to a current domain, which has stamp equal to store stamp.
domain - Variable in class org.jacop.set.core.SetVar
It specifies the current domain associated with this set variable.
domain - Variable in class org.jacop.util.fsm.FSMTransition
It specifies the domain associated with the transition.
DomainClausesDatabase - Class in org.jacop.satwrapper.translation
clause database designed to handle efficiently CP domain constraints, with the interface of boolean clauses databases.
DomainClausesDatabase() - Constructor for class org.jacop.satwrapper.translation.DomainClausesDatabase
 
domainConsistency - Variable in class org.jacop.fz.constraints.Support
 
domainDatabase - Variable in class org.jacop.satwrapper.SatWrapper
 
domainHasChanged(int) - Method in class org.jacop.core.BooleanVar
It informs the variable that its variable has changed according to the specified event.
domainHasChanged() - Method in class org.jacop.core.BoundDomainValueEnumeration
 
domainHasChanged() - Method in class org.jacop.core.IntervalDomainValueEnumeration
 
domainHasChanged(int) - Method in class org.jacop.core.IntVar
It informs the variable that its variable has changed according to the specified event.
domainHasChanged() - Method in class org.jacop.core.SmallDenseDomainValueEnumeration
 
domainHasChanged() - Method in class org.jacop.core.ValueEnumeration
This function is called to inform enumeration of the change of the domain it enumerates over.
domainHasChanged(int) - Method in class org.jacop.core.Var
It informs the variable that its variable has changed according to the specified event.
domainHasChanged(int) - Method in class org.jacop.floats.core.FloatVar
It informs the variable that its variable has changed according to the specified event.
domainHasChanged() - Method in class org.jacop.set.core.SetDomainValueEnumeration
 
domainHasChanged(int) - Method in class org.jacop.set.core.SetVar
It informs the variable that its variable has changed according to the specified event.
DomainHoles - Class in org.jacop.constraints.geost
 
DomainHoles(GeostObject) - Constructor for class org.jacop.constraints.geost.DomainHoles
It creates Domain Holes internal constraint for a given object.
domainID() - Method in class org.jacop.core.Domain
It returns an unique identifier of the domain.
domainID() - Method in class org.jacop.core.IntervalDomain
It returns an unique identifier of the domain.
domainID() - Method in class org.jacop.core.SmallDenseDomain
 
domainID() - Method in class org.jacop.floats.core.FloatIntervalDomain
It returns an unique identifier of the domain.
domainID() - Method in class org.jacop.set.core.BoundSetDomain
It returns an unique identifier of the domain.
domainID() - Method in class org.jacop.set.core.SetDomain
It returns an unique identifier of the domain.
domainLimits - Variable in class org.jacop.util.MDD
The initial domain limits used to create an MDD array representation.
domains - Variable in class org.jacop.constraints.netflow.DomainStructure
 
DomainStructure - Class in org.jacop.constraints.netflow
A domain based structure variable.
DomainStructure(IntVar, List<Domain>, List<Arc>) - Constructor for class org.jacop.constraints.netflow.DomainStructure
Creates an S-variable
DomainStructure(IntVar, IntDomain[], Arc[]) - Constructor for class org.jacop.constraints.netflow.DomainStructure
 
DomainStructure(IntVar, IntDomain[], Arc[], DomainStructure.Behavior) - Constructor for class org.jacop.constraints.netflow.DomainStructure
 
DomainStructure.Behavior - Enum in org.jacop.constraints.netflow
 
domainTranslator - Variable in class org.jacop.satwrapper.SatWrapper
 
DomainTranslator - Class in org.jacop.satwrapper.translation
A component that translates CP variables ranges to boolean clauses to be added to the SAT solver
DomainTranslator() - Constructor for class org.jacop.satwrapper.translation.DomainTranslator
 
dominatedBy(int, int) - Method in class org.jacop.util.LengauerTarjan
 
dominators(int) - Method in class org.jacop.util.LengauerTarjan
 
domOverlap(Rectangle) - Method in class org.jacop.constraints.Rectangle
It returns true if this rectangle overlaps with a given rectangle.
DonaldGeraldRobert - Class in org.jacop.examples.fd
It specifies the logic puzzle (cryptogram) which need to satisfy the following equation that DONALD+GERALD=ROBERT.
DonaldGeraldRobert() - Constructor for class org.jacop.examples.fd.DonaldGeraldRobert
 
doNotRunSearch() - Method in class org.jacop.fz.Options
It defines whether to run the solver.
doProfile - Variable in class org.jacop.constraints.Cumulative
It specifies if the profiles should be computed to propagate onto limit variable.
doQuadraticEdgeFind(boolean) - Method in class org.jacop.constraints.cumulative.Cumulative
 
DOT - Class in org.jacop.examples.fd.filters
It specifies DOT benchmark.
DOT() - Constructor for class org.jacop.examples.fd.filters.DOT
It constructs a simple DOT filter.
DOT(int, int) - Constructor for class org.jacop.examples.fd.filters.DOT
It constructs a DOT filter with the specified delay for the addition and multiplication operation.
DOTDOT - Static variable in interface org.jacop.fz.ParserConstants
RegularExpression Id.
down(double) - Static method in class org.jacop.floats.core.FloatDomain
 
drawGrid(Color) - Method in class org.jacop.constraints.geost.BoxDisplay
It draws the grid.
dualPivot(Arc) - Method in class org.jacop.constraints.netflow.simplex.NetworkSimplex
 
duration - Variable in class org.jacop.constraints.geost.GeostObject
It specifies the duration time of this object.
durations - Variable in class org.jacop.constraints.Cumulative
It specifies/stores duration variables for each corresponding task.

E

E - Static variable in class org.jacop.floats.core.FloatDomain
 
e - Variable in class org.jacop.search.sgmpcs.SGMPCSearch
 
earlyTerminationOK - Variable in class org.jacop.constraints.Constraint
It specifies if the constraint consistency function can be prematurely terminated through other than FailureException exception.
efficiency - Variable in class org.jacop.constraints.knapsack.KnapsackItem
It stores information about the item efficiency - profit/weight.
efficiency - Variable in class org.jacop.constraints.knapsack.TreeLeaf
It specifies the efficiency of the item in the leaf.
EinA - Class in org.jacop.set.constraints
It constructs a constraint which makes sure that a given element is in the domain of the set variable.
EinA(int, SetVar, boolean) - Constructor for class org.jacop.set.constraints.EinA
It constructs an eInA constraint to restrict the domain of the variable.
EinA(int, SetVar) - Constructor for class org.jacop.set.constraints.EinA
It constructs an eInA constraint to restrict the domain of the variable.
einAinleftTree - Variable in class org.jacop.search.DepthFirstSearch
It specifies if for setVar based search the left branch should impose EinA constraint.
eInit - Variable in class org.jacop.search.sgmpcs.SGMPCSearch
 
Element - Class in org.jacop.constraints
Element constraint implements the element/4 constraint (both with integer list and variables list).
Element(IntVar, List<? extends IntVar>, IntVar) - Constructor for class org.jacop.constraints.Element
Deprecated.
Element(IntVar, List<? extends IntVar>, IntVar, int) - Constructor for class org.jacop.constraints.Element
Deprecated.
Element(IntVar, int[], IntVar) - Constructor for class org.jacop.constraints.Element
Deprecated.
Element(IntVar, int[], IntVar, int) - Constructor for class org.jacop.constraints.Element
Deprecated.
Element(IntVar, IntVar[], IntVar) - Constructor for class org.jacop.constraints.Element
Deprecated.
Element(IntVar, IntVar[], IntVar, int) - Constructor for class org.jacop.constraints.Element
Deprecated.
element - Variable in class org.jacop.set.constraints.EinA
It specifies the element which must be present in the set variable.
ElementFloat - Class in org.jacop.floats.constraints
ElementFloat constraint defines a relation list[index - indexOffset] = value.
ElementFloat(IntVar, double[], FloatVar, int) - Constructor for class org.jacop.floats.constraints.ElementFloat
It constructs an element constraint.
ElementFloat(IntVar, List<Double>, FloatVar) - Constructor for class org.jacop.floats.constraints.ElementFloat
It constructs an element constraint with default indexOffset equal 0.
ElementFloat(IntVar, List<Double>, FloatVar, int) - Constructor for class org.jacop.floats.constraints.ElementFloat
It constructs an element constraint.
ElementFloat(IntVar, double[], FloatVar) - Constructor for class org.jacop.floats.constraints.ElementFloat
It constructs an element constraint with indexOffset by default set to 0.
ElementFloatVariable - Class in org.jacop.floats.constraints
ElementFloatVariable constraint defines a relation list[index - indexOffset] = value.
ElementFloatVariable(IntVar, FloatVar[], FloatVar, int) - Constructor for class org.jacop.floats.constraints.ElementFloatVariable
It constructs an element constraint.
ElementFloatVariable(IntVar, List<? extends FloatVar>, FloatVar) - Constructor for class org.jacop.floats.constraints.ElementFloatVariable
It constructs an element constraint.
ElementFloatVariable(IntVar, List<? extends FloatVar>, FloatVar, int) - Constructor for class org.jacop.floats.constraints.ElementFloatVariable
It constructs an element constraint.
ElementFloatVariable(IntVar, FloatVar[], FloatVar) - Constructor for class org.jacop.floats.constraints.ElementFloatVariable
It constructs an element constraint.
ElementInteger - Class in org.jacop.constraints
ElementInteger constraint defines a relation list[index - indexOffset] = value.
ElementInteger(IntVar, int[], IntVar, int) - Constructor for class org.jacop.constraints.ElementInteger
It constructs an element constraint.
ElementInteger(IntVar, int[], IntVar, int, boolean) - Constructor for class org.jacop.constraints.ElementInteger
It constructs an element constraint.
ElementInteger(IntVar, List<Integer>, IntVar) - Constructor for class org.jacop.constraints.ElementInteger
It constructs an element constraint with default indexOffset equal 0.
ElementInteger(IntVar, List<Integer>, IntVar, int) - Constructor for class org.jacop.constraints.ElementInteger
It constructs an element constraint.
ElementInteger(IntVar, List<Integer>, IntVar, int, boolean) - Constructor for class org.jacop.constraints.ElementInteger
It constructs an element constraint.
ElementIntegerFast - Class in org.jacop.constraints
 
ElementIntegerFast(IntVar, int[], IntVar, int) - Constructor for class org.jacop.constraints.ElementIntegerFast
It constructs an element constraint.
ElementIntegerFast(IntVar, List<? extends Integer>, IntVar) - Constructor for class org.jacop.constraints.ElementIntegerFast
It constructs an element constraint.
ElementIntegerFast(IntVar, List<? extends Integer>, IntVar, int) - Constructor for class org.jacop.constraints.ElementIntegerFast
It constructs an element constraint.
ElementIntegerFast(IntVar, int[], IntVar) - Constructor for class org.jacop.constraints.ElementIntegerFast
It constructs an element constraint.
elements - Variable in class org.jacop.examples.fd.Kakro
 
ElementSet - Class in org.jacop.set.constraints
It is an element constraint that make sure that set variable value has a domain equal to the index-th element of the supplied list of sets.
ElementSet(IntVar, IntDomain[], SetVar, int) - Constructor for class org.jacop.set.constraints.ElementSet
It constructs a constraint to restrict the domains of the variables index and value.
ElementSet(IntVar, IntDomain[], SetVar) - Constructor for class org.jacop.set.constraints.ElementSet
It constructs an elementSet constraint to restrict the domains of the variables index and value.
ElementSetVariable - Class in org.jacop.set.constraints
ElementSetVariable constraint defines a relation list[index - indexOffset] = value.
ElementSetVariable(IntVar, SetVar[], SetVar, int) - Constructor for class org.jacop.set.constraints.ElementSetVariable
It constructs an element constraint.
ElementSetVariable(IntVar, List<? extends SetVar>, SetVar) - Constructor for class org.jacop.set.constraints.ElementSetVariable
It constructs an element constraint.
ElementSetVariable(IntVar, List<? extends SetVar>, SetVar, int) - Constructor for class org.jacop.set.constraints.ElementSetVariable
It constructs an element constraint.
ElementSetVariable(IntVar, SetVar[], SetVar) - Constructor for class org.jacop.set.constraints.ElementSetVariable
It constructs an element constraint.
elementsSmallerThan(int) - Method in class org.jacop.core.IntDomain
It returns the number of elements smaller than el.
elementSupport(IntVar, int[], IntVar, int) - Static method in class org.jacop.constraints.table.TableMill
 
ElementVariable - Class in org.jacop.constraints
ElementVariable constraint defines a relation list[index - indexOffset] = value.
ElementVariable(IntVar, IntVar[], IntVar, int) - Constructor for class org.jacop.constraints.ElementVariable
It constructs an element constraint.
ElementVariable(IntVar, List<? extends IntVar>, IntVar) - Constructor for class org.jacop.constraints.ElementVariable
It constructs an element constraint.
ElementVariable(IntVar, List<? extends IntVar>, IntVar, int) - Constructor for class org.jacop.constraints.ElementVariable
It constructs an element constraint.
ElementVariable(IntVar, IntVar[], IntVar) - Constructor for class org.jacop.constraints.ElementVariable
It constructs an element constraint.
ElementVariableFast - Class in org.jacop.constraints
 
ElementVariableFast(IntVar, IntVar[], IntVar, int) - Constructor for class org.jacop.constraints.ElementVariableFast
It constructs an element constraint.
ElementVariableFast(IntVar, List<? extends IntVar>, IntVar) - Constructor for class org.jacop.constraints.ElementVariableFast
It constructs an element constraint.
ElementVariableFast(IntVar, List<? extends IntVar>, IntVar, int) - Constructor for class org.jacop.constraints.ElementVariableFast
It constructs an element constraint.
ElementVariableFast(IntVar, IntVar[], IntVar) - Constructor for class org.jacop.constraints.ElementVariableFast
It constructs an element constraint.
elite - Variable in class org.jacop.search.sgmpcs.SGMPCSearch
 
elseC - Variable in class org.jacop.constraints.IfThenElse
It specifies constraint elseC in the IfThenElse constraint.
emptyDomain - Static variable in class org.jacop.core.IntervalDomain
An empty domain, so no constant creation of empty domains is required.
emptyDomain - Static variable in class org.jacop.core.SmallDenseDomain
It is an empty domain returned by default when empty domain becomes a result of any function.
emptyDomain - Static variable in class org.jacop.floats.core.FloatIntervalDomain
An empty domain, so no constant creation of empty domains is required.
emptyDomain - Static variable in class org.jacop.set.core.SetDomain
It predefines empty domain so there is no need to constantly create it when needed.
emptyFloatDomain - Static variable in class org.jacop.floats.core.FloatDomain
It specifies an empty integer domain.
emptyIntDomain - Static variable in class org.jacop.core.IntDomain
It specifies an empty integer domain.
end - Variable in class org.jacop.constraints.geost.GeostObject
It specifies the end time of this object.
enforceNoSkip - Variable in class org.jacop.constraints.geost.Geost
if set to true, a variable will never be skipped, even if grounded and not in queue
ensure(Integer[], int) - Static method in class org.jacop.jasat.utils.Utils
 
ensure(HashSet<E>[], int) - Static method in class org.jacop.jasat.utils.Utils
 
ensureAccess(IntVar) - Method in class org.jacop.satwrapper.SatChangesListener
gets sure we won't have a NullPointerException
ensureCapacity(int) - Method in class org.jacop.core.TimeStamp
Specify least number of different values to be used by Timestamp.
ensureCapacity(int) - Method in class org.jacop.jasat.core.Trail
It ensures the trail can contain @param numVar variables
ensureCapacity(int) - Method in class org.jacop.util.SimpleArrayList
Increases the capacity of this ArrayList instance, if necessary, to ensure that it can hold at least the number of elements specified by the minimum capacity argument.
ensureSize(int) - Method in class org.jacop.jasat.core.clauses.DefaultClausesDatabase
be sure that the database can contain @param size clauses
ensureSize(int) - Method in class org.jacop.jasat.core.clauses.LongClausesDatabase
be sure that the database can contain numberOfClauses clauses
ensureSize(int) - Method in class org.jacop.util.MDD
It makes sure that diagram uses an array of at least given size.
ensureWatch(int) - Method in class org.jacop.jasat.core.clauses.AbstractClausesDatabase
ensures that varWatches.get(var) will succeed with a correct content.
entrySet() - Method in class org.jacop.jasat.utils.structures.IntHashMap
iterates over all entries in the map
EOF - Static variable in interface org.jacop.fz.ParserConstants
End of File.
epsilon(double) - Static method in class org.jacop.floats.core.FloatDomain
 
Eq - Class in org.jacop.constraints
Constraint "constraint1"#<=> "constraint2"
Eq(PrimitiveConstraint, PrimitiveConstraint) - Constructor for class org.jacop.constraints.Eq
It constructs equality constraint between two constraints.
eq(BooleanVar) - Method in class org.jacop.core.BooleanVar
It checks if the domains of variables are equal.
eq(IntDomain) - Method in class org.jacop.core.IntDomain
It specifies if the other int domain is equal to this one.
eq(Interval) - Method in class org.jacop.core.Interval
It checks equality between intervals.
eq(IntDomain) - Method in class org.jacop.core.IntervalDomain
It checks if the domain is equal to the supplied domain.
eq(IntVar) - Method in class org.jacop.core.IntVar
It checks if the domains of variables are equal.
eq(IntDomain) - Method in class org.jacop.core.SmallDenseDomain
 
eq - Static variable in class org.jacop.floats.constraints.linear.Linear
Defines relations
eq(FloatDomain) - Method in class org.jacop.floats.core.FloatDomain
It specifies if the other int domain is equal to this one.
eq(FloatInterval) - Method in class org.jacop.floats.core.FloatInterval
It checks equality between intervals.
eq(FloatDomain) - Method in class org.jacop.floats.core.FloatIntervalDomain
It checks if the domain is equal to the supplied domain.
eq(FloatVar) - Method in class org.jacop.floats.core.FloatVar
It checks if the domains of variables are equal.
eq(SetDomain) - Method in class org.jacop.set.core.BoundSetDomain
It checks if the domain is equal to the supplied domain.
eq(SetDomain) - Method in class org.jacop.set.core.SetDomain
It checks if the domain is equal to the supplied domain.
eq(SetVar) - Method in class org.jacop.set.core.SetVar
It checks if the domains of variables are equal.
EqBool - Class in org.jacop.constraints
If all x's are equal to each other then result variable is equal 1.
EqBool(IntVar[], IntVar) - Constructor for class org.jacop.constraints.EqBool
It constructs eqBool.
EqBool(List<? extends IntVar>, IntVar) - Constructor for class org.jacop.constraints.EqBool
It constructs eqBool.
eqns - Variable in class org.jacop.constraints.netflow.Arithmetic
 
equals(Object) - Method in class org.jacop.constraints.geost.DBox
 
equals(Object) - Method in class org.jacop.util.fsm.FSMState
 
equals(Object) - Method in class org.jacop.util.fsm.FSMTransition
 
equals(Object) - Method in class org.jacop.util.fsm.RegularExpressionParser.Literal
 
equals(Object) - Method in class org.jacop.util.SimpleArrayList
AbstractList defines equals so that it depends on the objects included.
equalTo - Variable in class org.jacop.constraints.SumWeight
It specifies value to which SumWeight is equal to.
EquationSystem - Class in org.jacop.floats.constraints
EquationSystem constraint implements the multivariate interval Newton method for pruning domains of variables in a system of non-linear equations.
EquationSystem(Store, FloatVar[], FloatVar[]) - Constructor for class org.jacop.floats.constraints.EquationSystem
It constructs the constraint EquationSystem.
eraseAll() - Method in class org.jacop.constraints.geost.BoxDisplay
Clear the paint area so drawing can start on fresh canvas.
establishGACInit() - Method in class org.jacop.constraints.LexOrder
 
EWF - Class in org.jacop.examples.fd.filters
It specifies EWF benchmark.
EWF() - Constructor for class org.jacop.examples.fd.filters.EWF
It constructs a simple EWF filter.
EWF(int, int) - Constructor for class org.jacop.examples.fd.filters.EWF
It constructs a EWF filter with the specified delay for the addition and multiplication operation.
ExampleFD - Class in org.jacop.examples.fd
It is an abstract class to describe all necessary functions of any store.
ExampleFD() - Constructor for class org.jacop.examples.fd.ExampleFD
 
ExampleSet - Class in org.jacop.examples.set
It is an abstract class to describe all necessary functions of any store.
ExampleSet() - Constructor for class org.jacop.examples.set.ExampleSet
 
exclusionList - Variable in class org.jacop.constraints.DisjointConditional
It specifies what rectangles can conditionally overlap.
exclusiveList - Variable in class org.jacop.constraints.Diff2
It specifies a list of pairs of rectangles which can overlap.
executeAfterConsistency(boolean) - Method in interface org.jacop.search.ConsistencyListener
It is executed right after consistency of the current search node.
executeAfterConsistency(boolean) - Method in class org.jacop.search.CreditCalculator
It is executed right after consistency of the current search node.
executeAfterConsistency(boolean) - Method in class org.jacop.search.FailConstraintsStatistics
 
executeAfterConsistency(boolean) - Method in class org.jacop.search.OneSolution
 
executeAfterConsistency(boolean) - Method in class org.jacop.search.restart.Calculator
It is executed right after consistency of the current search node.
executeAfterConsistency(boolean) - Method in class org.jacop.search.sgmpcs.SGMPCSCalculator
It is executed right after consistency of the current search node.
executeAfterConsistency(boolean) - Method in class org.jacop.search.Shaving
 
executeAfterConsistency(boolean) - Method in class org.jacop.search.TraceGenerator
 
executeAfterSolution(Search<T>, SelectChoicePoint<T>) - Method in class org.jacop.examples.cpviz.CPvizNetworkFlow.NetListener
 
executeAfterSolution(Search<T>, SelectChoicePoint<T>) - Method in class org.jacop.examples.fd.crosswords.CrossWord.PrintListener
 
executeAfterSolution(Search<T>, SelectChoicePoint<T>) - Method in class org.jacop.floats.search.Optimize.ResultListener
 
executeAfterSolution(Search<T>, SelectChoicePoint<T>) - Method in class org.jacop.fz.Solve.CostListener
 
executeAfterSolution(Search<T>, SelectChoicePoint<T>) - Method in class org.jacop.search.OneSolution
 
executeAfterSolution(Search<T>, SelectChoicePoint<T>) - Method in class org.jacop.search.PrintOutListener
It is executed right after consistency of the current search node.
executeAfterSolution(Search<T>, SelectChoicePoint<T>) - Method in class org.jacop.search.restart.RestartSearch.CostListener
 
executeAfterSolution(Search<T>, SelectChoicePoint<T>) - Method in class org.jacop.search.sgmpcs.SimpleImprovementSearch.CostListener
 
executeAfterSolution(Search<T>, SelectChoicePoint<T>) - Method in class org.jacop.search.SimpleSolutionListener
 
executeAfterSolution(Search<T>, SelectChoicePoint<T>) - Method in interface org.jacop.search.SolutionListener
It is executed by search after a solution is found.
executedAtExit(Store, int) - Method in interface org.jacop.search.ExitListener
It is executed right after time out is determined.
executedAtExit(Store, int) - Method in class org.jacop.search.NoGoodsCollector
 
executedAtExit(Store, int) - Method in class org.jacop.search.TraceGenerator
 
executedAtInitialize(Store) - Method in class org.jacop.fz.Solve.PrecisionSetting
 
executedAtInitialize(Store) - Method in interface org.jacop.search.InitializeListener
It is executed before the search starts labeling procedure.
executedAtInitialize(Store) - Method in class org.jacop.search.OneSolution
 
executedAtInitialize(Store) - Method in class org.jacop.search.TransformExtensional
 
executedAtTimeOut(int) - Method in class org.jacop.search.CreditCalculator
It is executed right after time out is determined.
executedAtTimeOut(int) - Method in class org.jacop.search.NoGoodsCollector
It is executed right after time out is determined.
executedAtTimeOut(int) - Method in class org.jacop.search.SimpleTimeOut
 
executedAtTimeOut(int) - Method in interface org.jacop.search.TimeOutListener
It is executed right after time out is determined.
exhaustedLeftItems - Variable in class org.jacop.constraints.knapsack.Tree
It specifies that computeForbidden part of the consistency function has run out of left mandatory items.
exhaustedRightItems - Variable in class org.jacop.constraints.knapsack.Tree
It specifies if the mandatory check has run out of right items to complement mandatory items.
exitChildListener - Variable in class org.jacop.search.DepthFirstSearch
It is invoked when returning from left or right child.
ExitChildListener<T extends Var> - Interface in org.jacop.search
Defines a listener which is called by the search if a child node is exited.
ExitListener - Interface in org.jacop.search
This listener is executed when search has finished executing is about to exit the labeling procedure.
exitParsing() - Method in class org.jacop.jasat.utils.OptParse
a handler can call this to interrupt the parsing
Exodus - Class in org.jacop.examples.fd
It is a simple logic puzzle about children reading stories.
Exodus() - Constructor for class org.jacop.examples.fd.Exodus
 
experiment1(Store, Filter, int, int) - Static method in class org.jacop.examples.fd.filters.FilterBenchmark
It optimizes scheduling of filter operations.
experiment1C(Store, Filter, int, int, int) - Static method in class org.jacop.examples.fd.filters.FilterBenchmark
It optimizes scheduling of filter operation in fashion allowing chaining of operations within one clock cycle.
experiment1P(Store, Filter, int, int) - Static method in class org.jacop.examples.fd.filters.FilterBenchmark
It optimizes scheduling of filter operations.
experiment1PM(Store, Filter, int, int) - Static method in class org.jacop.examples.fd.filters.FilterBenchmark
It optimizes scheduling of filter operations in a fashion allowing pipelining of multiplication operations.
experiment2(Store, Filter, int, int) - Static method in class org.jacop.examples.fd.filters.FilterBenchmark
It optimizes scheduling of filter operations.
experiment2C(Store, Filter, int, int, int) - Static method in class org.jacop.examples.fd.filters.FilterBenchmark
It optimizes scheduling of filter operation in fashion allowing chaining of operations within one clock cycle.
experiment2P(Store, Filter, int, int) - Static method in class org.jacop.examples.fd.filters.FilterBenchmark
It optimizes scheduling of filter operations.
experiment2PM(Store, Filter, int, int) - Static method in class org.jacop.examples.fd.filters.FilterBenchmark
It optimizes scheduling of filter operation in fashion allowing pipelining of multiplication operations.
explanationClause - Variable in class org.jacop.jasat.core.Core
 
ExplanationListener - Interface in org.jacop.jasat.modules.interfaces
module used when an explanation is found
explanationModules - Variable in class org.jacop.jasat.core.Core
 
explanations - Variable in class org.jacop.jasat.core.Trail
 
exploration() - Method in class org.jacop.fz.SearchItem
 
ExpPeqR - Class in org.jacop.floats.constraints
Constraints exp(P) #= Q for P and Q floats
ExpPeqR(FloatVar, FloatVar) - Constructor for class org.jacop.floats.constraints.ExpPeqR
It constructs constraint P = Q.
Expression - Static variable in class org.jacop.util.fsm.RegularExpressionParser
Constant denoting an expression.
Expression() - Constructor for class org.jacop.util.fsm.RegularExpressionParser.Expression
 
extendedCounter - Variable in class org.jacop.constraints.CountValues
 
extendedCounter - Variable in class org.jacop.constraints.CountValuesBounds
 
ExtensionalConflictVA - Class in org.jacop.constraints
Extensional constraint assures that none of the tuples explicitly given is enforced in the relation.
ExtensionalConflictVA(IntVar[]) - Constructor for class org.jacop.constraints.ExtensionalConflictVA
Deprecated.
ExtensionalConflictVA(IntVar[], int[][]) - Constructor for class org.jacop.constraints.ExtensionalConflictVA
Constructor stores reference to tuples until imposition, any changes to tuples parameter will be reflected in the constraint behavior.
ExtensionalConflictVA(List<? extends IntVar>, int[][]) - Constructor for class org.jacop.constraints.ExtensionalConflictVA
The constructor does not create local copy of tuples array.
extensionalMDD - Variable in class org.jacop.examples.fd.carsequencing.CarSequencing
It specifies if one extensional constraint based on MDD created from FSM should be used.
extensionalMDD - Variable in class org.jacop.examples.fd.nonogram.Nonogram
It specifies if one extensional constraint based on MDD created from FSM should be used.
ExtensionalSupportMDD - Class in org.jacop.constraints
Extensional constraint assures that one of the tuples is enforced in the relation.
ExtensionalSupportMDD(MDD) - Constructor for class org.jacop.constraints.ExtensionalSupportMDD
It creates an extensional constraint.
ExtensionalSupportMDD(IntVar[], int[][]) - Constructor for class org.jacop.constraints.ExtensionalSupportMDD
It constructs extensional support constraint.
ExtensionalSupportSTR - Class in org.jacop.constraints
Extensional constraint assures that one of the tuples is enforced in the relation.
ExtensionalSupportSTR(IntVar[], boolean, boolean) - Constructor for class org.jacop.constraints.ExtensionalSupportSTR
Deprecated.
ExtensionalSupportSTR(IntVar[], int[][], boolean, boolean) - Constructor for class org.jacop.constraints.ExtensionalSupportSTR
It constructs an extensional constraint.
ExtensionalSupportSTR(IntVar[], int[][]) - Constructor for class org.jacop.constraints.ExtensionalSupportSTR
It creates an extensional constraint.
ExtensionalSupportVA - Class in org.jacop.constraints
Extensional constraint assures that one of the tuples is enforced in the relation.
ExtensionalSupportVA(IntVar[]) - Constructor for class org.jacop.constraints.ExtensionalSupportVA
Partial constructor which stores variables involved in a constraint but does not get information about tuples yet.
ExtensionalSupportVA(List<? extends IntVar>, int[][]) - Constructor for class org.jacop.constraints.ExtensionalSupportVA
The constructor does not create local copy of tuples array.
ExtensionalSupportVA(IntVar[], int[][]) - Constructor for class org.jacop.constraints.ExtensionalSupportVA
Constructor stores reference to tuples until imposition, any changes to tuples parameter will be reflected in the constraint behavior.
ExternalConstraint - Interface in org.jacop.constraints.geost
 
externalConstraints - Variable in class org.jacop.constraints.geost.Geost
It stores the reference to the collection of external constraints which must be satisfied within this constraint.

F

Factory<E> - Interface in org.jacop.jasat.utils
a factory for type E
failCalculator - Variable in class org.jacop.search.sgmpcs.SimpleImprovementSearch
 
failConstraintsIdStatistics - Variable in class org.jacop.search.FailConstraintsStatistics
 
FailConstraintsStatistics<T extends Var> - Class in org.jacop.search
Defines functionality for FailConstraintsStatistics plug-in, that collects statistics on the failed constraints; both for each individual constraint as well as a class of constraints.
FailConstraintsStatistics(Store) - Constructor for class org.jacop.search.FailConstraintsStatistics
 
failConstraintsStatistics - Variable in class org.jacop.search.FailConstraintsStatistics
 
failException - Static variable in class org.jacop.core.Domain
An exception used if failure encountered in functions in();
FailException - Exception in org.jacop.core
It is thrown when search has encountered a dead end and backtracking must occurr.
failException - Static variable in class org.jacop.core.Store
It stores standard fail exception used when empty domain encountered.
failures - Variable in class org.jacop.search.Shaving
It stores number of failed shaving attempts.
FALSE - Static variable in interface org.jacop.fz.ParserConstants
RegularExpression Id.
FFT - Class in org.jacop.examples.fd.filters
It specifies FFT benchmark.
FFT() - Constructor for class org.jacop.examples.fd.filters.FFT
It constructs a simple FFT filter.
FFT(int, int) - Constructor for class org.jacop.examples.fd.filters.FFT
It constructs a FFT filter with the specified delay for the addition and multiplication operation.
filename - Variable in class org.jacop.examples.fd.Cryptogram
It specifies the file which contains the puzzle to be solved.
filename - Variable in class org.jacop.examples.fd.muca.MUCA
It reads auction problem description from the file.
filename - Variable in class org.jacop.examples.fd.qcp.QCP
It specifies the file containing the description of the problem.
fillInStackTrace() - Method in exception org.jacop.core.FailException
 
fillInStackTrace() - Method in exception org.jacop.floats.core.InternalException
 
fillInStackTrace() - Method in exception org.jacop.fz.TrivialSolution
 
Filter - Class in org.jacop.examples.fd.filters
It provides the basic functionality which must be implemented by any filter problem.
Filter() - Constructor for class org.jacop.examples.fd.filters.Filter
 
FilterBenchmark - Class in org.jacop.examples.fd.filters
This is a set of filter scheduling examples, commonly used in High-Level Synthesis.
FilterBenchmark() - Constructor for class org.jacop.examples.fd.filters.FilterBenchmark
 
filterUseless - Variable in class org.jacop.constraints.geost.Geost
It specifies that filtering of useless internal constraint takes place before an object is being pruned.
finalQuantity - Variable in class org.jacop.examples.fd.muca.MUCA
It specifies the minimal quantities of items seeked to achieve.
finalStates - Variable in class org.jacop.util.fsm.FSM
It specifies final states of DFA.
findEliteSolutions() - Method in class org.jacop.search.sgmpcs.SGMPCSearch
 
findFirstAllowed(int, int, int[]) - Method in class org.jacop.constraints.ExtensionalSupportVA
It finds the first allowed tuple from the given tuple.
findForbiddenDomain(GeostObject, int, int[], Geost.SweepDirection, LexicographicalOrder) - Method in class org.jacop.constraints.geost.Geost
 
findNextLeafAtLeastOfWeight(TreeLeaf, int) - Method in class org.jacop.constraints.knapsack.Tree
It finds next leaf of a maximum weight of at least weight, so it can have some parts of it mandatory.
findNextVar() - Method in class org.jacop.jasat.modules.HeuristicAssertionModule
this is the main heuristic function, which tries to guess which literal is the most interesting to set now.
findPosition(int, int[]) - Method in class org.jacop.constraints.ExtensionalConflictVA
 
findPosition(int, int[]) - Method in class org.jacop.constraints.ExtensionalSupportVA
 
findPosition(int, int[]) - Method in class org.jacop.util.MDD
It finds a position of a value inside the array.
findPositionForInsert(int[]) - Method in class org.jacop.util.TupleUtils
searches for the position of the tuple in the tuple list.
findPreviousLeafAtLeastOfWeight(TreeLeaf, int) - Method in class org.jacop.constraints.knapsack.Tree
It finds previous leaf of a maximum weight of at least weight, so it can have some parts of it forbidden.
findRange(int, int[]) - Method in class org.jacop.util.MDD
 
findSolutionMatchingParent(int) - Method in class org.jacop.search.SimpleSolutionListener
 
findSolutionMatchingParent(int) - Method in interface org.jacop.search.SolutionListener
For a given master solution finds any solution within that listener which matches the master solution.
findVariable(String) - Method in class org.jacop.core.Store
This function looks for a variable with given id.
FIR - Class in org.jacop.examples.fd.filters
FIR benchmark (16-point FIR filter).
FIR() - Constructor for class org.jacop.examples.fd.filters.FIR
It constructs a simple FIR filter.
FIR(int, int) - Constructor for class org.jacop.examples.fd.filters.FIR
It constructs a FIR filter with the specified delay for the addition and multiplication operation.
FIR16 - Class in org.jacop.examples.fd.filters
FIR benchmark (16-point FIR filter)
FIR16() - Constructor for class org.jacop.examples.fd.filters.FIR16
It constructs a simple FIR16 filter.
FIR16(int, int) - Constructor for class org.jacop.examples.fd.filters.FIR16
It constructs a FIR16 filter with the specified delay for the addition and multiplication operation.
first - Variable in class org.jacop.constraints.ExtensionalSupportSTR
Gives the position of the first tuple (in the current list) or -1 if the current list is empty.
first - Variable in class org.jacop.constraints.knapsack.Tree
It specifies the first (counting from left to right), the most efficient item in the tree.
firstConsistencyCheck - Variable in class org.jacop.constraints.ExtensionalSupportSTR
It specifies if there was no first consistency check yet.
firstResidue - Variable in class org.jacop.constraints.ExtensionalSupportSTR
It stores the position of the first residue.
FittingNumbers - Class in org.jacop.examples.fd
It is program to solve problem of fitting numbers to made them equal to zero.
FittingNumbers() - Constructor for class org.jacop.examples.fd.FittingNumbers
 
FlatzincLoader - Class in org.jacop.fz
An executable to parse the flatzinc file and create the JaCoP model.
FlatzincLoader(String[]) - Constructor for class org.jacop.fz.FlatzincLoader
It parses the provided file and parsing parameters and creates the JaCoP model..
FlatzincSGMPCS - Class in org.jacop.examples.flatzinc
The class Run is used to run test programs for JaCoP package.
FlatzincSolver - Class in org.jacop.examples.flatzinc
The class Run is used to run test programs for JaCoP package.
flip() - Method in class org.jacop.constraints.geost.BoxDisplay
flips images, making previous operations visible
FLOAT - Static variable in interface org.jacop.fz.ParserConstants
RegularExpression Id.
float_abs(SimpleNode) - Method in class org.jacop.fz.constraints.ConstraintFncs
 
float_acos(SimpleNode) - Method in class org.jacop.fz.constraints.ConstraintFncs
 
float_asin(SimpleNode) - Method in class org.jacop.fz.constraints.ConstraintFncs
 
float_atan(SimpleNode) - Method in class org.jacop.fz.constraints.ConstraintFncs
 
float_cos(SimpleNode) - Method in class org.jacop.fz.constraints.ConstraintFncs
 
float_div(SimpleNode) - Method in class org.jacop.fz.constraints.ConstraintFncs
 
float_eq(SimpleNode) - Method in class org.jacop.fz.constraints.ConstraintFncs
 
float_eq_reif(SimpleNode) - Method in class org.jacop.fz.constraints.ConstraintFncs
 
float_exp(SimpleNode) - Method in class org.jacop.fz.constraints.ConstraintFncs
 
float_le(SimpleNode) - Method in class org.jacop.fz.constraints.ConstraintFncs
 
float_le_reif(SimpleNode) - Method in class org.jacop.fz.constraints.ConstraintFncs
 
float_lin_eq(SimpleNode) - Method in class org.jacop.fz.constraints.ConstraintFncs
 
float_lin_eq_reif(SimpleNode) - Method in class org.jacop.fz.constraints.ConstraintFncs
 
float_lin_le(SimpleNode) - Method in class org.jacop.fz.constraints.ConstraintFncs
 
float_lin_le_reif(SimpleNode) - Method in class org.jacop.fz.constraints.ConstraintFncs
 
float_lin_lt(SimpleNode) - Method in class org.jacop.fz.constraints.ConstraintFncs
 
float_lin_lt_reif(SimpleNode) - Method in class org.jacop.fz.constraints.ConstraintFncs
 
float_lin_ne(SimpleNode) - Method in class org.jacop.fz.constraints.ConstraintFncs
 
float_lin_ne_reif(SimpleNode) - Method in class org.jacop.fz.constraints.ConstraintFncs
 
FLOAT_LITERAL - Static variable in interface org.jacop.fz.ParserConstants
RegularExpression Id.
float_ln(SimpleNode) - Method in class org.jacop.fz.constraints.ConstraintFncs
 
float_log10(SimpleNode) - Method in class org.jacop.fz.constraints.ConstraintFncs
 
float_log2(SimpleNode) - Method in class org.jacop.fz.constraints.ConstraintFncs
 
float_lt(SimpleNode) - Method in class org.jacop.fz.constraints.ConstraintFncs
 
float_lt_reif(SimpleNode) - Method in class org.jacop.fz.constraints.ConstraintFncs
 
float_max(SimpleNode) - Method in class org.jacop.fz.constraints.ConstraintFncs
 
float_min(SimpleNode) - Method in class org.jacop.fz.constraints.ConstraintFncs
 
float_ne(SimpleNode) - Method in class org.jacop.fz.constraints.ConstraintFncs
 
float_ne_reif(SimpleNode) - Method in class org.jacop.fz.constraints.ConstraintFncs
 
float_plus(SimpleNode) - Method in class org.jacop.fz.constraints.ConstraintFncs
 
float_pow(SimpleNode) - Method in class org.jacop.fz.constraints.ConstraintFncs
 
float_sin(SimpleNode) - Method in class org.jacop.fz.constraints.ConstraintFncs
 
float_sqrt(SimpleNode) - Method in class org.jacop.fz.constraints.ConstraintFncs
 
float_tan(SimpleNode) - Method in class org.jacop.fz.constraints.ConstraintFncs
 
float_times(SimpleNode) - Method in class org.jacop.fz.constraints.ConstraintFncs
 
FloatDomain - Class in org.jacop.floats.core
 
FloatDomain() - Constructor for class org.jacop.floats.core.FloatDomain
 
FloatInterval - Class in org.jacop.floats.core
Defines interval of numbers which is part of FDV definition which consist of one or several intervals.
FloatInterval() - Constructor for class org.jacop.floats.core.FloatInterval
It creates the largest possible interval.
FloatInterval(double, double) - Constructor for class org.jacop.floats.core.FloatInterval
It creates an interval with a given minimum and maximal value.
FloatIntervalDomain - Class in org.jacop.floats.core
 
FloatIntervalDomain() - Constructor for class org.jacop.floats.core.FloatIntervalDomain
Empty constructor, does not initialize anything.
FloatIntervalDomain(int) - Constructor for class org.jacop.floats.core.FloatIntervalDomain
It creates an empty domain, with at least specified number of places in an array list for intervals.
FloatIntervalDomain(double, double) - Constructor for class org.jacop.floats.core.FloatIntervalDomain
It creates domain with all values between min and max.
FloatIntervalDomainID - Static variable in class org.jacop.floats.core.FloatDomain
Unique identifier for an interval domain type.
FloatIntervalDomainIntervalEnumeration - Class in org.jacop.floats.core
Defines a methods for enumerating values contain in the intersal domain.
FloatIntervalDomainIntervalEnumeration(FloatIntervalDomain) - Constructor for class org.jacop.floats.core.FloatIntervalDomainIntervalEnumeration
It creates an enumeration for a given interval domain.
floatIntervalEnumeration() - Method in class org.jacop.floats.core.FloatDomain
It returns interval enumeration of the domain values.
floatIntervalEnumeration() - Method in class org.jacop.floats.core.FloatIntervalDomain
It returns interval enumeration of the domain values.
FloatIntervalEnumeration - Class in org.jacop.floats.core
Defines a methods for enumerating values contain in the intersal domain.
FloatIntervalEnumeration() - Constructor for class org.jacop.floats.core.FloatIntervalEnumeration
 
FloatMinimize - Class in org.jacop.examples.flatzinc
The class Run is used to run test programs for JaCoP package.
FloatVar - Class in org.jacop.floats.core
Defines a Float Domain Variable and related operations on it.
FloatVar(Store, String, FloatDomain) - Constructor for class org.jacop.floats.core.FloatVar
It creates a variable in a given store, with a given name and a given domain.
FloatVar(Store, FloatDomain) - Constructor for class org.jacop.floats.core.FloatVar
It creates a variable in a given store, with a given name and a given domain.
FloatVar() - Constructor for class org.jacop.floats.core.FloatVar
No parameter, explicit, empty constructor for subclasses.
FloatVar(Store) - Constructor for class org.jacop.floats.core.FloatVar
This constructor creates a variable with empty domain (standard FloatIntervalDomain domain), automatically generated name, and empty attached constraint list.
FloatVar(Store, double, double) - Constructor for class org.jacop.floats.core.FloatVar
This constructor creates a variable with a domain between min..max, automatically generated name, and empty attached constraint list.
FloatVar(Store, String) - Constructor for class org.jacop.floats.core.FloatVar
This constructor creates a variable with an empty domain (standard IntervalDomain domain), the specified name, and an empty attached constraint list.
FloatVar(Store, String, double, double) - Constructor for class org.jacop.floats.core.FloatVar
This constructor creates a variable in a given store, with the domain specified by min..max and with the given name.
Flowers - Class in org.jacop.examples.fd
It is quite complex logic puzzle about flowers.
Flowers() - Constructor for class org.jacop.examples.fd.Flowers
 
flowOffset - Variable in class org.jacop.constraints.netflow.ArcCompanion
Current lower capacity of the arc
flushQueue(Collection<Var>) - Method in class org.jacop.constraints.geost.Geost
It does the processing needed given the set of variables that was updated between two consecutive calls to the consistency function.
food - Variable in class org.jacop.examples.fd.Diet
 
ForbiddenArea - Class in org.jacop.constraints.geost
 
ForbiddenArea(Geost, int[], int[]) - Constructor for class org.jacop.constraints.geost.ForbiddenArea
It constructs an internal constraint forbidding an object to be placed within this aread.
forceAsserts() - Static method in class org.jacop.constraints.netflow.Assert
 
forClass() - Method in interface org.jacop.api.Replaceable
 
forClass() - Method in class org.jacop.constraints.replace.ReifiedIfThen
 
forget() - Method in class org.jacop.jasat.core.Core
removes the less useful learnt clauses to free memory
forget() - Method in class org.jacop.satwrapper.SatWrapper
asks the solver to forget useless clauses, to free memory
FORGET_THRESHOLD - Variable in class org.jacop.jasat.modules.HeuristicForgetModule
threshold of activity under which a clause is removed
ForgetListener - Interface in org.jacop.jasat.modules.interfaces
called when the solver forget() method is called.
forgetModules - Variable in class org.jacop.jasat.core.Core
 
format() - Static method in class org.jacop.floats.core.FloatDomain
 
forward - Variable in class org.jacop.constraints.netflow.simplex.Arc
whether this arc is a forward arc or a residual arc
forwardMap - Variable in class org.jacop.util.QueueForward
 
FourIslands - Class in org.jacop.examples.fd
It is a very simple puzzle about islands and bridges.
FourIslands() - Constructor for class org.jacop.examples.fd.FourIslands
 
frame - Variable in class org.jacop.constraints.geost.ObstacleObjectFrame
the frame is the area that is ensured to be covered by the obstacle, given the domain of its origin variables
freeBoxes - Static variable in class org.jacop.constraints.geost.DBox
static store of available boxes, accessible by dimension.
freePosition - Variable in class org.jacop.util.MDD
It specifies the first position in the array which is available for use.
freeSearch() - Method in class org.jacop.fz.Options
It defines whether search annotation can be ignored.
fsm - Variable in class org.jacop.constraints.regular.Regular
It specifies finite state machine used by this regular.
FSM - Class in org.jacop.util.fsm
Deterministic Finite Acyclic graph.
FSM(FSMState, Set<FSMState>, Set<FSMState>) - Constructor for class org.jacop.util.fsm.FSM
It creates a Finite State Machine.
FSM() - Constructor for class org.jacop.util.fsm.FSM
It creates a Finite State Machine used by Regular constraint constructor.
FSMState - Class in org.jacop.util.fsm
 
FSMState(HashSet<FSMTransition>, int) - Constructor for class org.jacop.util.fsm.FSMState
It constructs a FSM state.
FSMState() - Constructor for class org.jacop.util.fsm.FSMState
It creates a state with id equl to the number of instances FSMState created.
FSMState(FSMState) - Constructor for class org.jacop.util.fsm.FSMState
It creates a state with an id as the id specified by a supplied state.
FSMTransition - Class in org.jacop.util.fsm
 
FSMTransition(IntDomain, FSMState) - Constructor for class org.jacop.util.fsm.FSMTransition
It constructs a finite machine state transition.
fullConsistencyPassesWithNarrowingEvent - Variable in class org.jacop.constraints.Alldistinct
It computes how many times did consistency execution has been re-executed due to narrowing event at the end of the consistency function.
FurnitureMoving - Class in org.jacop.examples.fd
It is a simple logic puzzle about furniture moving.
FurnitureMoving() - Constructor for class org.jacop.examples.fd.FurnitureMoving
 
Fz2jacop - Class in org.jacop.fz
An executable to parse and execute the flatzinc file.
Fz2jacop() - Constructor for class org.jacop.fz.Fz2jacop
 

G

Gardner - Class in org.jacop.examples.set
It specifies a simple Gardner problem which use set functionality from JaCoP.
Gardner() - Constructor for class org.jacop.examples.set.Gardner
 
Gates - Class in org.jacop.examples.fd
It specifies an adder using gates specified by extensional constraints.
Gates() - Constructor for class org.jacop.examples.fd.Gates
 
GCC - Class in org.jacop.constraints
GCC constraint counts the number of occurences of given values in x variables.
GCC(IntVar[], IntVar[]) - Constructor for class org.jacop.constraints.GCC
It constructs global cardinality constraint.
GCC(List<? extends IntVar>, List<? extends IntVar>) - Constructor for class org.jacop.constraints.GCC
It constructs global cardinality constraint.
ge - Static variable in class org.jacop.floats.constraints.linear.Linear
Defines relations
generate(String) - Method in class org.jacop.util.LengauerTarjan
 
generate_allZero_reif(IntVar[], IntVar) - Method in class org.jacop.satwrapper.SatTranslation
 
generate_and(IntVar[], IntVar) - Method in class org.jacop.satwrapper.SatTranslation
 
generate_clause(IntVar[], IntVar[]) - Method in class org.jacop.satwrapper.SatTranslation
 
generate_clause_reif(IntVar[], IntVar[], IntVar) - Method in class org.jacop.satwrapper.SatTranslation
 
generate_eq(IntVar, IntVar) - Method in class org.jacop.satwrapper.SatTranslation
 
generate_eq_reif(IntVar, IntVar, IntVar) - Method in class org.jacop.satwrapper.SatTranslation
 
generate_implication(IntVar, IntVar) - Method in class org.jacop.satwrapper.SatTranslation
 
generate_implication_reif(IntVar, IntVar, IntVar) - Method in class org.jacop.satwrapper.SatTranslation
 
generate_le(IntVar, IntVar) - Method in class org.jacop.satwrapper.SatTranslation
 
generate_le_reif(IntVar, IntVar, IntVar) - Method in class org.jacop.satwrapper.SatTranslation
 
generate_lt(IntVar, IntVar) - Method in class org.jacop.satwrapper.SatTranslation
 
generate_lt_reif(IntVar, IntVar, IntVar) - Method in class org.jacop.satwrapper.SatTranslation
 
generate_neq_reif(IntVar, IntVar, IntVar) - Method in class org.jacop.satwrapper.SatTranslation
 
generate_not(IntVar, IntVar) - Method in class org.jacop.satwrapper.SatTranslation
 
generate_or(IntVar[], IntVar) - Method in class org.jacop.satwrapper.SatTranslation
 
generate_xor(IntVar[], IntVar) - Method in class org.jacop.satwrapper.SatTranslation
To represent XOR function in CNF one needs to have 2^{n-1} clauses, where n is the size of your XOR function :( Our method cuts list to 3 or 2 element parts, generates XOR for them and composesd them back to the original XOR.
generate_xor(IntVar, IntVar, IntVar) - Method in class org.jacop.satwrapper.SatTranslation
 
generate_xor(IntVar, IntVar, IntVar, IntVar) - Method in class org.jacop.satwrapper.SatTranslation
 
GenericMemoryPool<E> - Class in org.jacop.jasat.utils
Deprecated.
GenericMemoryPool(Factory<E>) - Constructor for class org.jacop.jasat.utils.GenericMemoryPool
Deprecated.
 
genInternalConstraints(Geost) - Method in interface org.jacop.constraints.geost.ExternalConstraint
It generates internal constraints which will be used by Geost's sweeping algorithm.
genInternalConstraints() - Method in class org.jacop.constraints.geost.Geost
 
genInternalConstraints(Geost) - Method in class org.jacop.constraints.geost.InArea
 
genInternalConstraints(Geost) - Method in class org.jacop.constraints.geost.NonOverlapping
 
GeometricCalculator<T extends Var> - Class in org.jacop.search.restart
Defines functionality for constant calculator for restart search
GeometricCalculator(double, int) - Constructor for class org.jacop.search.restart.GeometricCalculator
 
Geost - Class in org.jacop.constraints.geost
 
Geost(Collection<GeostObject>, Collection<ExternalConstraint>, Collection<Shape>) - Constructor for class org.jacop.constraints.geost.Geost
 
Geost(GeostObject[], ExternalConstraint[], Shape[]) - Constructor for class org.jacop.constraints.geost.Geost
It creates a geost constraint from provided objects, external constraints, as well as shapes.
Geost.SweepDirection - Enum in org.jacop.constraints.geost
 
GeostExample - Class in org.jacop.examples.fd
It specifies an example where squares of the given size must be placed within a square of a given size.
GeostExample() - Constructor for class org.jacop.examples.fd.GeostExample
 
GeostObject - Class in org.jacop.constraints.geost
 
GeostObject(int, IntVar[], IntVar, IntVar, IntVar, IntVar) - Constructor for class org.jacop.constraints.geost.GeostObject
It constructs a Geost object with all the attributes needed by the Geost constraint.
GeostObject.TimeBoundConstraint - Class in org.jacop.constraints.geost
 
get(int) - Method in class org.jacop.jasat.utils.structures.IntHashMap
get the value associated with key, or null otherwise
get(int) - Method in class org.jacop.jasat.utils.structures.IntMap
get the value associated with the key, or null
get(int) - Method in class org.jacop.jasat.utils.structures.IntSet
 
get(int) - Method in class org.jacop.jasat.utils.structures.IntVec
 
get(int) - Method in class org.jacop.util.SimpleArrayList
Returns the element at the specified position in this list.
getAll() - Method in class org.jacop.fz.Options
It returns true if the search for all solution has been requested.
getAllocatedInstance(int) - Static method in class org.jacop.constraints.geost.DBox
It returns an instance of DBox of the corresponding dimension, using a previously allocated one if possible
getAnnId() - Method in class org.jacop.fz.ASTAnnotation
 
getBacktracks() - Method in class org.jacop.search.DepthFirstSearch
It returns number of backtracks performed by the search.
getBacktracks() - Method in class org.jacop.search.PrioritySearch
 
getBacktracks() - Method in interface org.jacop.search.Search
It returns number of backtracks performed by the search.
getBoundConsistency() - Method in class org.jacop.fz.Options
It defines whether to use bound consistency.
getC() - Method in class org.jacop.constraints.XeqC
It returns the constant to which a given variable should be equal to.
getC() - Method in class org.jacop.floats.constraints.PeqC
It returns the constant to which a given variable should be equal to.
getC() - Method in class org.jacop.floats.constraints.PneqC
It returns the constant to which a given variable should be equal to.
getChoiceConstraint(int) - Method in class org.jacop.floats.search.SplitRandomSelectFloat
 
getChoiceConstraint(int) - Method in class org.jacop.floats.search.SplitSelectFloat
 
getChoiceConstraint(int) - Method in class org.jacop.search.InputOrderSelect
It always returns null as choice point is obtained by getChoiceVariable and getChoiceValue.
getChoiceConstraint(int) - Method in class org.jacop.search.RandomSelect
It always returns null as choice point is obtained by getChoiceVariable and getChoiceValue.
getChoiceConstraint(int) - Method in interface org.jacop.search.SelectChoicePoint
It returns the constraint which is the base of the choice point.
getChoiceConstraint(int) - Method in class org.jacop.search.SimpleMatrixSelect
It always returns null as choice point is obtained by getChoiceVariable and getChoiceValue.
getChoiceConstraint(int) - Method in class org.jacop.search.SimpleSelect
It always returns null as choice point is obtained by getChoiceVariable and getChoiceValue.
getChoiceConstraint(int) - Method in class org.jacop.search.SplitRandomSelect
 
getChoiceConstraint(int) - Method in class org.jacop.search.SplitSelect
 
getChoiceConstraint(int) - Method in class org.jacop.search.TraceGenerator
 
getChoiceValue() - Method in class org.jacop.search.InputOrderSelect
It returns a value which is the base of the next choice point.
getChoiceValue() - Method in class org.jacop.search.RandomSelect
It returns a value which is the base of the next choice point.
getChoiceValue() - Method in interface org.jacop.search.SelectChoicePoint
It returns a value which is the base of the next choice point.
getChoiceValue() - Method in class org.jacop.search.SimpleMatrixSelect
It returns a value which is the base of the next choice point.
getChoiceValue() - Method in class org.jacop.search.SimpleSelect
It returns a value which is the base of the next choice point.
getChoiceValue() - Method in class org.jacop.search.TraceGenerator
 
getChoiceVariable(int) - Method in class org.jacop.floats.search.SplitRandomSelectFloat
 
getChoiceVariable(int) - Method in class org.jacop.floats.search.SplitSelectFloat
 
getChoiceVariable(int) - Method in class org.jacop.search.InputOrderSelect
It returns the variable which is the base on the next choice point.
getChoiceVariable(int) - Method in class org.jacop.search.RandomSelect
It returns the variable which is the base on the next choice point.
getChoiceVariable(int) - Method in interface org.jacop.search.SelectChoicePoint
It returns the variable which is the base on the next choice point.
getChoiceVariable(int) - Method in class org.jacop.search.SimpleMatrixSelect
It returns the variable which is the base on the next choice point.
getChoiceVariable(int) - Method in class org.jacop.search.SimpleSelect
It returns the variable which is the base on the next choice point.
getChoiceVariable(int) - Method in class org.jacop.search.SplitRandomSelect
 
getChoiceVariable(int) - Method in class org.jacop.search.SplitSelect
 
getChoiceVariable(int) - Method in class org.jacop.search.TraceGenerator
 
getCompanion() - Method in class org.jacop.constraints.netflow.simplex.Arc
 
getConsistencyListener() - Method in class org.jacop.search.DepthFirstSearch
 
getConsistencyListener() - Method in interface org.jacop.search.Search
It returns the root of the Consistency Listener.
getConsistencyPruningEvent(Var) - Method in class org.jacop.constraints.ArgMax
 
getConsistencyPruningEvent(Var) - Method in class org.jacop.constraints.ArgMin
 
getConsistencyPruningEvent(Var) - Method in class org.jacop.constraints.Constraint
It retrieves the pruning event which causes reevaluation of the constraint.
getConsistencyPruningEvent(Var) - Method in class org.jacop.constraints.Element
 
getConsistencyPruningEvent(Var) - Method in class org.jacop.constraints.Eq
 
getConsistencyPruningEvent(Var) - Method in class org.jacop.constraints.geost.Geost
 
getConsistencyPruningEvent(Var) - Method in class org.jacop.constraints.IfThen
 
getConsistencyPruningEvent(Var) - Method in class org.jacop.constraints.IfThenElse
 
getConsistencyPruningEvent(Var) - Method in class org.jacop.constraints.Implies
 
getConsistencyPruningEvent(Var) - Method in class org.jacop.constraints.netflow.NetworkFlow
 
getConsistencyPruningEvent(Var) - Method in class org.jacop.constraints.Not
 
getConsistencyPruningEvent(Var) - Method in class org.jacop.constraints.Reified
 
getConsistencyPruningEvent(Var) - Method in class org.jacop.constraints.Subcircuit
 
getConsistencyPruningEvent(Var) - Method in class org.jacop.constraints.Xor
 
getConsistencyPruningEvent(Var) - Method in class org.jacop.satwrapper.SatWrapper
 
getConsistencyPruningEvent(Var) - Method in class org.jacop.set.constraints.CardAeqX
 
getConsistencyPruningEvent(Var) - Method in class org.jacop.set.constraints.ElementSet
 
getConsistencyPruningEvent(Var) - Method in class org.jacop.set.constraints.Match
 
getConsistencyPruningEvent(Var) - Method in class org.jacop.set.constraints.SumWeightedSet
 
getConsistencyPruningEvent(Var) - Method in class org.jacop.set.constraints.XeqA
 
getConsistencyPruningEvent(Var) - Method in class org.jacop.set.constraints.XinA
 
getConstant(int) - Method in class org.jacop.fz.Tables
 
getConstantBoolean(int) - Method in class org.jacop.fz.Tables
 
getConstraints() - Method in class org.jacop.core.Store
 
getCorrespondingObject() - Method in class org.jacop.constraints.geost.GeostObject.TimeBoundConstraint
It returns the corresponding object for which this time constraint corresponds to.
getCost() - Method in class org.jacop.fz.FlatzincLoader
 
getCostValue() - Method in class org.jacop.search.DepthFirstSearch
 
getCostValue() - Method in interface org.jacop.search.Search
It returns the value of the cost int variable for the best solution.
getCostValueFloat() - Method in class org.jacop.search.DepthFirstSearch
 
getCostValueFloat() - Method in interface org.jacop.search.Search
It returns the value of the cost float variable for the best solution.
getCostVariable() - Method in class org.jacop.search.DepthFirstSearch
 
getCostVariable() - Method in interface org.jacop.search.Search
It returns the cost variable.
getCPUTime() - Method in class org.jacop.fz.SystemTimer
 
getCPUTime() - Method in class org.jacop.fz.ThreadTimer
 
getCriticalPosition(int) - Method in class org.jacop.constraints.knapsack.Tree
It finds a leaf which reaches the limit of the given capacity.
getCurrentConstraint() - Method in class org.jacop.core.Store
This function returns the constraint which is currently reevaluated.
getCurrentCost() - Method in interface org.jacop.search.sgmpcs.ImproveSolution
 
getCurrentCost() - Method in class org.jacop.search.sgmpcs.SimpleImprovementSearch
 
getDatabaseIndex() - Method in class org.jacop.jasat.core.clauses.AbstractClausesDatabase
 
getDecay() - Method in class org.jacop.core.Store
 
getDecay() - Method in class org.jacop.fz.Options
 
getDecisions() - Method in class org.jacop.search.DepthFirstSearch
It returns number of decisions performed by the search.
getDecisions() - Method in class org.jacop.search.PrioritySearch
 
getDecisions() - Method in interface org.jacop.search.Search
It returns number of decisions performed by the search.
getDefaultConsistencyPruningEvent() - Method in class org.jacop.constraints.AbsXeqY
 
getDefaultConsistencyPruningEvent() - Method in class org.jacop.constraints.Alldiff
 
getDefaultConsistencyPruningEvent() - Method in class org.jacop.constraints.Alldifferent
 
getDefaultConsistencyPruningEvent() - Method in class org.jacop.constraints.Alldistinct
 
getDefaultConsistencyPruningEvent() - Method in class org.jacop.constraints.Among
 
getDefaultConsistencyPruningEvent() - Method in class org.jacop.constraints.AmongVar
 
getDefaultConsistencyPruningEvent() - Method in class org.jacop.constraints.And
 
getDefaultConsistencyPruningEvent() - Method in class org.jacop.constraints.AndBoolSimple
 
getDefaultConsistencyPruningEvent() - Method in class org.jacop.constraints.AndBoolVector
 
getDefaultConsistencyPruningEvent() - Method in class org.jacop.constraints.ArgMax
 
getDefaultConsistencyPruningEvent() - Method in class org.jacop.constraints.ArgMin
 
getDefaultConsistencyPruningEvent() - Method in class org.jacop.constraints.Assignment
 
getDefaultConsistencyPruningEvent() - Method in class org.jacop.constraints.AtLeast
 
getDefaultConsistencyPruningEvent() - Method in class org.jacop.constraints.AtMost
 
getDefaultConsistencyPruningEvent() - Method in class org.jacop.constraints.binpacking.Binpacking
 
getDefaultConsistencyPruningEvent() - Method in class org.jacop.constraints.BoolClause
 
getDefaultConsistencyPruningEvent() - Method in class org.jacop.constraints.ChannelImply
 
getDefaultConsistencyPruningEvent() - Method in class org.jacop.constraints.ChannelReif
 
getDefaultConsistencyPruningEvent() - Method in class org.jacop.constraints.Circuit
 
getDefaultConsistencyPruningEvent() - Method in class org.jacop.constraints.Conditional
 
getDefaultConsistencyPruningEvent() - Method in class org.jacop.constraints.Constraint
 
getDefaultConsistencyPruningEvent() - Method in class org.jacop.constraints.Count
 
getDefaultConsistencyPruningEvent() - Method in class org.jacop.constraints.CountBounds
 
getDefaultConsistencyPruningEvent() - Method in class org.jacop.constraints.CountValues
 
getDefaultConsistencyPruningEvent() - Method in class org.jacop.constraints.CountValuesBounds
 
getDefaultConsistencyPruningEvent() - Method in class org.jacop.constraints.CountVar
 
getDefaultConsistencyPruningEvent() - Method in class org.jacop.constraints.cumulative.Cumulative
 
getDefaultConsistencyPruningEvent() - Method in class org.jacop.constraints.cumulative.CumulativeBasic
 
getDefaultConsistencyPruningEvent() - Method in class org.jacop.constraints.Cumulative
 
getDefaultConsistencyPruningEvent() - Method in class org.jacop.constraints.Diff
 
getDefaultConsistencyPruningEvent() - Method in class org.jacop.constraints.diffn.Nooverlap
 
getDefaultConsistencyPruningEvent() - Method in class org.jacop.constraints.Distance
 
getDefaultConsistencyPruningEvent() - Method in class org.jacop.constraints.Element
 
getDefaultConsistencyPruningEvent() - Method in class org.jacop.constraints.ElementInteger
 
getDefaultConsistencyPruningEvent() - Method in class org.jacop.constraints.ElementIntegerFast
 
getDefaultConsistencyPruningEvent() - Method in class org.jacop.constraints.ElementVariable
 
getDefaultConsistencyPruningEvent() - Method in class org.jacop.constraints.ElementVariableFast
 
getDefaultConsistencyPruningEvent() - Method in class org.jacop.constraints.Eq
 
getDefaultConsistencyPruningEvent() - Method in class org.jacop.constraints.EqBool
 
getDefaultConsistencyPruningEvent() - Method in class org.jacop.constraints.ExtensionalConflictVA
 
getDefaultConsistencyPruningEvent() - Method in class org.jacop.constraints.ExtensionalSupportMDD
 
getDefaultConsistencyPruningEvent() - Method in class org.jacop.constraints.ExtensionalSupportSTR
 
getDefaultConsistencyPruningEvent() - Method in class org.jacop.constraints.ExtensionalSupportVA
 
getDefaultConsistencyPruningEvent() - Method in class org.jacop.constraints.GCC
 
getDefaultConsistencyPruningEvent() - Method in class org.jacop.constraints.geost.Geost
 
getDefaultConsistencyPruningEvent() - Method in class org.jacop.constraints.IfThen
 
getDefaultConsistencyPruningEvent() - Method in class org.jacop.constraints.IfThenBool
 
getDefaultConsistencyPruningEvent() - Method in class org.jacop.constraints.IfThenElse
 
getDefaultConsistencyPruningEvent() - Method in class org.jacop.constraints.Implies
 
getDefaultConsistencyPruningEvent() - Method in class org.jacop.constraints.In
 
getDefaultConsistencyPruningEvent() - Method in class org.jacop.constraints.Increasing
 
getDefaultConsistencyPruningEvent() - Method in class org.jacop.constraints.knapsack.Knapsack
 
getDefaultConsistencyPruningEvent() - Method in class org.jacop.constraints.LexOrder
 
getDefaultConsistencyPruningEvent() - Method in class org.jacop.constraints.Linear
Deprecated.
 
getDefaultConsistencyPruningEvent() - Method in class org.jacop.constraints.LinearInt
 
getDefaultConsistencyPruningEvent() - Method in class org.jacop.constraints.LinearIntDom
 
getDefaultConsistencyPruningEvent() - Method in class org.jacop.constraints.Max
 
getDefaultConsistencyPruningEvent() - Method in class org.jacop.constraints.MaxSimple
 
getDefaultConsistencyPruningEvent() - Method in class org.jacop.constraints.Member
 
getDefaultConsistencyPruningEvent() - Method in class org.jacop.constraints.Min
 
getDefaultConsistencyPruningEvent() - Method in class org.jacop.constraints.MinSimple
 
getDefaultConsistencyPruningEvent() - Method in class org.jacop.constraints.netflow.NetworkFlow
 
getDefaultConsistencyPruningEvent() - Method in class org.jacop.constraints.NoGood
 
getDefaultConsistencyPruningEvent() - Method in class org.jacop.constraints.Not
 
getDefaultConsistencyPruningEvent() - Method in class org.jacop.constraints.Or
 
getDefaultConsistencyPruningEvent() - Method in class org.jacop.constraints.OrBoolSimple
 
getDefaultConsistencyPruningEvent() - Method in class org.jacop.constraints.OrBoolVector
 
getDefaultConsistencyPruningEvent() - Method in class org.jacop.constraints.regular.Regular
 
getDefaultConsistencyPruningEvent() - Method in class org.jacop.constraints.Reified
 
getDefaultConsistencyPruningEvent() - Method in class org.jacop.constraints.Sum
 
getDefaultConsistencyPruningEvent() - Method in class org.jacop.constraints.SumBool
 
getDefaultConsistencyPruningEvent() - Method in class org.jacop.constraints.SumInt
 
getDefaultConsistencyPruningEvent() - Method in class org.jacop.constraints.SumWeight
 
getDefaultConsistencyPruningEvent() - Method in class org.jacop.constraints.SumWeightDom
Deprecated.
 
getDefaultConsistencyPruningEvent() - Method in class org.jacop.constraints.table.SimpleTable
 
getDefaultConsistencyPruningEvent() - Method in class org.jacop.constraints.table.Table
 
getDefaultConsistencyPruningEvent() - Method in class org.jacop.constraints.ValuePrecede
 
getDefaultConsistencyPruningEvent() - Method in class org.jacop.constraints.Values
 
getDefaultConsistencyPruningEvent() - Method in class org.jacop.constraints.VariableTrace
 
getDefaultConsistencyPruningEvent() - Method in class org.jacop.constraints.XdivYeqZ
 
getDefaultConsistencyPruningEvent() - Method in class org.jacop.constraints.XeqC
 
getDefaultConsistencyPruningEvent() - Method in class org.jacop.constraints.XeqY
 
getDefaultConsistencyPruningEvent() - Method in class org.jacop.constraints.XexpYeqZ
 
getDefaultConsistencyPruningEvent() - Method in class org.jacop.constraints.XgtC
 
getDefaultConsistencyPruningEvent() - Method in class org.jacop.constraints.XgteqC
 
getDefaultConsistencyPruningEvent() - Method in class org.jacop.constraints.XgteqY
 
getDefaultConsistencyPruningEvent() - Method in class org.jacop.constraints.XgtY
 
getDefaultConsistencyPruningEvent() - Method in class org.jacop.constraints.XltC
 
getDefaultConsistencyPruningEvent() - Method in class org.jacop.constraints.XlteqC
 
getDefaultConsistencyPruningEvent() - Method in class org.jacop.constraints.XlteqY
 
getDefaultConsistencyPruningEvent() - Method in class org.jacop.constraints.XltY
 
getDefaultConsistencyPruningEvent() - Method in class org.jacop.constraints.XmodYeqZ
 
getDefaultConsistencyPruningEvent() - Method in class org.jacop.constraints.XmulCeqZ
 
getDefaultConsistencyPruningEvent() - Method in class org.jacop.constraints.XmulYeqC
 
getDefaultConsistencyPruningEvent() - Method in class org.jacop.constraints.XmulYeqZ
 
getDefaultConsistencyPruningEvent() - Method in class org.jacop.constraints.XneqC
 
getDefaultConsistencyPruningEvent() - Method in class org.jacop.constraints.XneqY
 
getDefaultConsistencyPruningEvent() - Method in class org.jacop.constraints.Xor
 
getDefaultConsistencyPruningEvent() - Method in class org.jacop.constraints.XorBool
 
getDefaultConsistencyPruningEvent() - Method in class org.jacop.constraints.XplusCeqZ
 
getDefaultConsistencyPruningEvent() - Method in class org.jacop.constraints.XplusClteqZ
 
getDefaultConsistencyPruningEvent() - Method in class org.jacop.constraints.XplusYeqC
 
getDefaultConsistencyPruningEvent() - Method in class org.jacop.constraints.XplusYeqZ
 
getDefaultConsistencyPruningEvent() - Method in class org.jacop.constraints.XplusYgtC
 
getDefaultConsistencyPruningEvent() - Method in class org.jacop.constraints.XplusYlteqZ
 
getDefaultConsistencyPruningEvent() - Method in class org.jacop.floats.constraints.AbsPeqR
 
getDefaultConsistencyPruningEvent() - Method in class org.jacop.floats.constraints.CosPeqR
 
getDefaultConsistencyPruningEvent() - Method in class org.jacop.floats.constraints.ElementFloat
 
getDefaultConsistencyPruningEvent() - Method in class org.jacop.floats.constraints.ElementFloatVariable
 
getDefaultConsistencyPruningEvent() - Method in class org.jacop.floats.constraints.EquationSystem
 
getDefaultConsistencyPruningEvent() - Method in class org.jacop.floats.constraints.ExpPeqR
 
getDefaultConsistencyPruningEvent() - Method in class org.jacop.floats.constraints.linear.Linear
 
getDefaultConsistencyPruningEvent() - Method in class org.jacop.floats.constraints.Max
 
getDefaultConsistencyPruningEvent() - Method in class org.jacop.floats.constraints.Min
 
getDefaultConsistencyPruningEvent() - Method in class org.jacop.floats.constraints.PeqC
 
getDefaultConsistencyPruningEvent() - Method in class org.jacop.floats.constraints.PeqQ
 
getDefaultConsistencyPruningEvent() - Method in class org.jacop.floats.constraints.PgtC
 
getDefaultConsistencyPruningEvent() - Method in class org.jacop.floats.constraints.PgteqC
 
getDefaultConsistencyPruningEvent() - Method in class org.jacop.floats.constraints.PgteqQ
 
getDefaultConsistencyPruningEvent() - Method in class org.jacop.floats.constraints.PgtQ
 
getDefaultConsistencyPruningEvent() - Method in class org.jacop.floats.constraints.PltC
 
getDefaultConsistencyPruningEvent() - Method in class org.jacop.floats.constraints.PlteqC
 
getDefaultConsistencyPruningEvent() - Method in class org.jacop.floats.constraints.PlteqQ
 
getDefaultConsistencyPruningEvent() - Method in class org.jacop.floats.constraints.PltQ
 
getDefaultConsistencyPruningEvent() - Method in class org.jacop.floats.constraints.PmulCeqR
 
getDefaultConsistencyPruningEvent() - Method in class org.jacop.floats.constraints.PmulQeqR
 
getDefaultConsistencyPruningEvent() - Method in class org.jacop.floats.constraints.PneqC
 
getDefaultConsistencyPruningEvent() - Method in class org.jacop.floats.constraints.PneqQ
 
getDefaultConsistencyPruningEvent() - Method in class org.jacop.floats.constraints.PplusCeqR
 
getDefaultConsistencyPruningEvent() - Method in class org.jacop.floats.constraints.PplusQeqR
 
getDefaultConsistencyPruningEvent() - Method in class org.jacop.floats.constraints.SinPeqR
 
getDefaultConsistencyPruningEvent() - Method in class org.jacop.floats.constraints.TanPeqR
 
getDefaultConsistencyPruningEvent() - Method in class org.jacop.floats.constraints.XeqP
 
getDefaultConsistencyPruningEvent() - Method in class org.jacop.satwrapper.SatWrapper
 
getDefaultConsistencyPruningEvent() - Method in class org.jacop.set.constraints.AdiffBeqC
 
getDefaultConsistencyPruningEvent() - Method in class org.jacop.set.constraints.AdisjointB
 
getDefaultConsistencyPruningEvent() - Method in class org.jacop.set.constraints.AeqB
 
getDefaultConsistencyPruningEvent() - Method in class org.jacop.set.constraints.AeqS
 
getDefaultConsistencyPruningEvent() - Method in class org.jacop.set.constraints.AinB
 
getDefaultConsistencyPruningEvent() - Method in class org.jacop.set.constraints.AinS
 
getDefaultConsistencyPruningEvent() - Method in class org.jacop.set.constraints.AintersectBeqC
 
getDefaultConsistencyPruningEvent() - Method in class org.jacop.set.constraints.AleB
 
getDefaultConsistencyPruningEvent() - Method in class org.jacop.set.constraints.AltB
 
getDefaultConsistencyPruningEvent() - Method in class org.jacop.set.constraints.AunionBeqC
 
getDefaultConsistencyPruningEvent() - Method in class org.jacop.set.constraints.CardA
 
getDefaultConsistencyPruningEvent() - Method in class org.jacop.set.constraints.CardAeqX
 
getDefaultConsistencyPruningEvent() - Method in class org.jacop.set.constraints.EinA
 
getDefaultConsistencyPruningEvent() - Method in class org.jacop.set.constraints.ElementSet
 
getDefaultConsistencyPruningEvent() - Method in class org.jacop.set.constraints.ElementSetVariable
 
getDefaultConsistencyPruningEvent() - Method in class org.jacop.set.constraints.Lex
Deprecated.
 
getDefaultConsistencyPruningEvent() - Method in class org.jacop.set.constraints.Match
 
getDefaultConsistencyPruningEvent() - Method in class org.jacop.set.constraints.SinA
 
getDefaultConsistencyPruningEvent() - Method in class org.jacop.set.constraints.SumWeightedSet
 
getDefaultConsistencyPruningEvent() - Method in class org.jacop.set.constraints.XeqA
 
getDefaultConsistencyPruningEvent() - Method in class org.jacop.set.constraints.XinA
 
getDefaultNestedConsistencyPruningEvent() - Method in class org.jacop.constraints.AbsXeqY
 
getDefaultNestedConsistencyPruningEvent() - Method in class org.jacop.constraints.AndBoolSimple
 
getDefaultNestedConsistencyPruningEvent() - Method in class org.jacop.constraints.AndBoolVector
 
getDefaultNestedConsistencyPruningEvent() - Method in class org.jacop.constraints.AtLeast
 
getDefaultNestedConsistencyPruningEvent() - Method in class org.jacop.constraints.AtMost
 
getDefaultNestedConsistencyPruningEvent() - Method in class org.jacop.constraints.BoolClause
 
getDefaultNestedConsistencyPruningEvent() - Method in class org.jacop.constraints.Distance
 
getDefaultNestedConsistencyPruningEvent() - Method in class org.jacop.constraints.EqBool
 
getDefaultNestedConsistencyPruningEvent() - Method in class org.jacop.constraints.IfThenBool
 
getDefaultNestedConsistencyPruningEvent() - Method in class org.jacop.constraints.In
 
getDefaultNestedConsistencyPruningEvent() - Method in class org.jacop.constraints.LinearInt
 
getDefaultNestedConsistencyPruningEvent() - Method in class org.jacop.constraints.LinearIntDom
 
getDefaultNestedConsistencyPruningEvent() - Method in class org.jacop.constraints.Member
 
getDefaultNestedConsistencyPruningEvent() - Method in class org.jacop.constraints.OrBoolSimple
 
getDefaultNestedConsistencyPruningEvent() - Method in class org.jacop.constraints.OrBoolVector
 
getDefaultNestedConsistencyPruningEvent() - Method in class org.jacop.constraints.PrimitiveConstraint
 
getDefaultNestedConsistencyPruningEvent() - Method in class org.jacop.constraints.SumBool
 
getDefaultNestedConsistencyPruningEvent() - Method in class org.jacop.constraints.SumInt
 
getDefaultNestedConsistencyPruningEvent() - Method in class org.jacop.constraints.XeqC
 
getDefaultNestedConsistencyPruningEvent() - Method in class org.jacop.constraints.XeqY
 
getDefaultNestedConsistencyPruningEvent() - Method in class org.jacop.constraints.XgtC
 
getDefaultNestedConsistencyPruningEvent() - Method in class org.jacop.constraints.XgteqC
 
getDefaultNestedConsistencyPruningEvent() - Method in class org.jacop.constraints.XgteqY
 
getDefaultNestedConsistencyPruningEvent() - Method in class org.jacop.constraints.XgtY
 
getDefaultNestedConsistencyPruningEvent() - Method in class org.jacop.constraints.XltC
 
getDefaultNestedConsistencyPruningEvent() - Method in class org.jacop.constraints.XlteqC
 
getDefaultNestedConsistencyPruningEvent() - Method in class org.jacop.constraints.XlteqY
 
getDefaultNestedConsistencyPruningEvent() - Method in class org.jacop.constraints.XltY
 
getDefaultNestedConsistencyPruningEvent() - Method in class org.jacop.constraints.XmulCeqZ
 
getDefaultNestedConsistencyPruningEvent() - Method in class org.jacop.constraints.XmulYeqC
 
getDefaultNestedConsistencyPruningEvent() - Method in class org.jacop.constraints.XneqC
 
getDefaultNestedConsistencyPruningEvent() - Method in class org.jacop.constraints.XneqY
 
getDefaultNestedConsistencyPruningEvent() - Method in class org.jacop.constraints.XplusCeqZ
 
getDefaultNestedConsistencyPruningEvent() - Method in class org.jacop.constraints.XplusClteqZ
 
getDefaultNestedConsistencyPruningEvent() - Method in class org.jacop.constraints.XplusYeqC
 
getDefaultNestedConsistencyPruningEvent() - Method in class org.jacop.constraints.XplusYeqZ
 
getDefaultNestedConsistencyPruningEvent() - Method in class org.jacop.constraints.XplusYgtC
 
getDefaultNestedConsistencyPruningEvent() - Method in class org.jacop.constraints.XplusYlteqZ
 
getDefaultNestedConsistencyPruningEvent() - Method in class org.jacop.floats.constraints.linear.Linear
 
getDefaultNestedConsistencyPruningEvent() - Method in class org.jacop.floats.constraints.PeqC
 
getDefaultNestedConsistencyPruningEvent() - Method in class org.jacop.floats.constraints.PgtC
 
getDefaultNestedConsistencyPruningEvent() - Method in class org.jacop.floats.constraints.PgteqC
 
getDefaultNestedConsistencyPruningEvent() - Method in class org.jacop.floats.constraints.PgteqQ
 
getDefaultNestedConsistencyPruningEvent() - Method in class org.jacop.floats.constraints.PgtQ
 
getDefaultNestedConsistencyPruningEvent() - Method in class org.jacop.floats.constraints.PltC
 
getDefaultNestedConsistencyPruningEvent() - Method in class org.jacop.floats.constraints.PlteqC
 
getDefaultNestedConsistencyPruningEvent() - Method in class org.jacop.floats.constraints.PlteqQ
 
getDefaultNestedConsistencyPruningEvent() - Method in class org.jacop.floats.constraints.PltQ
 
getDefaultNestedConsistencyPruningEvent() - Method in class org.jacop.floats.constraints.PneqC
 
getDefaultNestedConsistencyPruningEvent() - Method in class org.jacop.floats.constraints.PneqQ
 
getDefaultNestedConsistencyPruningEvent() - Method in class org.jacop.floats.constraints.PplusCeqR
 
getDefaultNestedConsistencyPruningEvent() - Method in class org.jacop.set.constraints.AeqB
 
getDefaultNestedConsistencyPruningEvent() - Method in class org.jacop.set.constraints.AeqS
 
getDefaultNestedConsistencyPruningEvent() - Method in class org.jacop.set.constraints.AinB
 
getDefaultNestedConsistencyPruningEvent() - Method in class org.jacop.set.constraints.AinS
 
getDefaultNestedConsistencyPruningEvent() - Method in class org.jacop.set.constraints.AleB
 
getDefaultNestedConsistencyPruningEvent() - Method in class org.jacop.set.constraints.AltB
 
getDefaultNestedConsistencyPruningEvent() - Method in class org.jacop.set.constraints.EinA
 
getDefaultNestedConsistencyPruningEvent() - Method in class org.jacop.set.constraints.SinA
 
getDefaultNestedNotConsistencyPruningEvent() - Method in class org.jacop.constraints.AbsXeqY
 
getDefaultNestedNotConsistencyPruningEvent() - Method in class org.jacop.constraints.AndBoolSimple
 
getDefaultNestedNotConsistencyPruningEvent() - Method in class org.jacop.constraints.AndBoolVector
 
getDefaultNestedNotConsistencyPruningEvent() - Method in class org.jacop.constraints.AtLeast
 
getDefaultNestedNotConsistencyPruningEvent() - Method in class org.jacop.constraints.AtMost
 
getDefaultNestedNotConsistencyPruningEvent() - Method in class org.jacop.constraints.BoolClause
 
getDefaultNestedNotConsistencyPruningEvent() - Method in class org.jacop.constraints.Distance
 
getDefaultNestedNotConsistencyPruningEvent() - Method in class org.jacop.constraints.EqBool
 
getDefaultNestedNotConsistencyPruningEvent() - Method in class org.jacop.constraints.IfThenBool
 
getDefaultNestedNotConsistencyPruningEvent() - Method in class org.jacop.constraints.In
 
getDefaultNestedNotConsistencyPruningEvent() - Method in class org.jacop.constraints.LinearInt
 
getDefaultNestedNotConsistencyPruningEvent() - Method in class org.jacop.constraints.LinearIntDom
 
getDefaultNestedNotConsistencyPruningEvent() - Method in class org.jacop.constraints.Member
 
getDefaultNestedNotConsistencyPruningEvent() - Method in class org.jacop.constraints.OrBoolSimple
 
getDefaultNestedNotConsistencyPruningEvent() - Method in class org.jacop.constraints.OrBoolVector
 
getDefaultNestedNotConsistencyPruningEvent() - Method in class org.jacop.constraints.PrimitiveConstraint
 
getDefaultNestedNotConsistencyPruningEvent() - Method in class org.jacop.constraints.SumBool
 
getDefaultNestedNotConsistencyPruningEvent() - Method in class org.jacop.constraints.SumInt
 
getDefaultNestedNotConsistencyPruningEvent() - Method in class org.jacop.constraints.XeqC
 
getDefaultNestedNotConsistencyPruningEvent() - Method in class org.jacop.constraints.XeqY
 
getDefaultNestedNotConsistencyPruningEvent() - Method in class org.jacop.constraints.XgtC
 
getDefaultNestedNotConsistencyPruningEvent() - Method in class org.jacop.constraints.XgteqC
 
getDefaultNestedNotConsistencyPruningEvent() - Method in class org.jacop.constraints.XgteqY
 
getDefaultNestedNotConsistencyPruningEvent() - Method in class org.jacop.constraints.XgtY
 
getDefaultNestedNotConsistencyPruningEvent() - Method in class org.jacop.constraints.XltC
 
getDefaultNestedNotConsistencyPruningEvent() - Method in class org.jacop.constraints.XlteqC
 
getDefaultNestedNotConsistencyPruningEvent() - Method in class org.jacop.constraints.XlteqY
 
getDefaultNestedNotConsistencyPruningEvent() - Method in class org.jacop.constraints.XltY
 
getDefaultNestedNotConsistencyPruningEvent() - Method in class org.jacop.constraints.XmulCeqZ
 
getDefaultNestedNotConsistencyPruningEvent() - Method in class org.jacop.constraints.XmulYeqC
 
getDefaultNestedNotConsistencyPruningEvent() - Method in class org.jacop.constraints.XneqC
 
getDefaultNestedNotConsistencyPruningEvent() - Method in class org.jacop.constraints.XneqY
 
getDefaultNestedNotConsistencyPruningEvent() - Method in class org.jacop.constraints.XplusCeqZ
 
getDefaultNestedNotConsistencyPruningEvent() - Method in class org.jacop.constraints.XplusClteqZ
 
getDefaultNestedNotConsistencyPruningEvent() - Method in class org.jacop.constraints.XplusYeqC
 
getDefaultNestedNotConsistencyPruningEvent() - Method in class org.jacop.constraints.XplusYeqZ
 
getDefaultNestedNotConsistencyPruningEvent() - Method in class org.jacop.constraints.XplusYgtC
 
getDefaultNestedNotConsistencyPruningEvent() - Method in class org.jacop.constraints.XplusYlteqZ
 
getDefaultNestedNotConsistencyPruningEvent() - Method in class org.jacop.floats.constraints.linear.Linear
 
getDefaultNestedNotConsistencyPruningEvent() - Method in class org.jacop.floats.constraints.PeqC
 
getDefaultNestedNotConsistencyPruningEvent() - Method in class org.jacop.floats.constraints.PgtC
 
getDefaultNestedNotConsistencyPruningEvent() - Method in class org.jacop.floats.constraints.PgteqC
 
getDefaultNestedNotConsistencyPruningEvent() - Method in class org.jacop.floats.constraints.PgteqQ
 
getDefaultNestedNotConsistencyPruningEvent() - Method in class org.jacop.floats.constraints.PgtQ
 
getDefaultNestedNotConsistencyPruningEvent() - Method in class org.jacop.floats.constraints.PltC
 
getDefaultNestedNotConsistencyPruningEvent() - Method in class org.jacop.floats.constraints.PlteqC
 
getDefaultNestedNotConsistencyPruningEvent() - Method in class org.jacop.floats.constraints.PlteqQ
 
getDefaultNestedNotConsistencyPruningEvent() - Method in class org.jacop.floats.constraints.PltQ
 
getDefaultNestedNotConsistencyPruningEvent() - Method in class org.jacop.floats.constraints.PneqC
 
getDefaultNestedNotConsistencyPruningEvent() - Method in class org.jacop.floats.constraints.PneqQ
 
getDefaultNestedNotConsistencyPruningEvent() - Method in class org.jacop.floats.constraints.PplusCeqR
 
getDefaultNestedNotConsistencyPruningEvent() - Method in class org.jacop.set.constraints.AeqB
 
getDefaultNestedNotConsistencyPruningEvent() - Method in class org.jacop.set.constraints.AeqS
 
getDefaultNestedNotConsistencyPruningEvent() - Method in class org.jacop.set.constraints.AinB
 
getDefaultNestedNotConsistencyPruningEvent() - Method in class org.jacop.set.constraints.AinS
 
getDefaultNestedNotConsistencyPruningEvent() - Method in class org.jacop.set.constraints.AleB
 
getDefaultNestedNotConsistencyPruningEvent() - Method in class org.jacop.set.constraints.AltB
 
getDefaultNestedNotConsistencyPruningEvent() - Method in class org.jacop.set.constraints.EinA
 
getDefaultNestedNotConsistencyPruningEvent() - Method in class org.jacop.set.constraints.SinA
 
getDefaultNotConsistencyPruningEvent() - Method in class org.jacop.constraints.AbsXeqY
 
getDefaultNotConsistencyPruningEvent() - Method in class org.jacop.constraints.And
 
getDefaultNotConsistencyPruningEvent() - Method in class org.jacop.constraints.AndBoolSimple
 
getDefaultNotConsistencyPruningEvent() - Method in class org.jacop.constraints.AndBoolVector
 
getDefaultNotConsistencyPruningEvent() - Method in class org.jacop.constraints.AtLeast
 
getDefaultNotConsistencyPruningEvent() - Method in class org.jacop.constraints.AtMost
 
getDefaultNotConsistencyPruningEvent() - Method in class org.jacop.constraints.BoolClause
 
getDefaultNotConsistencyPruningEvent() - Method in class org.jacop.constraints.Count
 
getDefaultNotConsistencyPruningEvent() - Method in class org.jacop.constraints.CountBounds
 
getDefaultNotConsistencyPruningEvent() - Method in class org.jacop.constraints.CountVar
 
getDefaultNotConsistencyPruningEvent() - Method in class org.jacop.constraints.Distance
 
getDefaultNotConsistencyPruningEvent() - Method in class org.jacop.constraints.Eq
 
getDefaultNotConsistencyPruningEvent() - Method in class org.jacop.constraints.EqBool
 
getDefaultNotConsistencyPruningEvent() - Method in class org.jacop.constraints.IfThen
 
getDefaultNotConsistencyPruningEvent() - Method in class org.jacop.constraints.IfThenBool
 
getDefaultNotConsistencyPruningEvent() - Method in class org.jacop.constraints.IfThenElse
 
getDefaultNotConsistencyPruningEvent() - Method in class org.jacop.constraints.Implies
 
getDefaultNotConsistencyPruningEvent() - Method in class org.jacop.constraints.In
 
getDefaultNotConsistencyPruningEvent() - Method in class org.jacop.constraints.LinearInt
 
getDefaultNotConsistencyPruningEvent() - Method in class org.jacop.constraints.LinearIntDom
 
getDefaultNotConsistencyPruningEvent() - Method in class org.jacop.constraints.Member
 
getDefaultNotConsistencyPruningEvent() - Method in class org.jacop.constraints.Not
 
getDefaultNotConsistencyPruningEvent() - Method in class org.jacop.constraints.Or
 
getDefaultNotConsistencyPruningEvent() - Method in class org.jacop.constraints.OrBoolSimple
 
getDefaultNotConsistencyPruningEvent() - Method in class org.jacop.constraints.OrBoolVector
 
getDefaultNotConsistencyPruningEvent() - Method in class org.jacop.constraints.PrimitiveConstraint
 
getDefaultNotConsistencyPruningEvent() - Method in class org.jacop.constraints.Reified
 
getDefaultNotConsistencyPruningEvent() - Method in class org.jacop.constraints.SumBool
 
getDefaultNotConsistencyPruningEvent() - Method in class org.jacop.constraints.SumInt
 
getDefaultNotConsistencyPruningEvent() - Method in class org.jacop.constraints.XeqC
 
getDefaultNotConsistencyPruningEvent() - Method in class org.jacop.constraints.XeqY
 
getDefaultNotConsistencyPruningEvent() - Method in class org.jacop.constraints.XgtC
 
getDefaultNotConsistencyPruningEvent() - Method in class org.jacop.constraints.XgteqC
 
getDefaultNotConsistencyPruningEvent() - Method in class org.jacop.constraints.XgteqY
 
getDefaultNotConsistencyPruningEvent() - Method in class org.jacop.constraints.XgtY
 
getDefaultNotConsistencyPruningEvent() - Method in class org.jacop.constraints.XltC
 
getDefaultNotConsistencyPruningEvent() - Method in class org.jacop.constraints.XlteqC
 
getDefaultNotConsistencyPruningEvent() - Method in class org.jacop.constraints.XlteqY
 
getDefaultNotConsistencyPruningEvent() - Method in class org.jacop.constraints.XltY
 
getDefaultNotConsistencyPruningEvent() - Method in class org.jacop.constraints.XmulCeqZ
 
getDefaultNotConsistencyPruningEvent() - Method in class org.jacop.constraints.XmulYeqC
 
getDefaultNotConsistencyPruningEvent() - Method in class org.jacop.constraints.XneqC
 
getDefaultNotConsistencyPruningEvent() - Method in class org.jacop.constraints.XneqY
 
getDefaultNotConsistencyPruningEvent() - Method in class org.jacop.constraints.Xor
 
getDefaultNotConsistencyPruningEvent() - Method in class org.jacop.constraints.XorBool
 
getDefaultNotConsistencyPruningEvent() - Method in class org.jacop.constraints.XplusCeqZ
 
getDefaultNotConsistencyPruningEvent() - Method in class org.jacop.constraints.XplusClteqZ
 
getDefaultNotConsistencyPruningEvent() - Method in class org.jacop.constraints.XplusYeqC
 
getDefaultNotConsistencyPruningEvent() - Method in class org.jacop.constraints.XplusYeqZ
 
getDefaultNotConsistencyPruningEvent() - Method in class org.jacop.constraints.XplusYgtC
 
getDefaultNotConsistencyPruningEvent() - Method in class org.jacop.constraints.XplusYlteqZ
 
getDefaultNotConsistencyPruningEvent() - Method in class org.jacop.floats.constraints.linear.Linear
 
getDefaultNotConsistencyPruningEvent() - Method in class org.jacop.floats.constraints.PeqC
 
getDefaultNotConsistencyPruningEvent() - Method in class org.jacop.floats.constraints.PeqQ
 
getDefaultNotConsistencyPruningEvent() - Method in class org.jacop.floats.constraints.PgtC
 
getDefaultNotConsistencyPruningEvent() - Method in class org.jacop.floats.constraints.PgteqC
 
getDefaultNotConsistencyPruningEvent() - Method in class org.jacop.floats.constraints.PgteqQ
 
getDefaultNotConsistencyPruningEvent() - Method in class org.jacop.floats.constraints.PgtQ
 
getDefaultNotConsistencyPruningEvent() - Method in class org.jacop.floats.constraints.PltC
 
getDefaultNotConsistencyPruningEvent() - Method in class org.jacop.floats.constraints.PlteqC
 
getDefaultNotConsistencyPruningEvent() - Method in class org.jacop.floats.constraints.PlteqQ
 
getDefaultNotConsistencyPruningEvent() - Method in class org.jacop.floats.constraints.PltQ
 
getDefaultNotConsistencyPruningEvent() - Method in class org.jacop.floats.constraints.PneqC
 
getDefaultNotConsistencyPruningEvent() - Method in class org.jacop.floats.constraints.PneqQ
 
getDefaultNotConsistencyPruningEvent() - Method in class org.jacop.floats.constraints.PplusCeqR
 
getDefaultNotConsistencyPruningEvent() - Method in class org.jacop.floats.constraints.PplusQeqR
 
getDefaultNotConsistencyPruningEvent() - Method in class org.jacop.set.constraints.AeqB
 
getDefaultNotConsistencyPruningEvent() - Method in class org.jacop.set.constraints.AeqS
 
getDefaultNotConsistencyPruningEvent() - Method in class org.jacop.set.constraints.AinB
 
getDefaultNotConsistencyPruningEvent() - Method in class org.jacop.set.constraints.AinS
 
getDefaultNotConsistencyPruningEvent() - Method in class org.jacop.set.constraints.AleB
 
getDefaultNotConsistencyPruningEvent() - Method in class org.jacop.set.constraints.AltB
 
getDefaultNotConsistencyPruningEvent() - Method in class org.jacop.set.constraints.EinA
 
getDefaultNotConsistencyPruningEvent() - Method in class org.jacop.set.constraints.SinA
 
getDefaultNotConsistencyPruningEvent() - Method in class org.jacop.set.constraints.XeqA
 
getDefaultNotConsistencyPruningEvent() - Method in class org.jacop.set.constraints.XinA
 
getDerivative(Store, FloatVar, Set<FloatVar>, FloatVar) - Static method in class org.jacop.floats.constraints.Derivative
 
getDescription() - Method in class org.jacop.core.Store
This function returns the long description of the store.
getDFS() - Method in class org.jacop.fz.FlatzincLoader
 
getDubletonsSkipSingletons(Var[]) - Static method in class org.jacop.constraints.DecomposedConstraint
 
getEfficiency() - Method in class org.jacop.constraints.knapsack.KnapsackItem
It returns an efficiency of that item.
getEfficiency() - Method in class org.jacop.constraints.knapsack.TreeLeaf
It returns computed beforehand the efficiency of the item stored in this tree leaf.
getElementAt(int) - Method in class org.jacop.core.IntDomain
It access the element at the specified position.
getElementAt(int) - Method in class org.jacop.core.IntervalDomain
 
getElementAt(int) - Method in class org.jacop.core.SmallDenseDomain
 
getEventsInclusion(int) - Method in class org.jacop.core.Domain
It specifies what events should be executed if a given event occurs.
getEventsInclusion(int) - Method in class org.jacop.core.IntDomain
It helps to specify what events should be executed if a given event occurs.
getEventsInclusion(int) - Method in class org.jacop.floats.core.FloatDomain
It helps to specify what events should be executed if a given event occurs.
getEventsInclusion(int) - Method in class org.jacop.set.core.SetDomain
It helps to specify what events should be executed if a given event occurs.
getExitChildListener() - Method in class org.jacop.search.DepthFirstSearch
 
getExitChildListener() - Method in interface org.jacop.search.Search
It returns the root of the ExitChildListener.
getExitListener() - Method in class org.jacop.search.DepthFirstSearch
 
getExitListener() - Method in interface org.jacop.search.Search
It returns the root of the ExitListener.
getExplanation(int) - Method in class org.jacop.jasat.core.Trail
It returns the index of the clause that caused this variable to be set
getFailLimit() - Method in class org.jacop.search.restart.Calculator
 
getFailLimit() - Method in interface org.jacop.search.sgmpcs.ImproveSolution
 
getFailLimit() - Method in class org.jacop.search.sgmpcs.SGMPCSCalculator
 
getFailLimit() - Method in class org.jacop.search.sgmpcs.SimpleImprovementSearch
 
getFile() - Method in class org.jacop.fz.Options
It returns the file input stream for the file containing flatzinc description.
getFileName() - Method in class org.jacop.fz.Options
It returns the file name for the file containing flatzinc description.
getFinalCost() - Method in class org.jacop.floats.search.Optimize
 
getFinalVarValues() - Method in class org.jacop.floats.search.Optimize
 
getFirst() - Method in class org.jacop.constraints.knapsack.Tree
Used to search for mandatory
getFirstChanged() - Method in class org.jacop.core.Store
This function returns the constraint scheduled for re-evaluation.
getFloat() - Method in class org.jacop.fz.ASTScalarFlatExpr
 
getFloat(String) - Method in class org.jacop.fz.Tables
It returns an float parameter of a given identity.
getFloatArray(String) - Method in class org.jacop.fz.Tables
It obtains the int array of the given unique identity.
getFloatConstant(double) - Method in class org.jacop.fz.Tables
 
getFloatCost() - Method in class org.jacop.search.restart.RestartSearch
 
getFloatVariable(String) - Method in class org.jacop.fz.Tables
It returns the variable of the given identity.
getFloatVarSelect() - Method in class org.jacop.fz.SearchItem
 
getFreshVariable() - Method in class org.jacop.jasat.core.Core
gets a fresh variable that one can use for example for lazy clause generation.
getGuideConstraint() - Method in class org.jacop.constraints.Alldistinct
 
getGuideConstraint() - Method in class org.jacop.constraints.Constraint
It specifies a constraint which if imposed by search will enhance propagation of this constraint.
getGuideConstraint() - Method in class org.jacop.constraints.In
 
getGuideConstraint() - Method in class org.jacop.constraints.Sum
 
getGuideConstraint() - Method in class org.jacop.constraints.SumInt
 
getGuideValue() - Method in class org.jacop.constraints.Alldistinct
 
getGuideValue() - Method in class org.jacop.constraints.Constraint
This function provides a value which if assigned to a variable returned by getGuideVariable() will enhance propagation of this constraint.
getGuideValue() - Method in class org.jacop.constraints.In
 
getGuideValue() - Method in class org.jacop.constraints.Sum
 
getGuideValue() - Method in class org.jacop.constraints.SumInt
 
getGuideVariable() - Method in class org.jacop.constraints.Alldistinct
 
getGuideVariable() - Method in class org.jacop.constraints.Constraint
This function provides a variable which assigned a value returned by will enhance propagation of this constraint.
getGuideVariable() - Method in class org.jacop.constraints.In
 
getGuideVariable() - Method in class org.jacop.constraints.Sum
 
getGuideVariable() - Method in class org.jacop.constraints.SumInt
 
getHigh() - Method in class org.jacop.fz.ASTFloatTiExprTail
 
getHigh() - Method in class org.jacop.fz.ASTIntTiExprTail
 
getIdent() - Method in class org.jacop.fz.ASTScalarFlatExpr
 
getIdent() - Method in class org.jacop.fz.ASTSolveExpr
 
getIndex() - Method in class org.jacop.fz.ASTSolveExpr
 
getIndex() - Method in class org.jacop.search.InputOrderSelect
It returns the current index.
getIndex() - Method in class org.jacop.search.RandomSelect
It returns the current index.
getIndex() - Method in interface org.jacop.search.SelectChoicePoint
It returns the current index.
getIndex() - Method in class org.jacop.search.SimpleMatrixSelect
It returns the current index.
getIndex() - Method in class org.jacop.search.SimpleSelect
It returns the current index.
getIndex() - Method in class org.jacop.search.TraceGenerator
 
getInitializeListener() - Method in class org.jacop.search.DepthFirstSearch
 
getInitializeListener() - Method in interface org.jacop.search.Search
It returns the root of the InitializationListener.
getInt() - Method in class org.jacop.fz.ASTIntFlatExpr
 
getInt() - Method in class org.jacop.fz.ASTScalarFlatExpr
 
getInt(ASTScalarFlatExpr) - Method in class org.jacop.fz.constraints.Support
 
getInt(ASTScalarFlatExpr) - Method in class org.jacop.fz.SearchItem
 
getInt(String) - Method in class org.jacop.fz.Tables
It returns an int parameter of a given identity.
getIntArray(String) - Method in class org.jacop.fz.Tables
It obtains the int array of the given unique identity.
getIntCost() - Method in class org.jacop.search.restart.RestartSearch
 
getInterval(int) - Method in class org.jacop.core.IntDomain
It returns required interval.
getInterval(int) - Method in class org.jacop.core.IntervalDomain
 
getInterval(int) - Method in class org.jacop.core.SmallDenseDomain
 
getInterval(int) - Method in class org.jacop.floats.core.FloatDomain
It returns required interval.
getInterval(int) - Method in class org.jacop.floats.core.FloatIntervalDomain
 
getInterval() - Method in class org.jacop.fz.Options
It returns true if the interval print mode has been requested.
getKind() - Method in class org.jacop.fz.ASTSolveKind
 
getLast() - Method in class org.jacop.constraints.knapsack.Tree
It returns the last (the least efficient) item in the tree.
getLeftLimit() - Method in class org.jacop.satwrapper.translation.SatCPBridge
the left limit of the range
getLevel() - Method in interface org.jacop.core.BacktrackableManager
It returns the current level at which the changes are being registered.
getLevel() - Method in class org.jacop.core.SimpleBacktrackableManager
 
getLevel(int) - Method in class org.jacop.jasat.core.Trail
It returns the level at which @param var has been set.
getLevelToBackjump(MapClause) - Method in class org.jacop.jasat.core.ConflictLearning
It computes to which level we should backjump to solve the conflict explained by @param explanationClause
getLevelToBackjump() - Method in class org.jacop.jasat.core.Core
Computes at which level we should backjump to solve the conflict.
getLevelToBackjump(MapClause) - Method in class org.jacop.jasat.core.Core
 
getList() - Method in class org.jacop.fz.ASTIntLiterals
 
getLiteralToAssert() - Method in class org.jacop.jasat.modules.ActivityModule
returns the non-set literal with highest activity, if any
getLow() - Method in class org.jacop.fz.ASTFloatTiExprTail
 
getLow() - Method in class org.jacop.fz.ASTIntTiExprTail
 
getLuby(int) - Method in class org.jacop.search.restart.LubyCalculator
 
getLuby(int) - Method in class org.jacop.search.sgmpcs.SGMPCSearch
 
getManyFreshVariables(int) - Method in class org.jacop.jasat.core.Core
get several new variables at once, more efficiently than running getFreshVariable() @param number times.
getMaximumDepth() - Method in class org.jacop.search.DepthFirstSearch
It returns the maximum depth reached by a search.
getMaximumDepth() - Method in class org.jacop.search.PrioritySearch
 
getMaximumDepth() - Method in interface org.jacop.search.Search
It returns the maximum depth reached by a search.
getMaxVariable() - Method in class org.jacop.jasat.core.Core
 
getMostActiveLiteral() - Method in class org.jacop.satwrapper.SatWrapper
asks the solver for which literal is the most active.
getMostSignificantDimension() - Method in interface org.jacop.constraints.geost.LexicographicalOrder
This is equivalent to the call precedenceOf(0).
getMostSignificantDimension() - Method in class org.jacop.constraints.geost.PredefinedOrder
 
getMostSignificantDimension() - Method in class org.jacop.constraints.geost.ShiftOrder
 
getName() - Method in class org.jacop.core.Store
This function returns the id of the store.
getName() - Method in class org.jacop.fz.ASTConstElem
 
getNestedPruningEvent(Var, boolean) - Method in class org.jacop.constraints.And
 
getNestedPruningEvent(Var, boolean) - Method in class org.jacop.constraints.Eq
 
getNestedPruningEvent(Var, boolean) - Method in class org.jacop.constraints.IfThen
 
getNestedPruningEvent(Var, boolean) - Method in class org.jacop.constraints.IfThenElse
 
getNestedPruningEvent(Var, boolean) - Method in class org.jacop.constraints.Implies
 
getNestedPruningEvent(Var, boolean) - Method in class org.jacop.constraints.Not
 
getNestedPruningEvent(Var, boolean) - Method in class org.jacop.constraints.Or
 
getNestedPruningEvent(Var, boolean) - Method in class org.jacop.constraints.PrimitiveConstraint
It retrieves the pruning event for which any composed constraint which uses this constraint should be evaluated.
getNestedPruningEvent(Var, boolean) - Method in class org.jacop.constraints.Reified
 
getNestedPruningEvent(Var, boolean) - Method in class org.jacop.constraints.Xor
 
getNestedPruningEvent(Var, boolean) - Method in class org.jacop.constraints.XorBool
 
getNestedPruningEvent(Var, boolean) - Method in class org.jacop.set.constraints.XeqA
 
getNestedPruningEvent(Var, boolean) - Method in class org.jacop.set.constraints.XinA
 
getNew() - Method in class org.jacop.jasat.utils.GenericMemoryPool
Deprecated.
get an instance of E
getNew(int) - Method in class org.jacop.jasat.utils.MemoryPool
returns an array, from the pool if one is available, allocating it otherwise
getNew() - Method in class org.jacop.jasat.utils.structures.IntTrie.Node
allocate a new value of type E
getNew() - Method in class org.jacop.jasat.utils.structures.IntTrie.SimpleNode
 
getNode(int) - Method in class org.jacop.jasat.utils.structures.IntTrie
get the node associated with i, or maybe the node that would be associated with i if i was in the Trie (*optional* feature)
getNodes() - Method in class org.jacop.search.DepthFirstSearch
It returns number of search nodes explored by the search.
getNodes() - Method in class org.jacop.search.PrioritySearch
 
getNodes() - Method in interface org.jacop.search.Search
It returns number of search nodes explored by the search.
getNotConsistencyPruningEvent(Var) - Method in class org.jacop.constraints.Eq
 
getNotConsistencyPruningEvent(Var) - Method in class org.jacop.constraints.IfThen
 
getNotConsistencyPruningEvent(Var) - Method in class org.jacop.constraints.IfThenElse
 
getNotConsistencyPruningEvent(Var) - Method in class org.jacop.constraints.Implies
 
getNotConsistencyPruningEvent(Var) - Method in class org.jacop.constraints.Not
 
getNotConsistencyPruningEvent(Var) - Method in class org.jacop.constraints.PrimitiveConstraint
It retrieves the pruning event which causes reevaluation of the constraint notConsistency() function.
getNotConsistencyPruningEvent(Var) - Method in class org.jacop.constraints.Reified
 
getNotConsistencyPruningEvent(Var) - Method in class org.jacop.constraints.Xor
 
getNotConsistencyPruningEvent(Var) - Method in class org.jacop.set.constraints.AeqS
 
getNotConsistencyPruningEvent(Var) - Method in class org.jacop.set.constraints.XeqA
 
getNotConsistencyPruningEvent(Var) - Method in class org.jacop.set.constraints.XinA
 
getNumberBoolVariables() - Method in class org.jacop.fz.Tables
 
getNumberFails() - Method in class org.jacop.search.restart.Calculator
 
getNumberFails() - Method in interface org.jacop.search.sgmpcs.ImproveSolution
 
getNumberFails() - Method in class org.jacop.search.sgmpcs.SGMPCSCalculator
 
getNumberFails() - Method in class org.jacop.search.sgmpcs.SimpleImprovementSearch
 
getNumberFloatVariables() - Method in class org.jacop.fz.Tables
 
getNumberSetVariables() - Method in class org.jacop.fz.Tables
 
getNumberSolutions() - Method in class org.jacop.fz.Options
It returns the number of solutions the solver should search for.
getObjectConstraints(GeostObject) - Method in interface org.jacop.constraints.geost.ExternalConstraint
It provides the collection of internal constraints that the given object has to satisfy.
getObjectConstraints(GeostObject) - Method in class org.jacop.constraints.geost.InArea
 
getObjectConstraints(GeostObject) - Method in class org.jacop.constraints.geost.NonOverlapping
 
getObjectScope() - Method in interface org.jacop.constraints.geost.ExternalConstraint
Provides the collection of objects that this constraint applies to
getObjectScope() - Method in class org.jacop.constraints.geost.InArea
 
getObjectScope() - Method in class org.jacop.constraints.geost.NonOverlapping
 
getOptions() - Method in class org.jacop.fz.FlatzincLoader
 
getOutputFilename() - Method in class org.jacop.fz.Options
 
getParentSolution(int) - Method in class org.jacop.search.SimpleSolutionListener
 
getParentSolution(int) - Method in interface org.jacop.search.SolutionListener
 
getPivotPosition() - Method in class org.jacop.search.SimpleMatrixSelect
It returns the position of the pivot variable.
getPrecision() - Method in class org.jacop.fz.Options
It returns precision defined in the command line.
getPreviousDomain() - Method in class org.jacop.core.IntDomain
It returns domain at earlier level at which the change has occurred.
getPreviousDomain() - Method in class org.jacop.core.IntervalDomain
 
getPreviousDomain() - Method in class org.jacop.core.SmallDenseDomain
 
getPriority(int) - Method in class org.jacop.jasat.utils.structures.IntPriorityQueue
accesses the priority of i.
getProfit() - Method in class org.jacop.constraints.knapsack.KnapsackItem
It returns a profit of a single instance of that item.
getProfitOfOne() - Method in class org.jacop.constraints.knapsack.TreeLeaf
 
getPruningEvent(Var) - Method in class org.jacop.constraints.netflow.ArcCompanion
 
getPruningEvent(Var) - Method in class org.jacop.constraints.netflow.DomainStructure
 
getPruningEvent(Var) - Method in class org.jacop.constraints.netflow.MultiVarHandler
 
getPruningEvent(Var) - Method in interface org.jacop.constraints.netflow.VarHandler
Retrieves the consistency pruning event of a handler variable that causes the handler to be reevaluated.
getPSum() - Method in class org.jacop.constraints.knapsack.TreeLeaf
 
getPSum() - Method in class org.jacop.constraints.knapsack.TreeNode
It does not recompute sum of profits.
getRandomValue() - Method in class org.jacop.core.IntDomain
It returns a random value from the domain.
getRandomValue() - Method in class org.jacop.core.IntervalDomain
 
getRandomValue() - Method in class org.jacop.core.SmallDenseDomain
 
getReturnCode() - Method in class org.jacop.jasat.core.Core
before exiting, we must know which return code we must give
getRightLimit() - Method in class org.jacop.satwrapper.translation.SatCPBridge
the right limit of the range
getRoot() - Method in class org.jacop.jasat.utils.structures.IntTrie
 
getSearch() - Method in class org.jacop.examples.fd.ExampleFD
It returns the search used within an example.
getSearch() - Method in class org.jacop.examples.set.ExampleSet
It returns the search used within an example.
getSearch() - Method in class org.jacop.fz.FlatzincLoader
 
getSearch() - Method in class org.jacop.fz.Solve
 
getSearchSeq() - Method in class org.jacop.search.PrioritySearch
 
getSearchVariables() - Method in class org.jacop.examples.fd.ExampleFD
It returns an array list of variables used to model the example.
getSearchVariables() - Method in class org.jacop.examples.set.ExampleSet
It returns an array list of variables used to model the example.
getSeed() - Static method in class org.jacop.core.Store
 
getSelectChoicePoint() - Method in class org.jacop.fz.FlatzincLoader
 
getSet(String) - Method in class org.jacop.fz.Tables
It returns the set of the given identity.
getSetArray(String) - Method in class org.jacop.fz.Tables
It returns the set array of the given id.
getSetVariable(String) - Method in class org.jacop.fz.Tables
It returns the set variable of the given identity.
getSetVariableArray(String) - Method in class org.jacop.fz.Tables
It returns the array of set variables of the given identity.
getShape(int) - Method in class org.jacop.constraints.geost.Geost
It returns the shape with a given id if such exists.
getSize() - Method in class org.jacop.core.BooleanVar
It returns the size of the current domain.
getSize() - Method in class org.jacop.core.Domain
It returns the size of the domain.
getSize() - Method in class org.jacop.core.IntDomain
It returns the size of the domain.
getSize() - Method in class org.jacop.core.IntervalDomain
It returns the size of the domain.
getSize() - Method in class org.jacop.core.IntVar
It returns the size of the current domain.
getSize() - Method in class org.jacop.core.SmallDenseDomain
 
getSize(long) - Method in class org.jacop.core.SmallDenseDomain
It computes the number of 1's in the binary representation of the number given in the field input.
getSize() - Method in class org.jacop.core.Var
It returns the size of the current domain.
getSize() - Method in class org.jacop.floats.core.FloatDomain
It returns the size of the domain.
getSize() - Method in class org.jacop.floats.core.FloatIntervalDomain
It returns the size of the domain.
getSize() - Method in class org.jacop.floats.core.FloatVar
It returns the size of the current domain.
getSize() - Method in class org.jacop.set.core.BoundSetDomain
Returns the number of elements in the domain.
getSize() - Method in class org.jacop.set.core.SetVar
It returns the size of the current domain.
getSize() - Method in class org.jacop.util.IndexDomainView
It returns size of the variable for which the index domain view is being created.
getSizeFloat() - Method in class org.jacop.core.IntVar
It returns the size of the current domain.
getSizeFloat() - Method in class org.jacop.core.Var
It returns the size of the current domain.
getSizeFloat() - Method in class org.jacop.floats.core.FloatIntervalDomain
 
getSizeFloat() - Method in class org.jacop.floats.core.FloatVar
 
getSizeFloat() - Method in class org.jacop.set.core.SetVar
It returns the size of the current domain.
getSolution() - Method in class org.jacop.search.DepthFirstSearch
 
getSolution(int) - Method in class org.jacop.search.DepthFirstSearch
 
getSolution() - Method in interface org.jacop.search.Search
It returns the solution (an assignment of values to variables).
getSolution(int) - Method in interface org.jacop.search.Search
It returns the solution specified by the search.
getSolution() - Method in interface org.jacop.search.sgmpcs.ImproveSolution
 
getSolution() - Method in class org.jacop.search.sgmpcs.SimpleImprovementSearch
 
getSolution(int) - Method in class org.jacop.search.SimpleSolutionListener
It returns the solution number no.
getSolution(int) - Method in interface org.jacop.search.SolutionListener
It returns the solution number no.
getSolutionListener() - Method in class org.jacop.search.DepthFirstSearch
 
getSolutionListener() - Method in interface org.jacop.search.Search
It returns the root Solution Listener.
getSolutions() - Method in class org.jacop.search.SimpleSolutionListener
 
getSolutions() - Method in interface org.jacop.search.SolutionListener
It returns all solutions.
getSolve() - Method in class org.jacop.fz.FlatzincLoader
 
getSolveKind() - Method in class org.jacop.fz.Solve
 
getState(int, int) - Method in class org.jacop.constraints.regular.Regular
Find the state with the corresponding id.
getState(int) - Method in class org.jacop.util.fsm.FSM
It gets state of a given id.
getStatistics() - Method in class org.jacop.constraints.geost.Geost
It returns all the statistics gathered by geost constraint during the search.
getStatistics() - Method in class org.jacop.fz.Options
It returns true if the search statistics are to be displayed.
getStatistics() - Method in class org.jacop.search.PrioritySearch
 
getStore() - Method in class org.jacop.core.Var
This function returns store used by this variable.
getStore() - Method in class org.jacop.examples.fd.ExampleFD
It specifies the constraint store used within an example.
getStore() - Method in class org.jacop.examples.set.ExampleSet
It specifies the constraint store used within an example.
getStore() - Method in class org.jacop.fz.FlatzincLoader
 
getStoreLevel() - Method in interface org.jacop.constraints.netflow.MutableNetwork
Retrieves the current store level for domain pruning.
getStoreLevel() - Method in class org.jacop.constraints.netflow.Network
 
getStream(Rectangle[]) - Static method in class org.jacop.constraints.diffn.Rectangle
 
getStream(Rectangle[]) - Static method in class org.jacop.constraints.Rectangle
 
getString() - Method in class org.jacop.fz.ASTScalarFlatExpr
 
getTables() - Method in class org.jacop.fz.FlatzincLoader
 
getTime(String) - Method in class org.jacop.jasat.core.Core
get the time associated with given mark, or 0 if none
getTimeDiff(String) - Method in class org.jacop.jasat.core.Core
gets the time difference (in ms) between now and the mark
getTimeOut() - Method in class org.jacop.fz.Options
It returns time out set for the search.
getTimeOutListener() - Method in class org.jacop.search.DepthFirstSearch
 
getTimeOutListener() - Method in interface org.jacop.search.Search
It returns the root of the TimeOutListener.
getTop() - Method in class org.jacop.jasat.utils.structures.IntPriorityQueue
access the element with highest priority, or 0 if it is empty
getType() - Method in class org.jacop.fz.ASTFloatTiExprTail
 
getType() - Method in class org.jacop.fz.ASTIntTiExprTail
 
getType() - Method in class org.jacop.fz.ASTScalarFlatExpr
 
getType() - Method in class org.jacop.fz.ASTSetLiteral
 
getType() - Method in class org.jacop.fz.ASTSolveExpr
 
getType() - Method in class org.jacop.util.fsm.RegularExpressionParser.Literal
 
getVariable() - Method in class org.jacop.constraints.knapsack.KnapsackItem
t returns quantity variable associated with that item.
getVariable() - Method in class org.jacop.constraints.knapsack.TreeLeaf
 
getVariable(ASTScalarFlatExpr) - Method in class org.jacop.fz.constraints.Support
 
getVariable(String) - Method in class org.jacop.fz.Tables
It returns the variable of the given identity.
getVariableArray(String) - Method in class org.jacop.fz.Tables
It returns the variable array of the given identity.
getVariableFloatArray(String) - Method in class org.jacop.fz.Tables
It returns the float variable array of the given identity.
getVariableIdPrefix() - Method in class org.jacop.core.Store
This function returns the prefix of the automatically generated names for noname variables.
getVariables() - Method in class org.jacop.constraints.geost.GeostObject
It returns finite domain variables which belong to this object.
getVariables() - Method in class org.jacop.search.DepthFirstSearch
 
getVariables(PrioritySearch) - Method in class org.jacop.search.PrioritySearch
 
getVariables() - Method in interface org.jacop.search.Search
It returns the order of variables used by functions returning a solution in terms of the values.
getVariables() - Method in class org.jacop.search.SimpleSolutionListener
It returns null if no solution was recorded, or the variables for which the solution(s) was recorded.
getVariables() - Method in interface org.jacop.search.SolutionListener
It returns the variables in the same order as the one used to encode solutions.
getVariablesMapping() - Method in class org.jacop.search.InputOrderSelect
It returns the variables for which assignment in the solution is given.
getVariablesMapping() - Method in class org.jacop.search.RandomSelect
It returns the variables for which assignment in the solution is given.
getVariablesMapping() - Method in interface org.jacop.search.SelectChoicePoint
It specifies the position of variables as given when variables of this select object were supplied.
getVariablesMapping() - Method in class org.jacop.search.SimpleMatrixSelect
It returns the variables for which assignment in the solution is given.
getVariablesMapping() - Method in class org.jacop.search.SimpleSelect
It returns the variables for which assignment in the solution is given.
getVariablesMapping() - Method in class org.jacop.search.TraceGenerator
 
getVarSelect() - Method in class org.jacop.fz.SearchItem
 
getVarSelectHeuristic(ASTAnnotation) - Method in class org.jacop.fz.SearchItem
 
getVerbose() - Method in class org.jacop.fz.Options
It returns true if the verbose mode has been requested.
getWeight() - Method in class org.jacop.constraints.knapsack.KnapsackItem
It returns a weight of a single instance of that item.
getWeightOfOne() - Method in class org.jacop.constraints.knapsack.TreeLeaf
 
getWMax() - Method in class org.jacop.constraints.knapsack.TreeLeaf
 
getWMax() - Method in class org.jacop.constraints.knapsack.TreeNode
It does not recompute the maximum of weights.
getWrongDecisions() - Method in class org.jacop.search.DepthFirstSearch
It returns number of wrong decisions performed by the search.
getWrongDecisions() - Method in class org.jacop.search.PrioritySearch
 
getWrongDecisions() - Method in interface org.jacop.search.Search
It returns number of wrong decisions performed by the search.
getWSum() - Method in class org.jacop.constraints.knapsack.TreeLeaf
 
getWSum() - Method in class org.jacop.constraints.knapsack.TreeNode
It does not recompute sum of weights.
glb - Variable in class org.jacop.set.core.BoundSetDomain
The greatest lower bound of the domain.
glb() - Method in class org.jacop.set.core.BoundSetDomain
It returns the greatest lower bound of the domain.
GLB - Static variable in class org.jacop.set.core.SetDomain
It specifies event that GLB has grown.
glb() - Method in class org.jacop.set.core.SetDomain
It returns the least upper bound of the domain.
Golf - Class in org.jacop.examples.fd
A simple logic puzzle about golf players.
Golf() - Constructor for class org.jacop.examples.fd.Golf
 
Golomb - Class in org.jacop.examples.fd
It models a Golomb ruler problem.
Golomb() - Constructor for class org.jacop.examples.fd.Golomb
 
GROUND - Static variable in class org.jacop.core.IntDomain
It specifies the constant for GROUND event.
GROUND - Static variable in class org.jacop.floats.core.FloatDomain
It specifies the constant for GROUND event.
GROUND - Static variable in class org.jacop.set.core.SetDomain
It specifies event that Set variable became singleton.
grounded - Variable in class org.jacop.constraints.Alldifferent
 
grounded() - Method in class org.jacop.constraints.Constraint
It checks if the constraint has all variables in its scope grounded (singletons).
grounded(Var[]) - Method in class org.jacop.constraints.Constraint
It checks if provided variables are grounded (singletons).
gt - Static variable in class org.jacop.floats.constraints.linear.Linear
Defines relations
guidingShaving - Variable in class org.jacop.examples.fd.MagicSquares
It specifies the list of constraints which can be used for guiding shaving.

H

handle(OptParse<E>, E, String) - Method in class org.jacop.jasat.utils.OptParse.OptHandler
handler for the option
handlerList - Variable in class org.jacop.constraints.netflow.NetworkBuilder
 
hardCounters - Variable in class org.jacop.constraints.SoftGCC
 
hardLowerBound - Variable in class org.jacop.constraints.SoftGCC
 
hardUpperBound - Variable in class org.jacop.constraints.SoftGCC
 
hasCompanion() - Method in class org.jacop.constraints.netflow.simplex.Arc
 
hashCode() - Method in class org.jacop.constraints.geost.DBox
 
hashCode() - Method in class org.jacop.util.fsm.FSMState
 
hashCode() - Method in class org.jacop.util.fsm.FSMTransition
 
hashCode() - Method in class org.jacop.util.SimpleArrayList
AbstractList defines hashCode so that it depends on the objects included.
hasMaxChanged() - Method in class org.jacop.constraints.knapsack.TreeLeaf
Used to know the changes that occurred
hasMinChanged() - Method in class org.jacop.constraints.knapsack.TreeLeaf
Used to know the changes that occurred
hasMoreElements() - Method in class org.jacop.core.BoundDomainIntervalEnumeration
 
hasMoreElements() - Method in class org.jacop.core.BoundDomainValueEnumeration
 
hasMoreElements() - Method in class org.jacop.core.IntervalDomainIntervalEnumeration
 
hasMoreElements() - Method in class org.jacop.core.IntervalDomainValueEnumeration
 
hasMoreElements() - Method in class org.jacop.core.IntervalEnumeration
 
hasMoreElements() - Method in class org.jacop.core.SmallDenseDomainIntervalEnumeration
 
hasMoreElements() - Method in class org.jacop.core.SmallDenseDomainValueEnumeration
 
hasMoreElements() - Method in class org.jacop.core.ValueEnumeration
It checks if the value enumeration has more elements.
hasMoreElements() - Method in class org.jacop.floats.core.FloatIntervalDomainIntervalEnumeration
 
hasMoreElements() - Method in class org.jacop.floats.core.FloatIntervalEnumeration
 
hasMoreElements() - Method in class org.jacop.set.core.SetDomainValueEnumeration
 
hasNext() - Method in class org.jacop.jasat.utils.CnfParser
 
hasSetDomain - Variable in class org.jacop.satwrapper.translation.SatCPBridge
 
hasSolution() - Method in class org.jacop.jasat.core.Core
 
head - Variable in class org.jacop.constraints.netflow.simplex.Arc
The head of the arc (where the arc points to).
headsOfEliminatedTuples - Variable in class org.jacop.constraints.ExtensionalSupportSTR
Gives the first position of the eliminated tuple at a given level.
help - Variable in class org.jacop.jasat.utils.OptParse.OptHandler
 
HeuristicAssertionModule - Class in org.jacop.jasat.modules
module used to guide research by selecting the next literal to assert
HeuristicAssertionModule(ActivityModule) - Constructor for class org.jacop.jasat.modules.HeuristicAssertionModule
 
HeuristicForgetModule - Class in org.jacop.jasat.modules
A component that selects clauses to forget when solver.forget() is called.
HeuristicForgetModule() - Constructor for class org.jacop.jasat.modules.HeuristicForgetModule
 
HeuristicRestartModule - Class in org.jacop.jasat.modules
A module that indicates if a restart would be useful now.
HeuristicRestartModule() - Constructor for class org.jacop.jasat.modules.HeuristicRestartModule
 
HistoricHomes - Class in org.jacop.examples.fd
It is a simple logic puzzle about houses.
HistoricHomes() - Constructor for class org.jacop.examples.fd.HistoricHomes
 
holes - Variable in class org.jacop.constraints.geost.InArea
It specifies the holes within the allowed area in which the objects can not be placed.
holes() - Method in class org.jacop.constraints.geost.Shape
It returns the set of holes of this shape.
hopcroftKarp() - Method in class org.jacop.util.BipartiteGraphMatching
 

I

id() - Method in class org.jacop.constraints.Constraint
It gives the id string of a constraint.
id() - Method in class org.jacop.constraints.Element
 
id - Variable in class org.jacop.constraints.regular.RegState
The unique id of the state.
id - Variable in class org.jacop.core.Store
Id string of the store.
id - Variable in class org.jacop.core.Var
Id string of the variable.
id() - Method in class org.jacop.core.Var
This function returns variable id.
id() - Method in class org.jacop.satwrapper.SatWrapper
 
id - Variable in class org.jacop.search.DepthFirstSearch
It specifies the id of the search.
id() - Method in class org.jacop.search.DepthFirstSearch
 
id() - Method in interface org.jacop.search.Search
It returns the string id of the search.
id - Variable in class org.jacop.util.fsm.FSMState
Id of the state.
IDENT - Static variable in interface org.jacop.fz.ParserConstants
RegularExpression Id.
idNumber - Static variable in class org.jacop.core.Var
It is a counter to indicate number of created variables.
ids - Variable in class org.jacop.examples.fd.filters.Filter
It specifies the type of each operation of a given position.
ids() - Method in class org.jacop.examples.fd.filters.Filter
It returns the ids of each operation.
IfThen - Class in org.jacop.constraints
Constraint if constraint1 then constraint2
IfThen(PrimitiveConstraint, PrimitiveConstraint) - Constructor for class org.jacop.constraints.IfThen
It constructs ifthen constraint.
IfThenBool - Class in org.jacop.constraints
Constraint ( X => Y ) <=> Z.
IfThenBool(IntVar, IntVar, IntVar) - Constructor for class org.jacop.constraints.IfThenBool
It constructs constraint ( X => Y ) <=> Z.
IfThenElse - Class in org.jacop.constraints
Constraint if constraint1 then constraint2 else constraint3 *
IfThenElse(PrimitiveConstraint, PrimitiveConstraint, PrimitiveConstraint) - Constructor for class org.jacop.constraints.IfThenElse
It creates ifthenelse constraint.
Implies - Class in org.jacop.constraints
 
Implies(IntVar, PrimitiveConstraint) - Constructor for class org.jacop.constraints.Implies
It constructs ifthen constraint.
impose(Store) - Method in class org.jacop.constraints.Alldiff
 
impose(Store) - Method in class org.jacop.constraints.Alldifferent
 
impose(Store) - Method in class org.jacop.constraints.Alldistinct
 
impose(Store) - Method in class org.jacop.constraints.Among
 
impose(Store) - Method in class org.jacop.constraints.AmongVar
 
impose(Store) - Method in class org.jacop.constraints.Assignment
 
impose(Store) - Method in class org.jacop.constraints.AtLeast
 
impose(Store) - Method in class org.jacop.constraints.AtMost
 
impose(Store) - Method in class org.jacop.constraints.binpacking.Binpacking
 
impose(Store) - Method in class org.jacop.constraints.ChannelImply
 
impose(Store) - Method in class org.jacop.constraints.ChannelReif
 
impose(Store) - Method in class org.jacop.constraints.Circuit
 
impose(Store) - Method in class org.jacop.constraints.Constraint
It imposes the constraint in a given store.
impose(Store, int) - Method in class org.jacop.constraints.Constraint
It imposes the constraint and adjusts the queue index.
impose(Store) - Method in class org.jacop.constraints.Count
 
impose(Store) - Method in class org.jacop.constraints.CountBounds
 
impose(Store) - Method in class org.jacop.constraints.CountValues
 
impose(Store) - Method in class org.jacop.constraints.CountValuesBounds
 
impose(Store) - Method in class org.jacop.constraints.CountVar
 
impose(Store) - Method in class org.jacop.constraints.Diff2
 
impose(Store) - Method in class org.jacop.constraints.diffn.Nooverlap
 
impose(Store) - Method in class org.jacop.constraints.Disjoint
 
impose(Store) - Method in class org.jacop.constraints.DisjointConditional
 
impose(Store) - Method in class org.jacop.constraints.Element
 
impose(Store) - Method in class org.jacop.constraints.ElementInteger
It imposes the constraint in a given store.
impose(Store) - Method in class org.jacop.constraints.ElementIntegerFast
 
impose(Store) - Method in class org.jacop.constraints.ElementVariable
 
impose(Store) - Method in class org.jacop.constraints.ElementVariableFast
It imposes the constraint in a given store.
impose(Store) - Method in class org.jacop.constraints.ExtensionalConflictVA
 
impose(Store) - Method in class org.jacop.constraints.ExtensionalSupportMDD
 
impose(Store) - Method in class org.jacop.constraints.ExtensionalSupportSTR
 
impose(Store) - Method in class org.jacop.constraints.ExtensionalSupportVA
 
impose(Store) - Method in class org.jacop.constraints.GCC
 
impose(Store) - Method in class org.jacop.constraints.geost.Geost
 
impose(Store) - Method in class org.jacop.constraints.IfThen
 
impose(Store) - Method in class org.jacop.constraints.IfThenElse
 
impose(Store) - Method in class org.jacop.constraints.Implies
 
impose(Store) - Method in class org.jacop.constraints.knapsack.Knapsack
 
impose(Store) - Method in class org.jacop.constraints.LexOrder
 
impose(Store) - Method in class org.jacop.constraints.Linear
Deprecated.
 
impose(Store) - Method in class org.jacop.constraints.LinearInt
 
impose(Store) - Method in class org.jacop.constraints.Max
 
impose(Store) - Method in class org.jacop.constraints.Member
 
impose(Store) - Method in class org.jacop.constraints.Min
 
impose(Store) - Method in class org.jacop.constraints.netflow.NetworkFlow
 
impose(Store) - Method in class org.jacop.constraints.NoGood
 
impose(Store) - Method in class org.jacop.constraints.PrimitiveConstraint
 
impose(Store) - Method in class org.jacop.constraints.regular.Regular
 
impose(Store) - Method in class org.jacop.constraints.Reified
 
impose(Store) - Method in class org.jacop.constraints.Subcircuit
 
impose(Store) - Method in class org.jacop.constraints.Sum
 
impose(Store) - Method in class org.jacop.constraints.SumBool
 
impose(Store) - Method in class org.jacop.constraints.SumInt
 
impose(Store) - Method in class org.jacop.constraints.SumWeight
 
impose(Store) - Method in class org.jacop.constraints.SumWeightDom
Deprecated.
 
impose(Store) - Method in class org.jacop.constraints.table.SimpleTable
 
impose(Store) - Method in class org.jacop.constraints.table.Table
 
impose(Store) - Method in class org.jacop.constraints.ValuePrecede
 
impose(Store) - Method in class org.jacop.constraints.VariableTrace
 
impose(Store) - Method in class org.jacop.constraints.XeqY
 
impose(Store) - Method in class org.jacop.constraints.XgteqY
 
impose(Store) - Method in class org.jacop.constraints.XgtY
 
impose(Store) - Method in class org.jacop.constraints.XlteqY
 
impose(Store) - Method in class org.jacop.constraints.XltY
 
impose(Store) - Method in class org.jacop.constraints.XneqY
 
impose(Store) - Method in class org.jacop.constraints.Xor
 
impose(Constraint) - Method in class org.jacop.core.Store
This function imposes a constraint to a store.
impose(Constraint, int) - Method in class org.jacop.core.Store
This function imposes a constraint to a store.
impose(Store) - Method in class org.jacop.floats.constraints.ElementFloat
 
impose(Store) - Method in class org.jacop.floats.constraints.ElementFloatVariable
It imposes the constraint in a given store.
impose(Store) - Method in class org.jacop.floats.constraints.EquationSystem
 
impose(Store) - Method in class org.jacop.floats.constraints.linear.Linear
 
impose() - Method in class org.jacop.satwrapper.SatTranslation
 
impose(Constraint) - Method in class org.jacop.satwrapper.SatWrapper
add the constraint to the wrapper (ie, constraint.imposeToSat(this))
impose(Store) - Method in class org.jacop.satwrapper.SatWrapper
 
impose(Store) - Method in class org.jacop.set.constraints.AleB
 
impose(Store) - Method in class org.jacop.set.constraints.AltB
 
impose(Store) - Method in class org.jacop.set.constraints.ElementSetVariable
It imposes the constraint in a given store.
impose(Store) - Method in class org.jacop.set.constraints.Lex
Deprecated.
 
imposeDecomposition(Store) - Method in class org.jacop.constraints.AndBool
 
imposeDecomposition(Store) - Method in class org.jacop.constraints.AndBoolVector
 
imposeDecomposition(Store) - Method in class org.jacop.constraints.Constraint
It imposes the decomposition of the given constraint in a given store.
imposeDecomposition(Store) - Method in class org.jacop.constraints.DecomposedConstraint
It imposes the constraint in a given store.
imposeDecomposition(Store, int) - Method in class org.jacop.constraints.DecomposedConstraint
It imposes the constraint and adjusts the queue index.
imposeDecomposition(Store) - Method in class org.jacop.constraints.diffn.Diffn
It imposes DiffnDecomposed in a given store.
imposeDecomposition(Store) - Method in class org.jacop.constraints.diffn.DiffnDecomposed
It imposes DiffnDecomposed in a given store.
imposeDecomposition(Store) - Method in class org.jacop.constraints.EqBool
 
imposeDecomposition(Store) - Method in class org.jacop.constraints.Increasing
 
imposeDecomposition(Store) - Method in class org.jacop.constraints.Lex
 
imposeDecomposition(Store) - Method in class org.jacop.constraints.netflow.Arithmetic
 
imposeDecomposition(Store) - Method in class org.jacop.constraints.OrBool
 
imposeDecomposition(Store) - Method in class org.jacop.constraints.OrBoolVector
 
imposeDecomposition(Store) - Method in class org.jacop.constraints.regular.Regular
 
imposeDecomposition(Store) - Method in class org.jacop.constraints.Sequence
 
imposeDecomposition(Store) - Method in class org.jacop.constraints.SoftAlldifferent
 
imposeDecomposition(Store) - Method in class org.jacop.constraints.SoftGCC
 
imposeDecomposition(Store) - Method in class org.jacop.constraints.Stretch
 
imposeDecomposition(DecomposedConstraint) - Method in class org.jacop.core.Store
This function imposes a decomposable constraint to a store.
imposeDecomposition(DecomposedConstraint, int) - Method in class org.jacop.core.Store
This function imposes a constraint decomposition to a store.
imposeDecomposition(Store) - Method in class org.jacop.floats.constraints.CosPeqR_decomposed
 
imposeDecompositionWithConsistency(DecomposedConstraint) - Method in class org.jacop.core.Store
In some special cases it may be beneficial to compute consistency of constraint store immediately after the decomposed constraint is imposed.
imposeWithConsistency(Constraint) - Method in class org.jacop.core.Store
In some special cases it may be beneficial to compute consistency of constraint store immediately after the constraint is imposed.
imposeWithConsistency(Constraint, int) - Method in class org.jacop.core.Store
In some special cases it may be beneficial to compute consistency of constraint store immediately after the constraint is imposed.
ImproveSolution<T extends Var> - Interface in org.jacop.search.sgmpcs
Defines an interface for defining different methods for selecting next search decision to be taken.
In - Class in org.jacop.constraints
Constraints X to belong to a specified domain.
In(IntVar, IntDomain) - Constructor for class org.jacop.constraints.In
It constructs an In constraint to restrict the domain of the variable.
in(int, Var, Domain) - Method in class org.jacop.core.Domain
It enforces that this domain is included within the specified domain.
in(int, Var, int, int) - Method in class org.jacop.core.IntDomain
It updates the domain to have values only within the interval min..max.
in(int, Var, IntDomain) - Method in class org.jacop.core.IntDomain
It updates the domain to have values only within the domain.
in(int, Var, Domain) - Method in class org.jacop.core.IntDomain
 
in(int, Var, int, int) - Method in class org.jacop.core.IntervalDomain
It updates the domain to have values only within the interval min..max.
in(int, Var, IntDomain) - Method in class org.jacop.core.IntervalDomain
It updates the domain to have values only within the domain.
in(int, Var, int, int) - Method in class org.jacop.core.SmallDenseDomain
It updates the domain to have values only within the interval min..max.
in(int, Var, long) - Method in class org.jacop.core.SmallDenseDomain
 
in(int, Var, IntDomain) - Method in class org.jacop.core.SmallDenseDomain
 
in(int, Var, double, double) - Method in class org.jacop.floats.core.FloatDomain
It updates the domain to have values only within the interval min..max.
in(int, Var, FloatDomain) - Method in class org.jacop.floats.core.FloatDomain
It updates the domain to have values only within the domain.
in(int, Var, Domain) - Method in class org.jacop.floats.core.FloatDomain
 
in(int, Var, double, double) - Method in class org.jacop.floats.core.FloatIntervalDomain
It updates the domain to have values only within the interval min..max.
in(int, Var, FloatDomain) - Method in class org.jacop.floats.core.FloatIntervalDomain
It updates the domain to have values only within the domain.
in(int, SetVar, IntDomain, IntDomain) - Method in class org.jacop.set.core.BoundSetDomain
This function is equivalent to in(int storeLevel, Variable var, int min, int max).
in(int, SetVar, SetDomain) - Method in class org.jacop.set.core.BoundSetDomain
It updates the domain to have values only within the domain.
in(int, SetVar, IntDomain, IntDomain) - Method in class org.jacop.set.core.SetDomain
This function is equivalent to in(int storeLevel, Variable var, int min, int max).
in(int, SetVar, SetDomain) - Method in class org.jacop.set.core.SetDomain
It updates the domain to have values only within the domain.
in(int, Var, Domain) - Method in class org.jacop.set.core.SetDomain
 
InArea - Class in org.jacop.constraints.geost
 
InArea(DBox, Collection<DBox>) - Constructor for class org.jacop.constraints.geost.InArea
It constructs an external constraint to enforce that all objects within Geost constraint are placed within a specified area with holes in that area specfied as well.
inCardinality(int, SetVar, int, int) - Method in class org.jacop.set.core.BoundSetDomain
 
inCardinality(int, SetVar, int, int) - Method in class org.jacop.set.core.SetDomain
It restricts the possible cardinality of the set domain.
include(Store) - Method in interface org.jacop.api.StoreAware
It provide store for constraints that are not imposed but called from other constraints.
include(Store) - Method in class org.jacop.constraints.AndBoolVector
 
include(Store) - Method in class org.jacop.constraints.AtLeast
 
include(Store) - Method in class org.jacop.constraints.AtMost
 
include(Store) - Method in class org.jacop.constraints.BoolClause
 
include(Store) - Method in class org.jacop.constraints.Count
 
include(Store) - Method in class org.jacop.constraints.CountBounds
 
include(Store) - Method in class org.jacop.constraints.CountVar
 
include(Store) - Method in class org.jacop.constraints.IfThen
 
include(Store) - Method in class org.jacop.constraints.IfThenElse
 
include(Store) - Method in class org.jacop.constraints.Implies
 
include(Store) - Method in class org.jacop.constraints.Member
 
include(Store) - Method in class org.jacop.constraints.OrBoolVector
 
include(Store) - Method in class org.jacop.constraints.PrimitiveConstraint
 
inclusionLevel - Variable in class org.jacop.set.constraints.Lex
Deprecated.
 
inComplement(int, Var, int) - Method in class org.jacop.core.IntDomain
It updates the domain to not contain the value complement.
inComplement(int, Var, int, int) - Method in class org.jacop.core.IntDomain
It updates the domain so it does not contain the supplied interval.
inComplement(int, Var, int) - Method in class org.jacop.core.IntervalDomain
It updates the domain to not contain the value complement.
inComplement(int, Var, int, int) - Method in class org.jacop.core.IntervalDomain
 
inComplement(int, Var, int) - Method in class org.jacop.core.SmallDenseDomain
 
inComplement(int, Var, int, int) - Method in class org.jacop.core.SmallDenseDomain
 
inComplement(int, Var, double) - Method in class org.jacop.floats.core.FloatDomain
It updates the domain to not contain the value complement.
inComplement(int, Var, double, double) - Method in class org.jacop.floats.core.FloatDomain
It updates the domain so it does not contain the supplied interval.
inComplement(int, Var, double) - Method in class org.jacop.floats.core.FloatIntervalDomain
It updates the domain to not contain the value complement.
inComplement(int, Var, double, double) - Method in class org.jacop.floats.core.FloatIntervalDomain
 
increaseLevel() - Method in class org.jacop.constraints.netflow.Network
 
increaseWeight - Variable in class org.jacop.constraints.Constraint
It specifies if upon the failure of the constraint, all variables in the constraint scope should have their weight increased.
increaseWeight() - Method in class org.jacop.constraints.Constraint
It increases the weight of the variables in the constraint scope.
increaseWeight() - Method in class org.jacop.constraints.Element
 
increaseWeight() - Method in class org.jacop.constraints.geost.Geost
 
increaseWeight() - Method in class org.jacop.constraints.VariableTrace
 
increaseWeight() - Method in class org.jacop.satwrapper.SatWrapper
 
Increasing - Class in org.jacop.constraints
Increasing constraint assures that all variables are in increasing order.
Increasing(IntVar[]) - Constructor for class org.jacop.constraints.Increasing
 
Increasing(IntVar[], boolean) - Constructor for class org.jacop.constraints.Increasing
 
Increasing(List<IntVar>) - Constructor for class org.jacop.constraints.Increasing
It constructs an increasing constraint.
Increasing(List<IntVar>, boolean) - Constructor for class org.jacop.constraints.Increasing
 
inDegree - Variable in class org.jacop.constraints.regular.RegState
It specifies the number of edges incoming to the state.
index - Variable in class org.jacop.constraints.ElementInteger
It specifies variable index within an element constraint list[index-indexOffset] = value.
index - Variable in class org.jacop.constraints.ElementIntegerFast
It specifies variable index within an element constraint list[index - indexOffset] = value.
index - Variable in class org.jacop.constraints.ElementVariable
It specifies variable index within an element constraint list[index - indexOffset] = value.
index - Variable in class org.jacop.constraints.ElementVariableFast
It specifies variable index within an element constraint list[index - indexOffset] = value.
index - Variable in class org.jacop.constraints.netflow.simplex.Arc
Index in lower arcs array
index() - Method in interface org.jacop.core.Backtrackable
It specifies the index/position of the backtrackable object.
index - Variable in class org.jacop.core.Var
It specifies the index at which it is stored in Store.
index() - Method in class org.jacop.core.Var
This function returns the index of variable in store array.
index - Variable in class org.jacop.floats.constraints.ElementFloat
It specifies variable index within an element constraint list[index-indexOffset] = value.
index - Variable in class org.jacop.floats.constraints.ElementFloatVariable
It specifies variable index within an element constraint list[index - indexOffset] = value.
index - Variable in class org.jacop.set.constraints.ElementSet
It specifies what element from the list of sets is equal to set variable value.
index - Variable in class org.jacop.set.constraints.ElementSetVariable
It specifies variable index within an element constraint list[index - indexOffset] = value.
IndexDomainView - Class in org.jacop.util
Defines index domain view for a variable and related operations on it.
IndexDomainView(IntVar, boolean) - Constructor for class org.jacop.util.IndexDomainView
It creates an index domain view for a given variable.
IndexDomainView(IntVar, int[]) - Constructor for class org.jacop.util.IndexDomainView
It creates an index domain view with only given values being in focus of the index domain view.
indexes - Variable in class org.jacop.jasat.utils.MemoryPool
 
indexesToUniqueId(int, int) - Method in class org.jacop.jasat.core.clauses.DatabasesStore
It gets a unique id from a clause index, relative to a database, and a database index.
indexOf(Object) - Method in class org.jacop.util.SimpleArrayList
Searches for the first occurrence of the given argument, testing for equality using the equals method.
indexOf(Object, int) - Method in class org.jacop.util.SimpleArrayList
Searches for the first occurrence of the given argument, testing for equality using the == method.
indexOffset - Variable in class org.jacop.constraints.ArgMax
It specifies indexOffset within an element constraint list[index-indexOffset] = value.
indexOffset - Variable in class org.jacop.constraints.ArgMin
It specifies indexOffset within an element constraint list[index-indexOffset] = value.
indexOffset - Variable in class org.jacop.constraints.ElementInteger
It specifies indexOffset within an element constraint list[index-indexOffset] = value.
indexOffset - Variable in class org.jacop.constraints.ElementIntegerFast
It specifies indexOffset within an element constraint list[index - indexOffset] = value.
indexOffset - Variable in class org.jacop.constraints.ElementVariable
It specifies indexOffset within an element constraint list[index - indexOffset] = value.
indexOffset - Variable in class org.jacop.constraints.ElementVariableFast
It specifies indexOffset within an element constraint list[index - indexOffset] = value.
indexOffset - Variable in class org.jacop.floats.constraints.ElementFloat
It specifies indexOffset within an element constraint list[index-indexOffset] = value.
indexOffset - Variable in class org.jacop.set.constraints.ElementSet
It allows to offset the indexing.
indexOfValue(int) - Method in class org.jacop.util.IndexDomainView
It finds an index for a given value.
indexToUniqueId(int) - Method in class org.jacop.jasat.core.clauses.AbstractClausesDatabase
gets an unique ID from a clause index in this clause database
indexToValue - Variable in class org.jacop.util.IndexDomainView
It specifies mapping of the index value onto value in the domain of the variable.
inDifference - Variable in class org.jacop.set.constraints.Lex
Deprecated.
 
indomain() - Method in class org.jacop.fz.SearchItem
 
Indomain<T extends Var> - Interface in org.jacop.search
Defines a interface for different indomain enumeration methods.
indomain(T) - Method in interface org.jacop.search.Indomain
It returns value within a variable which should be used in current assignment.
indomain(T) - Method in class org.jacop.search.IndomainDefaultValue
 
indomain(T) - Method in class org.jacop.search.IndomainHierarchical
 
indomain(T) - Method in class org.jacop.search.IndomainList
 
indomain(T) - Method in class org.jacop.search.IndomainMax
 
indomain(IntVar) - Method in class org.jacop.search.IndomainMedian
It requires IntVar variable.
indomain(IntVar) - Method in class org.jacop.search.IndomainMiddle
It requires IntVar variable.
indomain(IntVar) - Method in class org.jacop.search.IndomainMin
 
indomain(IntVar) - Method in class org.jacop.search.IndomainRandom
 
indomain(IntVar) - Method in class org.jacop.search.IndomainSimpleRandom
 
indomain(T) - Method in class org.jacop.set.search.IndomainSetMax
 
indomain(T) - Method in class org.jacop.set.search.IndomainSetMin
 
indomain(T) - Method in class org.jacop.set.search.IndomainSetRandom
 
IndomainDefaultValue<T extends Var> - Class in org.jacop.search
IndomainDefaultValue - implements enumeration method based on the selection of the default value for each variable first.
IndomainDefaultValue(Map<T, Integer>, Indomain<T>) - Constructor for class org.jacop.search.IndomainDefaultValue
Constructor which specifies default values to be used if values are not in the domain a defualt indomain is used.
IndomainHierarchical<T extends Var> - Class in org.jacop.search
IndomainHierarchical - implements enumeration method based on the selection of the preferred indomain for each variable.
IndomainHierarchical(Map<T, Indomain<T>>, Indomain<T>) - Constructor for class org.jacop.search.IndomainHierarchical
Constructor which specifies the mapping and default indomain to be used if mapping does not give specific indomain for some variables.
IndomainList<T extends IntVar> - Class in org.jacop.search
IndomainList - implements enumeration method based on the selection of the preferred values for each variable.
IndomainList(int[], Indomain<T>)<