Uses of Class
org.jacop.core.Store
Packages that use Store
Package
Description
-
Uses of Store in org.jacop.api
Methods in org.jacop.api with parameters of type Store -
Uses of Store in org.jacop.constraints
Fields in org.jacop.constraints declared as StoreModifier and TypeFieldDescription(package private) Store
Diff.currentStore
(package private) Store
Alldiff.store
(package private) Store
CircuitVar.store
(package private) Store
Diff2Var.store
(package private) Store
DisjointCondVar.store
(package private) Store
ExtensionalConflictVA.store
(package private) Store
ExtensionalSupportSTR.store
(package private) Store
IfThen.store
(package private) Store
IfThenElse.store
(package private) Store
Implies.store
private Store
LexOrder.store
(package private) Store
Linear.store
Deprecated.(package private) Store
LinearInt.store
(package private) Store
Member.store
(package private) Store
Subcircuit.store
(package private) Store
SumBool.store
(package private) Store
SumInt.store
(package private) Store
ValuePrecede.store
(package private) Store
VariableTrace.store
Methods in org.jacop.constraints with parameters of type StoreModifier and TypeMethodDescription(package private) void
Circuit.alldifferent
(Store store, LinkedHashSet<IntVar> fdvs) (package private) void
Subcircuit.alldifferent
(Store store, LinkedHashSet<IntVar> fdvs) (package private) void
AbsXeqY.boundConsistency
(Store store) protected void
LinearInt.commonInitialization
(Store store, IntVar[] list, int[] weights, String rel, int sum) void
AbsXeqY.consistency
(Store store) void
Alldiff.consistency
(Store store) void
Alldifferent.consistency
(Store store) void
Alldistinct.consistency
(Store store) void
Among.consistency
(Store store) void
AmongVar.consistency
(Store store) void
And.consistency
(Store store) void
AndBoolSimple.consistency
(Store store) void
AndBoolVector.consistency
(Store store) void
ArgMax.consistency
(Store store) void
ArgMin.consistency
(Store store) void
Assignment.consistency
(Store store) void
AtLeast.consistency
(Store store) void
AtMost.consistency
(Store store) void
BoolClause.consistency
(Store store) computes consistency for x_0 \/ ...void
ChannelImply.consistency
(Store store) void
ChannelReif.consistency
(Store store) void
Circuit.consistency
(Store store) void
Conditional.consistency
(Store store) abstract void
Constraint.consistency
(Store store) It is a (most probably incomplete) consistency function which removes the values from variables domains.void
Count.consistency
(Store store) void
CountBounds.consistency
(Store store) void
CountValues.consistency
(Store store) void
CountValuesBounds.consistency
(Store store) void
CountVar.consistency
(Store store) void
Cumulative.consistency
(Store store) void
Diff.consistency
(Store store) void
Distance.consistency
(Store store) void
Element.consistency
(Store store) void
ElementInteger.consistency
(Store store) void
ElementIntegerFast.consistency
(Store store) void
ElementVariable.consistency
(Store store) void
ElementVariableFast.consistency
(Store store) void
Eq.consistency
(Store store) void
EqBool.consistency
(Store store) void
ExtensionalConflictVA.consistency
(Store store) void
ExtensionalSupportMDD.consistency
(Store s) void
ExtensionalSupportSTR.consistency
(Store store) void
ExtensionalSupportVA.consistency
(Store store) void
GCC.consistency
(Store store) void
IfThen.consistency
(Store store) void
IfThenBool.consistency
(Store store) void
IfThenElse.consistency
(Store store) void
Implies.consistency
(Store store) void
In.consistency
(Store store) void
Increasing.consistency
(Store store) void
LexOrder.consistency
(Store store) void
Linear.consistency
(Store store) Deprecated.void
LinearInt.consistency
(Store store) void
LinearIntDom.consistency
(Store store) void
Max.consistency
(Store store) void
MaxSimple.consistency
(Store store) void
Member.consistency
(Store store) void
Min.consistency
(Store store) void
MinSimple.consistency
(Store store) void
NoGood.consistency
(Store store) void
Not.consistency
(Store store) void
Or.consistency
(Store store) void
OrBoolSimple.consistency
(Store store) void
OrBoolVector.consistency
(Store store) void
Reified.consistency
(Store store) void
Subcircuit.consistency
(Store store) void
Sum.consistency
(Store store) void
SumBool.consistency
(Store store) void
SumInt.consistency
(Store store) void
SumWeight.consistency
(Store store) void
SumWeightDom.consistency
(Store store) Deprecated.void
ValuePrecede.consistency
(Store store) void
Values.consistency
(Store store) void
VariableTrace.consistency
(Store store) void
XdivYeqZ.consistency
(Store store) void
XeqC.consistency
(Store store) void
XeqY.consistency
(Store store) void
XexpYeqZ.consistency
(Store store) void
XgtC.consistency
(Store store) void
XgteqC.consistency
(Store store) void
XgteqY.consistency
(Store store) void
XgtY.consistency
(Store store) void
XltC.consistency
(Store store) void
XlteqC.consistency
(Store store) void
XlteqY.consistency
(Store store) void
XltY.consistency
(Store store) void
XmodYeqZ.consistency
(Store store) void
XmulCeqZ.consistency
(Store store) void
XmulYeqC.consistency
(Store store) void
XmulYeqZ.consistency
(Store store) void
XneqC.consistency
(Store store) void
XneqY.consistency
(Store store) void
Xor.consistency
(Store store) void
XorBool.consistency
(Store store) void
XplusCeqZ.consistency
(Store store) void
XplusClteqZ.consistency
(Store store) void
XplusYeqC.consistency
(Store store) void
XplusYeqZ.consistency
(Store store) void
XplusYgtC.consistency
(Store store) void
XplusYlteqZ.consistency
(Store store) void
AmongVar.consistencyForX
(Store store) Is called when all y are grounded and amongForSet is equivalent to simple version of Among.void
AmongVar.consistencyForY
(Store store) It is a function which makes Y consistent if all X's are grounded.void
AmongVar.consistencyWhen_LB0_EQ_UB0
(Store store) The number of x in lbsDom is equal to the number of X intersecting ubSDom.private void
GCC.countBoundConsistency
(Store store) It returns an array list of constraint which are used to decompose this constraint.It returns an array list of constraint which are used to decompose this constraint.Lex.decomposeLE
(Store store) Lex.decomposeLERegular
(Store store) Lex.decomposeLT
(Store store) Lex.decomposeLTRegular
(Store store) (package private) void
AbsXeqY.domainConsistency
(Store store) private void
Cumulative.edgeFindingDown
(Store store) private void
Cumulative.edgeFindingUp
(Store store) void
void
void
void
void
void
void
void
void
void
void
void
It imposes the constraint in a given store.void
It imposes the constraint and adjusts the queue index.void
void
void
void
void
void
void
void
void
void
It imposes the constraint in a given store.void
void
void
It imposes the constraint in a given store.void
void
void
void
void
void
void
void
void
void
Deprecated.void
void
void
void
void
void
void
void
void
void
void
void
void
Deprecated.void
void
void
void
void
void
void
void
void
void
AndBool.imposeDecomposition
(Store store) void
AndBoolVector.imposeDecomposition
(Store store) void
Constraint.imposeDecomposition
(Store store) It imposes the decomposition of the given constraint in a given store.abstract void
DecomposedConstraint.imposeDecomposition
(Store store) It imposes the constraint in a given store.void
DecomposedConstraint.imposeDecomposition
(Store store, int queueIndex) It imposes the constraint and adjusts the queue index.void
EqBool.imposeDecomposition
(Store store) void
Increasing.imposeDecomposition
(Store store) void
Lex.imposeDecomposition
(Store store) void
OrBool.imposeDecomposition
(Store store) void
OrBoolVector.imposeDecomposition
(Store store) void
Sequence.imposeDecomposition
(Store store) void
SoftAlldifferent.imposeDecomposition
(Store store) void
SoftGCC.imposeDecomposition
(Store store) void
Stretch.imposeDecomposition
(Store store) void
void
void
void
void
void
void
void
void
void
void
void
void
(package private) int
void
AbsXeqY.notConsistency
(Store store) void
And.notConsistency
(Store store) void
AndBoolSimple.notConsistency
(Store store) void
AndBoolVector.notConsistency
(Store store) void
AtLeast.notConsistency
(Store store) void
AtMost.notConsistency
(Store store) void
BoolClause.notConsistency
(Store store) computes consistency for not (x_0 \/ ...void
Count.notConsistency
(Store store) void
CountBounds.notConsistency
(Store store) void
CountVar.notConsistency
(Store store) void
Distance.notConsistency
(Store store) void
Eq.notConsistency
(Store store) void
EqBool.notConsistency
(Store store) void
IfThen.notConsistency
(Store store) void
IfThenBool.notConsistency
(Store store) void
IfThenElse.notConsistency
(Store store) void
Implies.notConsistency
(Store store) void
In.notConsistency
(Store store) void
LinearInt.notConsistency
(Store store) void
LinearIntDom.notConsistency
(Store store) void
Member.notConsistency
(Store store) void
Not.notConsistency
(Store store) void
Or.notConsistency
(Store store) void
OrBoolSimple.notConsistency
(Store store) void
OrBoolVector.notConsistency
(Store store) abstract void
PrimitiveConstraint.notConsistency
(Store store) It makes pruning in such a way that constraint is notConsistent.void
Reified.notConsistency
(Store store) void
SumBool.notConsistency
(Store store) void
SumInt.notConsistency
(Store store) void
XeqC.notConsistency
(Store store) void
XeqY.notConsistency
(Store store) void
XgtC.notConsistency
(Store store) void
XgteqC.notConsistency
(Store store) void
XgteqY.notConsistency
(Store store) void
XgtY.notConsistency
(Store store) void
XltC.notConsistency
(Store store) void
XlteqC.notConsistency
(Store store) void
XlteqY.notConsistency
(Store store) void
XltY.notConsistency
(Store store) void
XmulCeqZ.notConsistency
(Store store) void
XmulYeqC.notConsistency
(Store store) void
XneqC.notConsistency
(Store store) void
XneqY.notConsistency
(Store store) void
Xor.notConsistency
(Store store) void
XorBool.notConsistency
(Store store) void
XplusCeqZ.notConsistency
(Store store) void
XplusClteqZ.notConsistency
(Store store) void
XplusYeqC.notConsistency
(Store store) void
XplusYeqZ.notConsistency
(Store store) void
XplusYgtC.notConsistency
(Store store) void
XplusYlteqZ.notConsistency
(Store store) private void
private void
(package private) void
Circuit.oneCircuit
(Store store, LinkedHashSet<IntVar> fdvs) SoftAlldifferent.primitiveDecomposition
(Store store) SoftGCC.primitiveDecomposition
(Store store) private void
Cumulative.profileCheckInterval
(Store store, IntVar Start, IntVar Duration, Interval i, IntVar Resources, int mustUseMin, int mustUseMax) private void
Diff.profileCheckInterval
(Store store, DiffnProfile Profile, int limit, IntVar Start, IntVar Duration, int iMin, int i_max, IntVar Resources) (package private) void
DisjointConditional.profileCheckInterval
(Store store, DisjointConditionalProfile Profile, int limit, IntVar Start, IntVar Duration, int _min, int _max, IntVar Resources) private void
Cumulative.profileCheckTasks
(Store store) private void
Linear.pruneRelation
(Store store, byte rel) Deprecated.private boolean
Alldifferent.satisfiedFullCheck
(Store S) (package private) void
private int
private void
Subcircuit.sccsBasedPruning
(Store store) private void
Cumulative.updateTasksRes
(Store store) Constructors in org.jacop.constraints with parameters of type StoreModifierConstructorDescription(package private)
CircuitVar
(Store store) (package private)
CircuitVar
(Store store, int next, int previous) (package private)
(package private)
(package private)
(package private)
(package private)
Deprecated.It constructs the constraint Linear.Deprecated.It constructs the constraint Linear.Deprecated.LinearInt constraint does not use Store parameter any longer.Deprecated.Deprecated.LinearIntDom
(Store store, List<? extends IntVar> variables, List<Integer> weights, String rel, int sum) Deprecated.LinearIntDom constraint does not use Store parameter any longer.LinearIntDom
(Store store, IntVar[] list, int[] weights, String rel, int sum) Deprecated.LinearIntDom constraint does not use Store parameter any longer.LinearIntDom
(Store store, IntVar[] list, int[] weights, String rel, IntVar sum) Deprecated.LinearIntDom constraint does not use Store parameter any longer.Deprecated.Deprecated.Deprecated.SumInt constraint does not use Store parameter any longer.Deprecated.SumInt constraint does not use Store parameter any longer. -
Uses of Store in org.jacop.constraints.binpacking
Methods in org.jacop.constraints.binpacking with parameters of type Store -
Uses of Store in org.jacop.constraints.cumulative
Methods in org.jacop.constraints.cumulative with parameters of type StoreModifier and TypeMethodDescriptionprivate void
Cumulative.adjustBounds
(Store store, ThetaLambdaTree tree, TaskView[] t, int[] prec, long cap) void
Cumulative.consistency
(Store store) void
CumulativeBasic.consistency
(Store store) void
CumulativePrimary.consistency
(Store store) void
CumulativeUnary.consistency
(Store store) private void
CumulativeUnary.detectable
(Store store, TaskView[] tn, TaskView[] tr) private void
private void
CumulativeUnary.detectablePhase
(Store store, TaskView[] tc) private void
private void
private void
private void
CumulativeUnary.edgeFindPhase
(Store store, TaskView[] tc) private void
Cumulative.edgeFindQuad
(Store store) private void
Cumulative.edgeFindQuad
(Store store, TaskView[] tn) private void
CumulativeUnary.notFirstNotLast
(Store store, TaskView[] tn, TaskView[] tr) private void
CumulativeUnary.notFirstNotLastPhase
(Store store, TaskView[] tc) private void
(package private) void
CumulativeBasic.profileProp
(Store store) private void
CumulativeBasic.sweepPruning
(Store store) (package private) void
CumulativePrimary.sweepPruning
(Store store) private void
CumulativeBasic.updateTasksRes
(Store store) -
Uses of Store in org.jacop.constraints.diffn
Fields in org.jacop.constraints.diffn declared as StoreMethods in org.jacop.constraints.diffn with parameters of type StoreModifier and TypeMethodDescriptionvoid
Diffn.consistency
(Store store) void
Nooverlap.consistency
(Store store) void
void
Diffn.imposeDecomposition
(Store store) It imposes DiffnDecomposed in a given store.void
DiffnDecomposed.imposeDecomposition
(Store store) It imposes DiffnDecomposed in a given store.(package private) boolean
Rectangle.instantiatedBefore
(Store store) -
Uses of Store in org.jacop.constraints.geost
Fields in org.jacop.constraints.geost declared as StoreMethods in org.jacop.constraints.geost with parameters of type StoreModifier and TypeMethodDescriptionvoid
Geost.consistency
(Store store) boolean
GeostObject.TimeBoundConstraint.consistencyDurationGtZero
(Store store) It applies constraint enforcing that duration > 0boolean
GeostObject.TimeBoundConstraint.consistencyStartPlusDurationEqEnd
(Store store) It evaluates part of the constraint that ensures that start + duration = endvoid
protected int
Geost.pruneMax
(Store store, GeostObject o, int currentShape, int d, int limit) the sweeping routine for minimal bounds.protected int
Geost.pruneMin
(Store store, GeostObject o, int currentShape, int d, int limit) the sweeping routine for minimal bounds. -
Uses of Store in org.jacop.constraints.knapsack
Methods in org.jacop.constraints.knapsack with parameters of type StoreModifier and TypeMethodDescriptionvoid
Knapsack.consistency
(Store store) void
private void
Knapsack.restrictItemQuantity
(Store store, TreeNode parent, int availableCapacity) It makes sure that no item has a possibility to use more than available capacity. -
Uses of Store in org.jacop.constraints.netflow
Fields in org.jacop.constraints.netflow declared as StoreMethods in org.jacop.constraints.netflow with parameters of type StoreModifier and TypeMethodDescriptionvoid
NetworkFlow.consistency
(Store store) void
void
Arithmetic.imposeDecomposition
(Store store) void
Network.initialize
(Store store) Arithmetic.primitiveDecomposition
(Store store) NetworkBuilder.primitiveDecomposition
(Store store) Generally speaking, especially in case of multiple arcs between two nodes and structure constraints imposed on arcs makes it hard to decompose network flow constraint into primitive ones.private void
Constructors in org.jacop.constraints.netflow with parameters of type Store -
Uses of Store in org.jacop.constraints.regular
Methods in org.jacop.constraints.regular with parameters of type StoreModifier and TypeMethodDescriptionvoid
Regular.consistency
(Store store) void
void
Regular.imposeDecomposition
(Store store) -
Uses of Store in org.jacop.constraints.table
Fields in org.jacop.constraints.table declared as StoreModifier and TypeFieldDescription(package private) Store
SimpleTable.store
(package private) Store
Table.store
Methods in org.jacop.constraints.table with parameters of type StoreModifier and TypeMethodDescriptionvoid
SimpleTable.consistency
(Store store) void
Table.consistency
(Store store) void
void
(package private) void
Constructors in org.jacop.constraints.table with parameters of type Store -
Uses of Store in org.jacop.core
Fields in org.jacop.core declared as StoreModifier and TypeFieldDescription(package private) Store
MutableDomain.store
(package private) Store
TimeStamp.store
Var.store
Each variable is created in a store.Methods in org.jacop.core that return StoreModifier and TypeMethodDescriptionVar.getStore()
This function returns store used by this variable.Methods in org.jacop.core with parameters of type StoreModifier and TypeMethodDescriptionprivate void
IntVar.commonInitialization
(Store store, String name, IntDomain dom) Constructors in org.jacop.core with parameters of type StoreModifierConstructorDescriptionBooleanVar
(Store store) This constructor creates a variable with empty domain (standard FD domain), automatically generated name, and empty attached constraint list.BooleanVar
(Store store, int min, int max) Boolean variable constructor.BooleanVar
(Store store, String name) Boolean variable constructor.BooleanVar
(Store store, String name, int min, int max) Boolean variable constructor.BooleanVar
(Store store, String name, BoundDomain dom) It creates a Boolean variable.BooleanVar
(Store store, BoundDomain dom) It creates a Boolean variable.This constructor creates a variable with empty domain (standard IntervalDomain domain), automatically generated name, and empty attached constraint list.This constructor creates a variable with a domain between min..max, automatically generated name, and empty attached constraint list.This constructor creates a variable with an empty domain (standard IntervalDomain domain), the specified name, and an empty attached constraint list.This constructor creates a variable in a given store, with the domain specified by min..max and with the given name.It creates a variable in a given store, with a given name and a given domain.It creates a variable in a given store, with a given name and a given domain.MutableDomain
(Store store) MutableDomain
(Store store, IntDomain domain) The constructor. -
Uses of Store in org.jacop.examples.cpviz
Fields in org.jacop.examples.cpviz declared as Store -
Uses of Store in org.jacop.examples.fd
Fields in org.jacop.examples.fd declared as StoreModifier and TypeFieldDescription(package private) Store
ConferenceTalkPlacement.store
ExampleFD.store
It specifies the constraint store responsible for holding information about constraints and variables.Methods in org.jacop.examples.fd that return Store -
Uses of Store in org.jacop.examples.fd.filters
Methods in org.jacop.examples.fd.filters with parameters of type StoreModifier and TypeMethodDescriptionstatic int
FilterBenchmark.experiment1
(Store store, Filter filter, int addNum, int mulNum) It optimizes scheduling of filter operations.static int
FilterBenchmark.experiment1C
(Store store, Filter filter, int addNum, int mulNum, int clock) It optimizes scheduling of filter operation in fashion allowing chaining of operations within one clock cycle.static int
FilterBenchmark.experiment1P
(Store store, Filter filter, int addNum, int mulNum) It optimizes scheduling of filter operations.static int
FilterBenchmark.experiment1PM
(Store store, Filter filter, int addNum, int mulNum) It optimizes scheduling of filter operations in a fashion allowing pipelining of multiplication operations.static int
FilterBenchmark.experiment2
(Store store, Filter filter, int addNum, int mulNum) It optimizes scheduling of filter operations.static int
FilterBenchmark.experiment2C
(Store store, Filter filter, int addNum, int mulNum, int clock) It optimizes scheduling of filter operation in fashion allowing chaining of operations within one clock cycle.static int
FilterBenchmark.experiment2P
(Store store, Filter filter, int addNum, int mulNum) It optimizes scheduling of filter operations.static int
FilterBenchmark.experiment2PM
(Store store, Filter filter, int addNum, int mulNum) It optimizes scheduling of filter operation in fashion allowing pipelining of multiplication operations.FilterBenchmark.makeConstraints
(Store store, Filter filter, int addNum, int mulNum) It creates constraint model for scheduling of filter operations.FilterBenchmark.makeConstraintsChain
(Store store, Filter filter, int addNum, int mulNum, int clk) It creates constraint model for scheduling of filter operation in fashion allowing chaining of operations within one clock cycle.FilterBenchmark.makeConstraintsPipeline
(Store store, Filter filter, int addNum, int mulNum) It creates a model for optimization of scheduling of operations of a given filter.FilterBenchmark.makeConstraintsPipeMultiplier
(Store store, Filter filter, int addNum, int mulNum) It creates constraint model for scheduling of filter operation in fashion allowing pipelining of multiplication operations. -
Uses of Store in org.jacop.examples.set
Fields in org.jacop.examples.set declared as StoreModifier and TypeFieldDescriptionExampleSet.store
It specifies the constraint store responsible for holding information about constraints and variables.Methods in org.jacop.examples.set that return Store -
Uses of Store in org.jacop.floats.constraints
Fields in org.jacop.floats.constraints declared as StoreMethods in org.jacop.floats.constraints with parameters of type StoreModifier and TypeMethodDescription(package private) void
AbsPeqR.boundConsistency
(Store store) (package private) void
CosPeqR.boundConsistency
(Store store) (package private) void
SinPeqR.boundConsistency
(Store store) (package private) void
TanPeqR.boundConsistency
(Store store) void
AbsPeqR.consistency
(Store store) void
CosPeqR.consistency
(Store store) void
ElementFloat.consistency
(Store store) void
ElementFloatVariable.consistency
(Store store) void
EquationSystem.consistency
(Store store) void
ExpPeqR.consistency
(Store store) void
Max.consistency
(Store store) void
Min.consistency
(Store store) void
PeqC.consistency
(Store store) void
PeqQ.consistency
(Store store) void
PgtC.consistency
(Store store) void
PgteqC.consistency
(Store store) void
PgteqQ.consistency
(Store store) void
PgtQ.consistency
(Store store) void
PltC.consistency
(Store store) void
PlteqC.consistency
(Store store) void
PlteqQ.consistency
(Store store) void
PltQ.consistency
(Store store) void
PmulCeqR.consistency
(Store store) void
PmulQeqR.consistency
(Store store) void
PneqC.consistency
(Store store) void
PneqQ.consistency
(Store store) void
PplusCeqR.consistency
(Store store) void
PplusQeqR.consistency
(Store store) void
SinPeqR.consistency
(Store store) void
SqrtPeqR.consistency
(Store store) void
TanPeqR.consistency
(Store store) void
XeqP.consistency
(Store store) static final FloatVar
void
void
It imposes the constraint in a given store.void
void
CosPeqR_decomposed.imposeDecomposition
(Store store) static void
void
PeqC.notConsistency
(Store store) void
PeqQ.notConsistency
(Store store) void
PgtC.notConsistency
(Store store) void
PgteqC.notConsistency
(Store store) void
PgteqQ.notConsistency
(Store store) void
PgtQ.notConsistency
(Store store) void
PltC.notConsistency
(Store store) void
PlteqC.notConsistency
(Store store) void
PlteqQ.notConsistency
(Store store) void
PltQ.notConsistency
(Store store) void
PneqC.notConsistency
(Store store) void
PneqQ.notConsistency
(Store store) void
PplusCeqR.notConsistency
(Store store) void
PplusQeqR.notConsistency
(Store store) Constructors in org.jacop.floats.constraints with parameters of type StoreModifierConstructorDescriptionEquationSystem
(Store store, FloatVar[] f, FloatVar[] x) It constructs the constraint EquationSystem.LinearFloat
(Store store, List<? extends FloatVar> variables, List<Double> weights, String rel, double sum) Deprecated.LinearFloat constraint does not use Store parameter any longer.LinearFloat
(Store store, FloatVar[] list, double[] weights, String rel, double sum) Deprecated.LinearFloat constraint does not use Store parameter any longer.LinearFloat
(Store store, FloatVar[] list, double[] weights, String rel, FloatVar sum) Deprecated.LinearFloat constraint does not use Store parameter any longer.MultivariateIntervalNewton
(Store store, FloatVar[] f, FloatVar[] x) Deprecated.SumFloat constraint does not use Store parameter any longer. -
Uses of Store in org.jacop.floats.constraints.linear
Fields in org.jacop.floats.constraints.linear declared as StoreModifier and TypeFieldDescription(package private) Store
BoundsVar.store
(package private) Store
Linear.store
(package private) Store
VariableNode.store
Methods in org.jacop.floats.constraints.linear with parameters of type StoreModifier and TypeMethodDescriptionprivate void
Linear.commonInitialization
(Store store, FloatVar[] list, double[] weights, String rel, double sum) void
Linear.consistency
(Store store) void
void
Linear.notConsistency
(Store store) Constructors in org.jacop.floats.constraints.linear with parameters of type Store -
Uses of Store in org.jacop.floats.core
Methods in org.jacop.floats.core with parameters of type StoreModifier and TypeMethodDescriptionprivate void
FloatVar.commonInitialization
(Store store, String name, FloatDomain dom) Constructors in org.jacop.floats.core with parameters of type StoreModifierConstructorDescriptionThis constructor creates a variable with empty domain (standard FloatIntervalDomain domain), automatically generated name, and empty attached constraint list.This constructor creates a variable with a domain between min..max, automatically generated name, and empty attached constraint list.This constructor creates a variable with an empty domain (standard IntervalDomain domain), the specified name, and an empty attached constraint list.This constructor creates a variable in a given store, with the domain specified by min..max and with the given name.FloatVar
(Store store, String name, FloatDomain dom) It creates a variable in a given store, with a given name and a given domain.FloatVar
(Store store, FloatDomain dom) It creates a variable in a given store, with a given name and a given domain. -
Uses of Store in org.jacop.floats.search
Fields in org.jacop.floats.search declared as StoreConstructors in org.jacop.floats.search with parameters of type StoreModifierConstructorDescriptionOptimize
(Store store, DepthFirstSearch<T> search, SelectChoicePoint<T> select, FloatVar cost) SplitRandomSelectFloat
(Store store, T[] variables, ComparatorVariable<T> varSelect) The constructor to create a simple choice select mechanism.SplitRandomSelectFloat
(Store store, T[] variables, ComparatorVariable<T> varSelect, ComparatorVariable<T> tieBreakerVarSelect) It constructs a simple selection mechanism for choice points.SplitSelectFloat
(Store store, T[] variables, ComparatorVariable<T> varSelect) The constructor to create a simple choice select mechanism.SplitSelectFloat
(Store store, T[] variables, ComparatorVariable<T> varSelect, ComparatorVariable<T> tieBreakerVarSelect) It constructs a simple selection mechanism for choice points.WeightedDegreeFloat
(Store store) -
Uses of Store in org.jacop.fz
Fields in org.jacop.fz declared as StoreModifier and TypeFieldDescription(package private) Store
Constraints.store
(package private) Store
Parser.store
(package private) Store
SearchItem.store
(package private) Store
Solve.store
(package private) Store
Tables.store
Methods in org.jacop.fz that return StoreModifier and TypeMethodDescriptionFlatzincLoader.getStore()
(package private) Store
Parser.getStore()
Methods in org.jacop.fz with parameters of type StoreModifier and TypeMethodDescriptionvoid
Solve.PrecisionSetting.executedAtInitialize
(Store store) (package private) void
VariablesParameters.generateArray
(SimpleNode node, Tables table, Store store) (package private) void
VariablesParameters.generateArrayVariables
(SimpleNode node, Tables table, Store store) (package private) void
VariablesParameters.generateVariables
(SimpleNode node, Tables table, Store store) (package private) IntVar[]
VariablesParameters.getScalarFlatExpr_ArrayVar
(Store store, SimpleNode node, int index) (package private) FloatVar[]
VariablesParameters.getScalarFlatExpr_ArrayVarFloat
(Store store, SimpleNode node, int index) (package private) IntVar
VariablesParameters.getScalarFlatExpr_var
(Store store, SimpleNode node, int i) (package private) FloatVar
VariablesParameters.getScalarFlatExpr_varFloat
(Store store, SimpleNode node, int i) (package private) SetVar[]
VariablesParameters.getSetFlatExpr_ArrayVar
(Store store, SimpleNode node, int index) (package private) SetVar
VariablesParameters.getSetFlatExpr_var
(Store store, SimpleNode node, int i) (package private) void
VariablesParameters.pose
(Store store, Constraint c) Constructors in org.jacop.fz with parameters of type StoreModifierConstructorDescriptionConstraints
(Store store, Tables dict) It creates an object to parse the constraint part of the flatzinc file.SearchItem
(Store store, Tables table) It constructs search part parsing object based on dictionaries provided as well as store object within which the search will take place.Solve
(Store store, SatTranslation sat) It creates a parser for the solve part of the flatzinc file. -
Uses of Store in org.jacop.fz.constraints
Fields in org.jacop.fz.constraints declared as StoreModifier and TypeFieldDescription(package private) Store
BoolConstraints.store
(package private) Store
ComparisonConstraints.store
(package private) Store
ElementConstraints.store
(package private) Store
FloatComparisonConstraints.store
(package private) Store
FloatLinearConstraints.store
(package private) Store
FloatOperationConstraints.store
(package private) Store
GlobalConstraints.store
(package private) Store
GraphConstraints.store
(package private) Store
LinearConstraints.store
(package private) Store
OperationConstraints.store
(package private) Store
SetConstraints.store
(package private) Store
Support.store
Constructors in org.jacop.fz.constraints with parameters of type Store -
Uses of Store in org.jacop.satwrapper
Fields in org.jacop.satwrapper declared as StoreMethods in org.jacop.satwrapper with parameters of type StoreModifier and TypeMethodDescriptionvoid
SatWrapper.consistency
(Store store) The point where all operations are effectively done in the SAT solver, until no operation remains or a conflict occursfinal void
Constructors in org.jacop.satwrapper with parameters of type Store -
Uses of Store in org.jacop.search
Fields in org.jacop.search declared as StoreModifier and TypeFieldDescriptionDepthFirstSearch.store
It represents store within which a search is performed.(package private) Store
FailConstraintsStatistics.store
(package private) Store
Shaving.store
It specifies current store, so shaving can obtained information about recent failed constraint.Methods in org.jacop.search with parameters of type StoreModifier and TypeMethodDescriptionboolean
SimpleSolutionListener.assignSolution
(Store store) It assigns the last found solution to the store.boolean
SimpleSolutionListener.assignSolution
(Store store, int number) boolean
SolutionListener.assignSolution
(Store store, int no) It imposes the constraints, so the last found solution is enforced.void
ExitListener.executedAtExit
(Store store, int solutionsNo) It is executed right after time out is determined.void
NoGoodsCollector.executedAtExit
(Store store, int solutionsNo) void
TraceGenerator.executedAtExit
(Store store, int solutionsNo) void
InitializeListener.executedAtInitialize
(Store store) It is executed before the search starts labeling procedure.void
OneSolution.executedAtInitialize
(Store store) void
TransformExtensional.executedAtInitialize
(Store store) boolean
DepthFirstSearch.labeling
(Store store, SelectChoicePoint<T> select) boolean
DepthFirstSearch.labeling
(Store store, SelectChoicePoint<T> select, Var costVar) boolean
boolean
boolean
PrioritySearch.labeling
(Store store, SelectChoicePoint<T> select) boolean
PrioritySearch.labeling
(Store store, SelectChoicePoint<T> select, Var costVar) boolean
Search.labeling
(Store store, SelectChoicePoint<T> select) It performs search using supplied choice point selection heuristic.boolean
Search.labeling
(Store store, SelectChoicePoint<T> select, Var costVar) It performs search using supplied choice point selection heuristic, as well as costVariable as aim at finding an optimal solution.void
void
It sets the reference to the store in the context of which the search operates.void
It specifies the constraint store in which context the shaving will take place.Constructors in org.jacop.search with parameters of type StoreModifierConstructorDescriptionActivityMax
(Store store) ActivityMax
(Store store, double decay) ActivityMaxDeg
(Store store) ActivityMaxDeg
(Store store, double decay) ActivityMin
(Store store) ActivityMin
(Store store, double decay) ActivityMinDeg
(Store store) ActivityMinDeg
(Store store, double decay) InputOrderSelect
(Store store, T[] variables, Indomain<T> indomain) It constructs an input order selection procedure.WeightedDegree
(Store store) -
Uses of Store in org.jacop.search.restart
Fields in org.jacop.search.restart declared as StoreConstructors in org.jacop.search.restart with parameters of type StoreModifierConstructorDescriptionRestartSearch
(Store store, DepthFirstSearch<T> s, SelectChoicePoint<T> sel, Calculator calculator) RestartSearch
(Store store, DepthFirstSearch<T> s, SelectChoicePoint<T> sel, Calculator calculator, Var cost) -
Uses of Store in org.jacop.search.sgmpcs
Fields in org.jacop.search.sgmpcs declared as StoreConstructors in org.jacop.search.sgmpcs with parameters of type StoreModifierConstructorDescriptionSGMPCSearch
(Store store, IntVar[] vars, IntVar cost) SGMPCSearch
(Store store, IntVar[] vars, IntVar cost, ImproveSolution<IntVar> search) SimpleImprovementSearch
(Store store, IntVar[] vars, IntVar cost) -
Uses of Store in org.jacop.set.constraints
Methods in org.jacop.set.constraints with parameters of type StoreModifier and TypeMethodDescriptionvoid
AdiffBeqC.consistency
(Store store) void
AdisjointB.consistency
(Store store) void
AeqB.consistency
(Store store) void
AeqS.consistency
(Store store) void
AinB.consistency
(Store store) void
AinS.consistency
(Store store) void
AintersectBeqC.consistency
(Store store) void
AleB.consistency
(Store store) void
AltB.consistency
(Store store) void
AunionBeqC.consistency
(Store store) void
CardA.consistency
(Store store) void
CardAeqX.consistency
(Store store) void
EinA.consistency
(Store store) void
ElementSet.consistency
(Store store) void
ElementSetVariable.consistency
(Store store) void
Lex.consistency
(Store store) Deprecated.void
Match.consistency
(Store store) void
SinA.consistency
(Store store) void
SumWeightedSet.consistency
(Store store) void
XeqA.consistency
(Store store) void
XinA.consistency
(Store store) void
void
void
It imposes the constraint in a given store.void
Deprecated.void
AeqB.notConsistency
(Store store) void
AeqS.notConsistency
(Store store) void
AinB.notConsistency
(Store store) void
AinS.notConsistency
(Store store) void
AleB.notConsistency
(Store store) void
AltB.notConsistency
(Store store) void
EinA.notConsistency
(Store store) void
SinA.notConsistency
(Store store) void
XeqA.notConsistency
(Store store) void
XinA.notConsistency
(Store store) -
Uses of Store in org.jacop.set.core
Constructors in org.jacop.set.core with parameters of type StoreModifierConstructorDescriptionThis constructor creates a variable with empty domain (standard IntervalDomain domain), automatically generated name, and empty attached constraint list.This constructor creates a set variable with domain a set min..max automatically generated name, and empty attached constraint list.This constructor creates a variable with an empty domain (standard IntervalDomain domain), the specified name, and an empty attached constraint list.This constructor creates a variable in a given store, with the domain specified by min..max and with the given name.It creates a variable in a given store, with a given name and a given domain.It creates a variable in a given store, with a given name and a given domain. -
Uses of Store in org.jacop.util
Methods in org.jacop.util with parameters of type StoreModifier and TypeMethodDescriptionvoid
IndexDomainView.removeUnSupportedValues
(Store store) It removes all values for which no support was found since the initialization of the support sweep.