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