Uses of Class
org.jacop.core.Var
Packages that use Var
Package
Description
-
Uses of Var in org.jacop.constraints
Fields in org.jacop.constraints declared as VarModifier and TypeFieldDescription(package private) Var
GCC.XDomain.twin
(package private) Var[]
VariableTrace.vars
(package private) Var
Constraint.watchedVariableGrounded
Fields in org.jacop.constraints with type parameters of type VarModifier and TypeFieldDescriptionGCC.changedVariables
Fix suggested by Radek: a set that keeps track of the variables that have changed and need to be revisited in the consistency methodConstraint.consistencyPruningEvents
It specifies the event which must occur in order for the consistency function to be called.PrimitiveConstraint.notConsistencyPruningEvents
It specifies the events which must occur for notConsistency() method being executed.Linear.positionMaping
Deprecated.SumWeight.positionMaping
SumWeightDom.positionMaping
Deprecated.Constraint.scope
It specifies a set of variables that in the scope of this constraint.Circuit.valueIndex
Subcircuit.valueIndex
(package private) LinkedHashSet
<Var> ExtensionalConflictVA.variableQueue
ExtensionalSupportSTR.varToIndex
It specifies the mapping of the variable into its index.Methods in org.jacop.constraints that return VarModifier and TypeMethodDescriptionAlldistinct.getGuideVariable()
Constraint.getGuideVariable()
This function provides a variable which assigned a value returned by will enhance propagation of this constraint.In.getGuideVariable()
Sum.getGuideVariable()
SumInt.getGuideVariable()
(package private) Var
Rectangle.origin
(int i) Methods in org.jacop.constraints that return types with arguments of type VarModifier and TypeMethodDescriptionConstraint.arguments()
It returns the variables in a scope of the constraint.Element.arguments()
DecomposedConstraint.auxiliaryVariables()
DecomposedConstraint.getDubletonsSkipSingletons
(Var[] parameters) Methods in org.jacop.constraints with parameters of type VarModifier and TypeMethodDescriptionvoid
DecomposedConstraint.checkInputForDuplicationSkipSingletons
(String a, Var[] parameters) int
ArgMax.getConsistencyPruningEvent
(Var var) int
ArgMin.getConsistencyPruningEvent
(Var var) int
Constraint.getConsistencyPruningEvent
(Var var) It retrieves the pruning event which causes reevaluation of the constraint.int
Element.getConsistencyPruningEvent
(Var var) int
Eq.getConsistencyPruningEvent
(Var var) int
IfThen.getConsistencyPruningEvent
(Var var) int
IfThenElse.getConsistencyPruningEvent
(Var var) int
Implies.getConsistencyPruningEvent
(Var var) int
Not.getConsistencyPruningEvent
(Var var) int
Reified.getConsistencyPruningEvent
(Var var) int
Subcircuit.getConsistencyPruningEvent
(Var var) int
Xor.getConsistencyPruningEvent
(Var var) DecomposedConstraint.getDubletonsSkipSingletons
(Var[] parameters) int
And.getNestedPruningEvent
(Var var, boolean mode) int
Eq.getNestedPruningEvent
(Var var, boolean mode) int
IfThen.getNestedPruningEvent
(Var var, boolean mode) int
IfThenElse.getNestedPruningEvent
(Var var, boolean mode) int
Implies.getNestedPruningEvent
(Var var, boolean mode) int
Not.getNestedPruningEvent
(Var var, boolean mode) int
Or.getNestedPruningEvent
(Var var, boolean mode) int
PrimitiveConstraint.getNestedPruningEvent
(Var var, boolean mode) It retrieves the pruning event for which any composed constraint which uses this constraint should be evaluated.int
Reified.getNestedPruningEvent
(Var var, boolean mode) int
Xor.getNestedPruningEvent
(Var var, boolean mode) int
XorBool.getNestedPruningEvent
(Var var, boolean mode) int
Eq.getNotConsistencyPruningEvent
(Var var) int
IfThen.getNotConsistencyPruningEvent
(Var var) int
IfThenElse.getNotConsistencyPruningEvent
(Var var) int
Implies.getNotConsistencyPruningEvent
(Var var) int
Not.getNotConsistencyPruningEvent
(Var var) int
PrimitiveConstraint.getNotConsistencyPruningEvent
(Var var) It retrieves the pruning event which causes reevaluation of the constraint notConsistency() function.int
Reified.getNotConsistencyPruningEvent
(Var var) int
Xor.getNotConsistencyPruningEvent
(Var var) boolean
It checks if provided variables are grounded (singletons).void
Alldiff.queueVariable
(int level, Var var) void
Alldifferent.queueVariable
(int level, Var V) void
Alldistinct.queueVariable
(int level, Var var) void
Among.queueVariable
(int level, Var var) void
AmongVar.queueVariable
(int level, Var var) void
And.queueVariable
(int level, Var variable) void
Assignment.queueVariable
(int level, Var var) void
Constraint.queueVariable
(int level, Var var) This is a function called to indicate which variable in a scope of constraint has changed.void
Diff.queueVariable
(int level, Var V) void
Element.queueVariable
(int level, Var V) void
ElementInteger.queueVariable
(int level, Var var) void
ElementVariable.queueVariable
(int level, Var var) void
Eq.queueVariable
(int level, Var var) void
ExtensionalConflictVA.queueVariable
(int level, Var var) void
ExtensionalSupportSTR.queueVariable
(int level, Var V) void
ExtensionalSupportVA.queueVariable
(int level, Var var) void
GCC.queueVariable
(int level, Var var) void
IfThen.queueVariable
(int level, Var variable) void
IfThenElse.queueVariable
(int level, Var variable) void
Implies.queueVariable
(int level, Var variable) void
LexOrder.queueVariable
(int level, Var var) void
Linear.queueVariable
(int level, Var var) Deprecated.void
Not.queueVariable
(int level, Var variable) void
Or.queueVariable
(int level, Var var) void
Reified.queueVariable
(int level, Var variable) void
SumWeight.queueVariable
(int level, Var var) void
SumWeightDom.queueVariable
(int level, Var var) Deprecated.void
ValuePrecede.queueVariable
(int level, Var var) void
VariableTrace.queueVariable
(int level, Var var) void
Xor.queueVariable
(int level, Var variable) void
Constraint.setConsistencyPruningEvent
(Var var, int pruningEvent) It allows to customize the event for a given variable which causes the re-execution of the consistency method for a constraint.void
PrimitiveConstraint.setNotConsistencyPruningEvent
(Var var, int pruningEvent) It allows to specify customized events required to trigger execution of notConsitency() method.protected void
protected void
void
Constraint.setWatchedVariableGrounded
(Var var) Method parameters in org.jacop.constraints with type arguments of type VarModifier and TypeMethodDescriptionprotected void
protected void
Constructors in org.jacop.constraints with parameters of type VarModifierConstructorDescriptionprotected
Constraint
(Var[]... vars) VariableTrace
(Var v) It constructs trace daemon for variable vVariableTrace
(Var[] vs) It constructs trace daemon for variables vs(package private)
Constructor parameters in org.jacop.constraints with type arguments of type VarModifierConstructorDescriptionAssignment
(List<? extends Var> xs, List<? extends Var> ds, int min) It enforces the relationship x[d[i]-min]=i+min and d[x[i]-min]=i+min.protected
Constraint
(Set<? extends Var> set) protected
Constraint
(Stream<Var> vars) VariableTrace
(List<Var> vs) It constructs trace daemon for variables vs -
Uses of Var in org.jacop.constraints.binpacking
Methods in org.jacop.constraints.binpacking with parameters of type Var -
Uses of Var in org.jacop.constraints.diffn
Fields in org.jacop.constraints.diffn with type parameters of type VarMethods in org.jacop.constraints.diffn that return types with arguments of type VarModifier and TypeMethodDescriptionDiffn.auxiliaryVariables()
DiffnDecomposed.auxiliaryVariables()
-
Uses of Var in org.jacop.constraints.geost
Fields in org.jacop.constraints.geost with type parameters of type VarModifier and TypeFieldDescription(package private) final SimpleArrayList
<Var> Geost.groundedVars
It stores all variables which have been grounded.(package private) final Map
<Var, GeostObject> Geost.variableObjectMap
It maps any variable in the scope of the geost constraint to the object it belongs to.(package private) LinkedHashSet
<Var> Geost.variableQueue
It stores all variables which have changed outside the consistency function of this constraint.GeostObject.variables
It stores all finite domain variables in connection to this object.Methods in org.jacop.constraints.geost that return types with arguments of type VarModifier and TypeMethodDescriptionAllowedArea.definingVariables()
DomainHoles.definingVariables()
ForbiddenArea.definingVariables()
abstract Collection
<Var> InternalConstraint.definingVariables()
It provides a collection, possibly empty, of variables which define this constraint.ObstacleObjectFrame.definingVariables()
GeostObject.getVariables()
It returns finite domain variables which belong to this object.Methods in org.jacop.constraints.geost with parameters of type VarModifier and TypeMethodDescriptionint
Geost.getConsistencyPruningEvent
(Var var) final void
It is executed as soon as any object variable is grounded.final void
GeostObject.onUnGround
(Var variable) It is executed as soon as backtracking has occurred making previously grounded variable ungrounded again.void
Geost.queueVariable
(int level, Var v) Method parameters in org.jacop.constraints.geost with type arguments of type VarModifier and TypeMethodDescriptionprotected void
Geost.flushQueue
(Collection<Var> variables) It does the processing needed given the set of variables that was updated between two consecutive calls to the consistency function. -
Uses of Var in org.jacop.constraints.knapsack
Methods in org.jacop.constraints.knapsack with parameters of type Var -
Uses of Var in org.jacop.constraints.netflow
Methods in org.jacop.constraints.netflow with parameters of type VarModifier and TypeMethodDescriptionint
NetworkFlow.getConsistencyPruningEvent
(Var var) int
ArcCompanion.getPruningEvent
(Var var) int
DomainStructure.getPruningEvent
(Var var) int
MultiVarHandler.getPruningEvent
(Var variable) int
VarHandler.getPruningEvent
(Var variable) Retrieves the consistency pruning event of a handler variable that causes the handler to be reevaluated.void
NetworkFlow.queueVariable
(int level, Var variable) Search & Backtracking -
Uses of Var in org.jacop.constraints.regular
Methods in org.jacop.constraints.regular with parameters of type Var -
Uses of Var in org.jacop.constraints.table
Methods in org.jacop.constraints.table with parameters of type VarModifier and TypeMethodDescriptionvoid
SimpleTable.queueVariable
(int level, Var v) void
Table.queueVariable
(int level, Var v) -
Uses of Var in org.jacop.core
Subclasses of Var in org.jacop.coreModifier and TypeClassDescriptionclass
Defines a variable and related operations on it.class
Defines a Finite Domain Variable (FDV) and related operations on it.Fields in org.jacop.core declared as VarModifier and TypeFieldDescriptionVar[]
Store.vars
It stores integer variables created within a store.Fields in org.jacop.core with type parameters of type VarModifier and TypeFieldDescriptionStore.auxilaryVariables
It contains all auxilary variables created by decomposable constraints.Store.variablesHashMap
It may be used for faster retrieval of variables given their id.Store.variablesPrunned
Map
<Var, Set<Constraint>> Store.watchedConstraints
This keeps information about watched constraints by given variable.Methods in org.jacop.core with type parameters of type VarModifier and TypeMethodDescriptionstatic <T extends Var>
voidVar.addPositionMapping
(Map<T, Integer> position, T[] list, boolean skipSingletons, Class clazz) static <T extends Var,
R>
voidVar.addPositionMapping
(Map<T, R> position, T[] list, Function<T, R> function, boolean skipSingletons, Class clazz) Var.createEmptyPositioning()
Var.positionMapping
(T[] list, boolean skipSingletons, Class clazz) Var.positionMapping
(T[] list, Function<T, R> function, boolean skipSingletons, Class clazz) Methods in org.jacop.core that return VarModifier and TypeMethodDescriptionStore.findVariable
(String id) This function looks for a variable with given id.Methods in org.jacop.core with parameters of type VarModifier and TypeMethodDescriptionvoid
Store.addChanged
(Var var, int pruningEvent, int info) This function schedules all attached (not yet satisfied constraints) for given variable for re-evaluation.static <T extends Var>
voidVar.addPositionMapping
(Map<T, Integer> position, T[] list, boolean skipSingletons, Class clazz) static <T extends Var,
R>
voidVar.addPositionMapping
(Map<T, R> position, T[] list, Function<T, R> function, boolean skipSingletons, Class clazz) void
Store.deregisterWatchedLiteralConstraint
(Var v, Constraint c) Variable given as a parameter no longer watches constraint given as parameter.void
void
abstract void
It enforces that this domain is included within the specified domain.abstract void
It updates the domain to have values only within the interval min..max.void
void
It updates the domain to have values only within the domain.void
It updates the domain to have values only within the interval min..max.void
It updates the domain to have values only within the domain.void
It updates the domain to have values only within the interval min..max.void
void
void
BoundDomain.inComplement
(int storeLevel, Var var, int complement) void
BoundDomain.inComplement
(int storeLevel, Var var, int min, int max) void
IntDomain.inComplement
(int storeLevel, Var var, int complement) It updates the domain to not contain the value complement.abstract void
IntDomain.inComplement
(int storeLevel, Var var, int min, int max) It updates the domain so it does not contain the supplied interval.void
IntervalDomain.inComplement
(int storeLevel, Var var, int complement) It updates the domain to not contain the value complement.void
IntervalDomain.inComplement
(int storeLevel, Var var, int min, int max) void
SmallDenseDomain.inComplement
(int storeLevel, Var var, int complement) void
SmallDenseDomain.inComplement
(int storeLevel, Var var, int minComplement, int maxComplement) void
void
It updates the domain according to the maximum value and stamp value.void
It updates the domain according to the maximum value and stamp value.void
void
void
It updates the domain according to the minimum value and stamp value.void
It updates the domain according to the minimum value and stamp value.void
void
abstract void
It updates the domain to contain the elements as specifed by the domain, which is shifted.void
It updates the domain to contain the elements as specifed by the domain, which is shifted.void
Var.positionMapping
(T[] list, boolean skipSingletons, Class clazz) Var.positionMapping
(T[] list, Function<T, R> function, boolean skipSingletons, Class clazz) abstract void
Domain.putModelConstraint
(int storeLevel, Var var, Constraint C, int pruningEvent) It adds a constraint to a domain, it should only be called by putConstraint function of Variable object.void
IntDomain.putModelConstraint
(int storeLevel, Var var, Constraint c, int pruningEvent) It adds a constraint to a domain, it should only be called by putConstraint function of Variable object.abstract void
Domain.putSearchConstraint
(int storeLevel, Var var, Constraint C) It adds a constraint to a domain, it should only be called by putConstraint function of Variable object.void
IntDomain.putSearchConstraint
(int storeLevel, Var var, Constraint c) It adds a constraint to a domain, it should only be called by putConstraint function of Variable object.int
Store.putVariable
(Var var) This function is used to register a variable within a store.void
Store.recordChange
(Var recordedVariable) Any change of finite domain variable must also be recorded, so intervals denoting changed variables can be updated.void
Store.registerWatchedLiteralConstraint
(Var v, Constraint c) It register variable to watch given constraint.void
BoundDomain.removeLevel
(int level, Var var) abstract void
Domain.removeLevel
(int level, Var var) It removes the specified level.void
IntervalDomain.removeLevel
(int level, Var var) It removes a level of a domain.void
SmallDenseDomain.removeLevel
(int level, Var var) abstract void
Domain.removeModelConstraint
(int storeLevel, Var var, Constraint c) It removes a constraint from a domain, it should only be called by removeConstraint function of Variable object.void
IntDomain.removeModelConstraint
(int storeLevel, Var var, Constraint c) abstract void
Domain.removeSearchConstraint
(int storeLevel, Var var, int position, Constraint c) It removes a constraint from a domain, it should only be called by removeConstraint function of Variable object.void
IntDomain.removeSearchConstraint
(int storeLevel, Var var, int position, Constraint c) It removes a constraint from a domain, it should only be called by removeConstraint function of Variable object.void
IntDomain.removeSearchConstraint
(int storeLevel, Var var, Constraint c) It removes a constraint from a domain, it should only be called by removeConstraint function of Variable object.void
Store.throwFailException
(Var x) It throws an exception after printing trace information if tracing is switched on. -
Uses of Var in org.jacop.examples.cpviz
Classes in org.jacop.examples.cpviz with type parameters of type VarFields in org.jacop.examples.cpviz with type parameters of type Var -
Uses of Var in org.jacop.examples.fd
Classes in org.jacop.examples.fd with type parameters of type VarModifier and TypeClassDescriptionstatic class
WordGame.PrintListener<T extends Var>
It is a simple print listener to print every tenth solution encountered.Method parameters in org.jacop.examples.fd with type arguments of type VarModifier and TypeMethodDescriptionboolean
ExampleFD.searchMasterSlave
(List<Var> masterVars, List<Var> slaveVars) It conducts master-slave search. -
Uses of Var in org.jacop.examples.fd.crosswords
Classes in org.jacop.examples.fd.crosswords with type parameters of type VarModifier and TypeClassDescriptionclass
CrossWord.PrintListener<T extends Var>
It is a simple print listener to print every tenth solution encountered. -
Uses of Var in org.jacop.examples.set
Method parameters in org.jacop.examples.set with type arguments of type VarModifier and TypeMethodDescriptionboolean
ExampleSet.searchMasterSlave
(List<Var> masterVars, List<Var> slaveVars) It conducts master-slave search. -
Uses of Var in org.jacop.floats.constraints
Methods in org.jacop.floats.constraints with parameters of type VarModifier and TypeMethodDescriptionvoid
ElementFloat.queueVariable
(int level, Var var) void
LinearFloat.queueVariable
(int level, Var var) -
Uses of Var in org.jacop.floats.constraints.linear
Methods in org.jacop.floats.constraints.linear with parameters of type Var -
Uses of Var in org.jacop.floats.core
Subclasses of Var in org.jacop.floats.coreModifier and TypeClassDescriptionclass
Defines a Float Domain Variable and related operations on it.Methods in org.jacop.floats.core with parameters of type VarModifier and TypeMethodDescriptionabstract void
It updates the domain to have values only within the interval min..max.void
void
FloatDomain.in
(int storeLevel, Var var, FloatDomain domain) It updates the domain to have values only within the domain.void
It updates the domain to have values only within the interval min..max.void
FloatIntervalDomain.in
(int storeLevel, Var var, FloatDomain domain) It updates the domain to have values only within the domain.void
FloatDomain.inComplement
(int storeLevel, Var var, double complement) It updates the domain to not contain the value complement.abstract void
FloatDomain.inComplement
(int storeLevel, Var var, double min, double max) It updates the domain so it does not contain the supplied interval.void
FloatIntervalDomain.inComplement
(int storeLevel, Var var, double complement) It updates the domain to not contain the value complement.void
FloatIntervalDomain.inComplement
(int storeLevel, Var var, double min, double max) void
It updates the domain according to the maximum value and stamp value.void
It updates the domain according to the maximum value and stamp value.void
It updates the domain according to the minimum value and stamp value.void
It updates the domain according to the minimum value and stamp value.abstract void
FloatDomain.inShift
(int storeLevel, Var var, FloatDomain domain, double shift) It updates the domain to contain the elements as specifed by the domain, which is shifted.void
FloatIntervalDomain.inShift
(int storeLevel, Var var, FloatDomain domain, double shift) It updates the domain to contain the elements as specifed by the domain, which is shifted.void
It reduces domain to a single value.void
FloatDomain.putModelConstraint
(int storeLevel, Var var, Constraint C, int pruningEvent) It adds a constraint to a domain, it should only be called by putConstraint function of Variable object.void
FloatIntervalDomain.putSearchConstraint
(int storeLevel, Var var, Constraint C) It adds a constraint to a domain, it should only be called by putConstraint function of Variable object.void
FloatIntervalDomain.removeLevel
(int level, Var var) It removes a level of a domain.void
FloatDomain.removeModelConstraint
(int storeLevel, Var var, Constraint C) void
FloatIntervalDomain.removeSearchConstraint
(int storeLevel, Var var, int position, Constraint C) It removes a constraint from a domain, it should only be called by removeConstraint function of Variable object.void
FloatIntervalDomain.removeSearchConstraint
(int storeLevel, Var var, Constraint C) It removes a constraint from a domain, it should only be called by removeConstraint function of Variable object. -
Uses of Var in org.jacop.floats.search
Classes in org.jacop.floats.search with type parameters of type VarModifier and TypeClassDescriptionclass
LargestDomainFloat<T extends Var>
Defines LargestDomainFloat comparator for Variables.class
Implements optimization for floating point varibalesclass
Optimize.ResultListener<T extends Var>
class
SmallestDomainFloat<T extends Var>
Defines a Smallest Domain comparator for Variables.class
SplitRandomSelectFloat<T extends Var>
It is simple and customizable selector of decisions (constraints) which will be enforced by search.class
SplitSelectFloat<T extends Var>
It is simple and customizable selector of decisions (constraints) which will be enforced by search.class
WeightedDegreeFloat<T extends Var>
Defines a WeightedDegreeFloat comparator for Variables.Fields in org.jacop.floats.search declared as VarModifier and TypeFieldDescription(package private) Var[]
Optimize.ResultListener.var
(package private) Var[]
Optimize.variables
Constructors in org.jacop.floats.search with parameters of type VarModifierConstructorDescriptionResultListener
(Var[] v) 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. -
Uses of Var in org.jacop.fz
Classes in org.jacop.fz with type parameters of type VarModifier and TypeClassDescriptionclass
SearchItem<T extends Var>
The part of the parser responsible for parsing search part of the flatzinc specification.class
SearchItem.ComparatorsVar<T extends Var>
class
class
Solve.CostListener<T extends Var>
Fields in org.jacop.fz declared as VarModifier and TypeFieldDescription(package private) Var[]
OutputArrayAnnotation.array
(package private) Var
Solve.costVariable
(package private) Var
Solve.flatzincCost
(package private) Var[]
SearchItem.search_variables
Fields in org.jacop.fz with type parameters of type VarModifier and TypeFieldDescriptionTables.defaultSearchFloatVariables
Tables.defaultSearchSetVariables
Tables.defaultSearchVariables
private Comparator
<Var> DefaultSearchVars.domainSizeComparator
Tables.outputVariables
Methods in org.jacop.fz that return VarModifier and TypeMethodDescription(package private) Var[]
OutputArrayAnnotation.getArray()
FlatzincLoader.getCost()
Var[]
SearchItem.vars()
Methods in org.jacop.fz that return types with arguments of type VarModifier and TypeMethodDescriptionFlatzincLoader.getDFS()
FlatzincLoader.getSearch()
FlatzincLoader.getSelectChoicePoint()
FlatzincLoader.getSolve()
Methods in org.jacop.fz with parameters of type VarModifier and TypeMethodDescriptionvoid
It adds an output variable.void
Tables.addSearchArray
(Var[] v) It adds a search array.void
Tables.addSearchFloatArray
(Var[] v) It adds a search array.void
Tables.addSearchFloatVar
(Var v) It adds a search variable.void
Tables.addSearchSetArray
(Var[] v) It adds an array of search set variables.void
Tables.addSearchSetVar
(Var v) It adds a search set variable.void
Tables.addSearchVar
(Var v) It adds a search variable.(package private) boolean
(package private) boolean
boolean
It checks whether a variable is output variable.(package private) void
-
Uses of Var in org.jacop.fz.constraints
Methods in org.jacop.fz.constraints that return Var -
Uses of Var in org.jacop.satwrapper
Methods in org.jacop.satwrapper that return types with arguments of type VarMethods in org.jacop.satwrapper with parameters of type VarModifier and TypeMethodDescriptionint
SatWrapper.getConsistencyPruningEvent
(Var var) void
SatWrapper.queueVariable
(int level, Var var) -
Uses of Var in org.jacop.search
Classes in org.jacop.search with type parameters of type VarModifier and TypeClassDescriptionclass
ActivityMax<T extends Var>
Defines a pruning activity comparatorfor variables.class
ActivityMaxDeg<T extends Var>
Defines a pruning activity comparatorfor variables.class
ActivityMin<T extends Var>
Defines a pruning activity comparatorfor variables.class
ActivityMinDeg<T extends Var>
Defines a pruning activity comparatorfor variables.class
Defines a AccumulatedFailureCount comparator (afc) for variables.class
Defines a AccumulatedFailureCount comparator (afc) for variables.class
Defines a AccumulatedFailureCount comparator (afc) for variables.class
Defines a AccumulatedFailureCount comparator (afc) for variables.interface
ComparatorVariable<T extends Var>
Defines an interface for comparing variables.class
CreditCalculator<T extends Var>
Defines functionality of credit search.class
DepthFirstSearch<T extends Var>
Implements Depth First Search with number of possible plugins (listeners) to be attached to modify the search.interface
ExitChildListener<T extends Var>
Defines a listener which is called by the search if a child node is exited.interface
Defines a interface for different indomain enumeration methods.class
IndomainDefaultValue<T extends Var>
IndomainDefaultValue - implements enumeration method based on the selection of the default value for each variable first.class
IndomainHierarchical<T extends Var>
IndomainHierarchical - implements enumeration method based on the selection of the preferred indomain for each variable.class
InputOrderSelect<T extends Var>
It is simple input order selector of variables.class
LargestDomain<T extends Var>
Defines LargestDomain comparator for Variables.class
Defines functionality of limited discrepancy search.class
MinDomainOverDegree<T extends Var>
Defines a MinDomainOverDegree comparator for Variables.class
MostConstrainedDynamic<T extends Var>
Defines a MostConstrainedDynamic comparator for Variables.class
MostConstrainedStatic<T extends Var>
Defines a MostConstraintStatic comparator for Variables.class
OneSolution<T extends Var>
Defines functionality for OneSolution plug-in, that is the search with this plug-in will stop after funding first solution.class
PrintOutListener<T extends Var>
It is a simple example how it is possible to extend existing listeners to add your own functionality.class
PrioritySearch<T extends Var>
PrioritySearch selects first a row in the matrix based on metric of the variable at the pririty vector.(package private) class
PrioritySearch.LinkingSearch<T extends Var>
class
RandomSelect<T extends Var>
It is simple and customizable selector of decisions (constraints) which will be enforced by search.class
Defines a RandomVar comparator for variables.interface
All searches needs to implement this interface in order to be manipulable by a large variety of search listeners.interface
SelectChoicePoint<T extends Var>
Defines an interface for defining different methods for selecting next search decision to be taken.class
SimpleMatrixSelect<T extends Var>
SimpleMatrixSelect selects first a row in the matrix based on metric of the variable at pivotPosition.class
SimpleSelect<T extends Var>
It is simple and customizable selector of decisions (constraints) which will be enforced by search.class
SimpleSolutionListener<T extends Var>
It defines a simple solution listener which should be used if some basic functionality of search when a solution is encountered are required.class
SmallestDomain<T extends Var>
Defines a Smallest Domain comparator for Variables.interface
SolutionListener<T extends Var>
Defines an interface which needs to be implemented by all classes which wants to be informed about the solution.class
TraceGenerator<T extends Var>
TODO TraceGenerator should accept as input to constructor a Search object.class
WeightedDegree<T extends Var>
Defines a WeightedDegree comparator for variables.Fields in org.jacop.search declared as VarModifier and TypeFieldDescription(package private) T[]
PrioritySearch.allVars
DepthFirstSearch.costVariable
It represents the cost variable.(package private) T[]
PrioritySearch.priority
(package private) T[]
InputOrderSelect.searchVariables
T[]
RandomSelect.searchVariables
T[]
SimpleSelect.searchVariables
(package private) T
TraceGenerator.selectedVar
It stores information about var being selected by internal select choice point.(package private) Var
TraceGenerator.SearchNode.v
T[]
SimpleSolutionListener.vars
It is executed right after consistency of the current search node.Fields in org.jacop.search with type parameters of type VarModifier and TypeFieldDescriptionDepthFirstSearch.masterSearch
If this search is a sub-search then this pointer will point out to the master search (i.e.SolutionListener
<? extends Var> SimpleSolutionListener.parentSolutionListener
If this search is a slave search than each solution within this search must be connected to a solution of the master search.TraceGenerator.tracedVar
It specifies the list of variables that are being traced.TraceGenerator.varIndex
Methods in org.jacop.search that return VarModifier and TypeMethodDescriptionDepthFirstSearch.getCostVariable()
Search.getCostVariable()
It returns the cost variable.T[]
DepthFirstSearch.getVariables()
T[]
PrioritySearch.getVariables
(PrioritySearch<T> ps) T[]
Search.getVariables()
It returns the order of variables used by functions returning a solution in terms of the values.T[]
SimpleSolutionListener.getVariables()
It returns null if no solution was recorded, or the variables for which the solution(s) was recorded.T[]
SolutionListener.getVariables()
It returns the variables in the same order as the one used to encode solutions.Methods in org.jacop.search with parameters of type VarModifier and TypeMethodDescriptionvoid
TraceGenerator.addTracedVar
(Var v) (package private) double
(package private) double
(package private) double
(package private) double
boolean
DepthFirstSearch.labeling
(Store store, SelectChoicePoint<T> select, Var costVar) boolean
boolean
PrioritySearch.labeling
(Store store, SelectChoicePoint<T> select, Var costVar) 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
DepthFirstSearch.setCostVar
(Var cost) void
Search.setCostVar
(Var cost) It sets the reference to the cost variable.void
PrioritySearch.setCostVariable
(Var cost) (package private) void
DepthFirstSearch.setOptimizationForChildSearches
(DepthFirstSearch<T> s, Var costVar) void
SimpleSolutionListener.setVariables
(T[] vs) Method parameters in org.jacop.search with type arguments of type VarModifier and TypeMethodDescriptionvoid
DepthFirstSearch.addChildSearch
(Search<? extends Var> child) void
Search.addChildSearch
(Search<? extends Var> child) It adds another child search to this one.private int
private int
void
DepthFirstSearch.setMasterSearch
(Search<? extends Var> master) void
Search.setMasterSearch
(Search<? extends Var> master) If the search is called by a master search then the search may need to obtain some information about the master search.void
SimpleSolutionListener.setParentSolutionListener
(SolutionListener<? extends Var> parent) void
SolutionListener.setParentSolutionListener
(SolutionListener<? extends Var> parent) It allows to inform sub-search of what is the current number of the solution in master search.Constructors in org.jacop.search with parameters of type VarModifierConstructorDescriptionInputOrderSelect
(Store store, T[] variables, Indomain<T> indomain) It constructs an input order selection procedure.PrioritySearch
(T[] priority, ComparatorVariable<T> comparator, ComparatorVariable<T> tieBreak, DepthFirstSearch<T>[] dfs) It constructs a PrioritySearch.PrioritySearch
(T[] priority, ComparatorVariable<T> comparator, DepthFirstSearch<T>[] dfs) It constructs a PrioritySearch.RandomSelect
(T[] variables, Indomain<T> indomain) The constructor to create a simple choice select mechanism.SimpleMatrixSelect
(T[][] vars, ComparatorVariable<T> mainComparator, ComparatorVariable<T> tieBreakingComparator, Indomain<T> indomain) It constructs a MatrixSelection variable ordering.SimpleMatrixSelect
(T[][] vars, ComparatorVariable<T> mainComparator, ComparatorVariable<T> tieBreakingComparator, Indomain<T> indomain, int pivotPosition) This constructor allows to specify all parameters for the selection mechanism.SimpleMatrixSelect
(T[][] vars, ComparatorVariable<T> mainComparator, Indomain<T> indomain) It constructs a MatrixSelection variable ordering.SimpleMatrixSelect
(T[][] vars, Indomain<T> indomain) This constructor uses default values for all parameters.SimpleSelect
(T[] variables, ComparatorVariable<T> varSelect, ComparatorVariable<T> tieBreakerVarSelect, Indomain<T> indomain) It constructs a simple selection mechanism for choice points.SimpleSelect
(T[] variables, ComparatorVariable<T> varSelect, Indomain<T> indomain) The constructor to create a simple choice select mechanism.TraceGenerator
(Search<T> search, SelectChoicePoint<T> select, Var[] vars) It creates a CPviz trace generator around proper select choice point object.TraceGenerator
(Search<T> search, SelectChoicePoint<T> select, Var[] vars, String treeFilename, String visFilename) It creates a CPviz trace generator around proper select choice point object.private
TraceGenerator
(SelectChoicePoint<T> select, Var[] vars, String treeFilename, String visFilename) It creates a CPviz trace generator around proper select choice point object. -
Uses of Var in org.jacop.search.restart
Classes in org.jacop.search.restart with type parameters of type VarModifier and TypeClassDescriptionclass
RestartSearch<T extends Var>
Implements restart search.class
RestartSearch.CostListener<T extends Var>
Fields in org.jacop.search.restart declared as VarModifier and TypeFieldDescription(package private) Var
RestartSearch.cost
(package private) Var[]
CustomReport.vars
Methods in org.jacop.search.restart with parameters of type VarConstructors in org.jacop.search.restart with parameters of type Var -
Uses of Var in org.jacop.search.sgmpcs
Classes in org.jacop.search.sgmpcs with type parameters of type VarModifier and TypeInterfaceDescriptioninterface
ImproveSolution<T extends Var>
Defines an interface for defining different methods for selecting next search decision to be taken.class
SGMPCSCalculator<T extends Var>
Defines functionality for SGMPCS searchFields in org.jacop.search.sgmpcs with type parameters of type Var -
Uses of Var in org.jacop.set.constraints
Methods in org.jacop.set.constraints with parameters of type VarModifier and TypeMethodDescriptionint
CardAeqX.getConsistencyPruningEvent
(Var var) int
ChannelBoolSet.getConsistencyPruningEvent
(Var var) int
ChannelIntSet.getConsistencyPruningEvent
(Var var) int
ElementSet.getConsistencyPruningEvent
(Var var) int
Match.getConsistencyPruningEvent
(Var var) int
SumWeightedSet.getConsistencyPruningEvent
(Var var) int
XeqA.getConsistencyPruningEvent
(Var var) int
XinA.getConsistencyPruningEvent
(Var var) int
XeqA.getNestedPruningEvent
(Var var, boolean mode) int
XinA.getNestedPruningEvent
(Var var, boolean mode) int
AeqS.getNotConsistencyPruningEvent
(Var var) int
XeqA.getNotConsistencyPruningEvent
(Var var) int
XinA.getNotConsistencyPruningEvent
(Var var) void
AdiffBeqC.queueVariable
(int level, Var variable) void
AdisjointB.queueVariable
(int level, Var variable) void
AintersectBeqC.queueVariable
(int level, Var variable) void
AunionBeqC.queueVariable
(int level, Var variable) void
PartitionSet.queueVariable
(int level, Var var) -
Uses of Var in org.jacop.set.core
Subclasses of Var in org.jacop.set.coreModifier and TypeClassDescriptionclass
Defines a Finite Domain Variable (FDV) and related operations on it.Methods in org.jacop.set.core with parameters of type VarModifier and TypeMethodDescriptionvoid
void
SetDomain.putModelConstraint
(int storeLevel, Var var, Constraint C, int pruningEvent) It adds a constraint to a domain, it should only be called by putConstraint function of Variable object.void
SetDomain.putSearchConstraint
(int storeLevel, Var var, Constraint C) It adds a constraint to a domain, it should only be called by putConstraint function of Variable object.void
SetDomain.removeLevel
(int level, Var var) It removes the specified level.void
SetDomain.removeModelConstraint
(int storeLevel, Var var, Constraint C) It removes a constraint from a domain, it should only be called by removeConstraint function of Variable object.void
SetDomain.removeSearchConstraint
(int storeLevel, Var var, int position, Constraint C) It removes a constraint from a domain, it should only be called by removeConstraint function of Variable object. -
Uses of Var in org.jacop.util
Fields in org.jacop.util with type parameters of type VarMethods in org.jacop.util with parameters of type VarConstructors in org.jacop.util with parameters of type VarModifierConstructorDescriptionQueueForward
(Collection<T> constraints, Var var) QueueForward
(T[] constraints, Var[] vars) QueueForward
(T constraint, Var var) Constructor parameters in org.jacop.util with type arguments of type VarModifierConstructorDescriptionQueueForward
(T[] constraints, Collection<Var> vars) QueueForward
(T constraint, Collection<Var> vars)