Uses of Interface
choco.kernel.solver.variables.set.SetVar

Packages that use SetVar
choco.cp.solver   
choco.cp.solver.constraints.global.pack   
choco.cp.solver.constraints.set   
choco.cp.solver.propagation   
choco.cp.solver.search   
choco.cp.solver.search.set   
choco.cp.solver.variables.set   
choco.kernel.common.opres.nosum   
choco.kernel.common.util.tools   
choco.kernel.solver   
choco.kernel.solver.constraints.set   
choco.kernel.solver.propagation A package of classes devoted to the event model of constraint propagation.
choco.kernel.solver.search A package devoted to the the control of search algorithms.
choco.kernel.solver.search.set   
choco.kernel.solver.variables.set   
samples.tutorials.lns.lns   
trace.visualizers   
 

Uses of SetVar in choco.cp.solver
 

Methods in choco.cp.solver that return SetVar
 SetVar CPSolver.createBoundSetVar(String name, int a, int b)
           
 SetVar CPSolver.createEnumSetVar(String name, int a, int b)
           
 SetVar CPSolver.createSetVar(String name, int a, int b, int type)
           
 SetVar CPSolver.createSetVar(String name, int a, int b, IntDomainVar card)
           
 SetVar[] CPSolver.getSetDecisionVars()
          get the list of decision set variables.
 SetVar CPSolver.getSetVar(int i)
          Returns a set variable.
 SetVar CPSolver.getSetVarQuick(int i)
           
 SetVar[] CPSolver.getVar(SetVariable... v)
           
 SetVar CPSolver.getVar(SetVariable v)
           
 

Methods in choco.cp.solver that return types with arguments of type SetVar
 DisposableIterator<SetVar> CPSolver.getSetVarIterator()
           
 

Methods in choco.cp.solver with parameters of type SetVar
 void CPSolver.addSetVar(SetVar sv)
          Add a set variable to the set variables list
static SConstraint CPSolver.eq(SetVar s1, SetVar s2)
           
 SConstraint CPSolver.eqCard(SetVar s, int i)
           
 SConstraint CPSolver.eqCard(SetVar s, IntDomainVar i)
           
 SConstraint CPSolver.geqCard(SetVar sv, int v)
           
 SConstraint CPSolver.geqCard(SetVar sv, IntDomainVar v)
           
 int CPSolver.getSetVarIndex(SetVar c)
           
 SConstraint CPSolver.leqCard(SetVar sv, int i)
           
 SConstraint CPSolver.leqCard(SetVar sv, IntDomainVar i)
           
static SConstraint CPSolver.neq(SetVar s1, SetVar s2)
           
 

Method parameters in choco.cp.solver with type arguments of type SetVar
 void CPSolver.setValSetIterator(ValIterator<SetVar> valIterator)
          Sets the integer value iterator the search should use
 void CPSolver.setValSetSelector(ValSelector<SetVar> setValIntSelector)
          Sets the integer value selector the search should use
 void CPSolver.setVarSetSelector(VarSelector<SetVar> setVarSelector)
          Sets unique set variable selector the search strategy should use.
 

Uses of SetVar in choco.cp.solver.constraints.global.pack
 

Constructors in choco.cp.solver.constraints.global.pack with parameters of type SetVar
PackSConstraint(IEnvironment environment, SetVar[] itemSets, IntDomainVar[] loads, IntDomainVar[] sizes, IntDomainVar[] bins, IntDomainVar nbNonEmpty)
           
 

Uses of SetVar in choco.cp.solver.constraints.set
 

Fields in choco.cp.solver.constraints.set declared as SetVar
protected  SetVar[] SetNaryUnion.setVars
           
protected  SetVar SetNaryUnion.unionSet
           
 

Methods in choco.cp.solver.constraints.set that return types with arguments of type SetVar
 AbstractSConstraint<SetVar> SetNotEq.opposite(Solver solver)
           
 AbstractSConstraint<SetVar> SetEq.opposite(Solver solver)
           
 AbstractSConstraint<SetVar> NotMemberX.opposite(Solver solver)
           
 AbstractSConstraint<SetVar> MemberX.opposite(Solver solver)
           
 AbstractSConstraint<SetVar> IsNotIncluded.opposite(Solver solver)
           
 AbstractSConstraint<SetVar> IsIncluded.opposite(Solver solver)
           
 

Methods in choco.cp.solver.constraints.set with parameters of type SetVar
static boolean SetNotEq.checkAreNotEqual(SetVar instVar, SetVar otherVar)
           
 void SetNotEq.filterForInst(SetVar instvar, SetVar otherVar, int idx)
           
static boolean IsNotIncluded.isKer1IncludedInEnv2(SetVar x0, SetVar x1)
           
static boolean IsNotIncluded.isKer1IncludedInKer2(SetVar x0, SetVar x1)
           
 

Constructors in choco.cp.solver.constraints.set with parameters of type SetVar
AbstractBoundOfASet(IEnvironment environment, IntDomainVar[] intvars, SetVar setvar, AbstractBoundOfASet.EmptySetPolicy emptySetPolicy)
           
AllDisjoint(SetVar[] setvars)
           
ComplementSet(SetVar v0, SetVar v1)
           
Disjoint(SetVar sv1, SetVar sv2)
           
InverseSet(SetVar[] x, SetVar[] y)
           
InverseSet(SetVar[] x, SetVar[] y)
           
InverseSetInt(IntDomainVar[] x, SetVar[] s)
           
IsIncluded(SetVar sv1, SetVar sv2)
          create a constraint to state sv1 isIncluded sv2 sv1 isIncluded in sv2
IsNotIncluded(SetVar sv1, SetVar sv2)
          create a constraint to state sv1 isIncluded sv2 sv1 isIncluded in sv2
MaxOfASet(IEnvironment environment, IntDomainVar[] intvars, SetVar setvar, AbstractBoundOfASet.EmptySetPolicy emptySetPolicy)
           
MemberX(SetVar v, int val)
           
MemberXiY(SetVar setvar, IntDomainVar[] intvars)
           
MemberXY(SetVar set, IntDomainVar iv)
           
MinOfASet(IEnvironment environment, IntDomainVar[] intvars, SetVar setvar, AbstractBoundOfASet.EmptySetPolicy emptySetPolicy)
           
NotMemberX(SetVar v, int val)
           
NotMemberXY(SetVar set, IntDomainVar iv)
           
SetCard(SetVar sv, IntDomainVar iv, boolean inf, boolean sup)
           
SetEq(SetVar sv1, SetVar sv2)
          create a constraint to state sv1 is not equal to sv2
SetIntersection(SetVar sv1, SetVar sv2, SetVar sv3)
           
SetLexicographicOrdering(SetVar v0, SetVar v1)
           
SetNaryUnion(SetVar[] vars, IEnvironment environment)
           
SetNotEq(SetVar sv1, SetVar sv2)
          create a constraint to state sv1 is not equal to sv2
SetUnion(SetVar sv1, SetVar sv2, SetVar sv3)
          Enforce sv3 to be the union of sv1 and sv2
SetValuePrecede(int s, int t, SetVar[] svars, IEnvironment environment)
           
 

Uses of SetVar in choco.cp.solver.propagation
 

Methods in choco.cp.solver.propagation with parameters of type SetVar
 void AbstractPropagationEngine.postAddKer(SetVar v, SConstraint constraint, boolean forceAwake)
          Specific method to post modification of kernel addition event
 void AbstractPropagationEngine.postInstSet(SetVar v, SConstraint constraint, boolean forceAwake)
          Specific method to post instantiation event
 void AbstractPropagationEngine.postRemEnv(SetVar v, SConstraint constraint, boolean forceAwake)
          Specific method to post modification of envelope removal event
 

Uses of SetVar in choco.cp.solver.search
 

Methods in choco.cp.solver.search with parameters of type SetVar
static AssignSetVar BranchingFactory.lexicographic(Solver solver, SetVar[] vars)
           
static AssignSetVar BranchingFactory.randomSearch(Solver solver, SetVar[] vars, long seed)
           
 

Uses of SetVar in choco.cp.solver.search.set
 

Fields in choco.cp.solver.search.set with type parameters of type SetVar
protected  ArrayList<SetVar> RandomSetVarSelector.list
           
protected  ValSelector<SetVar> AssignSetVar.valselector
           
protected  VarSelector<SetVar> AssignSetVar.varselector
           
 

Methods in choco.cp.solver.search.set that return SetVar
 SetVar StaticSetVarOrder.selectVar()
           
 SetVar RandomSetVarSelector.selectVar()
           
 

Methods in choco.cp.solver.search.set with parameters of type SetVar
 int RandomSetValSelector.getBestVal(SetVar v)
           
 int MinEnv.getBestVal(SetVar v)
           
 int StaticSetVarOrder.getHeuristic(SetVar v)
           
 int RandomSetVarSelector.getHeuristic(SetVar v)
           
 int MostConstrainedSet.getHeuristic(SetVar v)
           
 int MinValueDomSet.getHeuristic(SetVar v)
           
 int MinDomSet.getHeuristic(SetVar v)
           
 int MaxValueDomSet.getHeuristic(SetVar v)
           
 int MaxRegretSet.getHeuristic(SetVar v)
           
 int MaxDomSet.getHeuristic(SetVar v)
           
 

Constructors in choco.cp.solver.search.set with parameters of type SetVar
MaxDomSet(Solver solver, SetVar[] vars)
           
MaxRegretSet(Solver solver, SetVar[] vars)
           
MaxValueDomSet(Solver solver, SetVar[] vars)
           
MinDomSet(Solver solver, SetVar[] vars)
           
MinValueDomSet(Solver solver, SetVar[] vars)
           
MostConstrainedSet(Solver solver, SetVar[] decisionvs)
           
RandomSetVarSelector(Solver solver, SetVar[] vs, long seed)
          Creates a new random-based set domain variable selector with a specified seed
StaticSetVarOrder(Solver solver, SetVar[] vars)
           
 

Constructor parameters in choco.cp.solver.search.set with type arguments of type SetVar
AssignSetVar(VarSelector<SetVar> varselect, ValSelector<SetVar> valselect)
           
AssignSetVar(VarSelector<SetVar> varselect, ValSelector<SetVar> valselect)
           
 

Uses of SetVar in choco.cp.solver.variables.set
 

Classes in choco.cp.solver.variables.set that implement SetVar
 class SetVarImpl<C extends AbstractSConstraint & SetPropagator>
          History: 2007-12-07 : FR_1873619 CPRU: DomOverDeg+DomOverWDeg
 

Methods in choco.cp.solver.variables.set with parameters of type SetVar
 boolean SetVarImpl.canBeEqualTo(SetVar x)
          Check if the both domain intersects
static BitSetEnumeratedDomain BitSetEnumeratedDomain.empty(SetVar v, IEnvironment environment)
          Specific constructor for empty set variable
 

Constructors in choco.cp.solver.variables.set with parameters of type SetVar
BitSetEnumeratedDomain(SetVar v, int[] sortedValues, boolean full, IEnvironment environment)
           
BitSetEnumeratedDomain(SetVar v, int a, int b, boolean full, IEnvironment environment)
          Constructs a new domain for the specified variable and bounds.
SetDomainImpl(SetVar v, int[] sortedValues, boolean constant, IEnvironment environment, PropagationEngine propagationEngine)
          Constructor of set var, allow creation of constant set var and empty set var.
SetDomainImpl(SetVar v, int[] sortedValues, IEnvironment environment, PropagationEngine propagationEngine)
           
SetDomainImpl(SetVar v, int a, int b, IEnvironment environment, PropagationEngine propagationEngine)
           
 

Uses of SetVar in choco.kernel.common.opres.nosum
 

Methods in choco.kernel.common.opres.nosum with parameters of type SetVar
 void NoSumList.setCandidatesFromVar(SetVar svar)
           
 

Uses of SetVar in choco.kernel.common.util.tools
 

Methods in choco.kernel.common.util.tools that return SetVar
static SetVar[] VariableUtils.getSetVar(Solver solver, Variable[] variables, int begin, int end)
           
static SetVar[] VariableUtils.getSetVars(Solver solver)
           
static SetVar[] VariableUtils.getVar(Solver solver, SetVariable[] variables, int begin, int end)
           
 

Uses of SetVar in choco.kernel.solver
 

Methods in choco.kernel.solver that return SetVar
 SetVar Solver.createBoundSetVar(String name, int a, int b)
           
 SetVar Solver.createEnumSetVar(String name, int a, int b)
           
 SetVar Solver.createSetVar(String name, int a, int b, int domainType)
           
 SetVar[] Solver.getSetDecisionVars()
          get the list of decision set variables.
 SetVar Solver.getSetVar(int i)
          Returns a set variable.
 SetVar Solver.getSetVarQuick(int i)
           
 SetVar[] Solver.getVar(SetVariable... v)
           
 SetVar Solver.getVar(SetVariable v)
           
 

Methods in choco.kernel.solver that return types with arguments of type SetVar
 DisposableIterator<SetVar> Solver.getSetVarIterator()
           
 

Method parameters in choco.kernel.solver with type arguments of type SetVar
 void Solver.setValSetIterator(ValIterator<SetVar> valIterator)
          Sets the integer value iterator the search should use
 void Solver.setValSetSelector(ValSelector<SetVar> setValIntSelector)
          Sets the integer value selector the search should use
 void Solver.setVarSetSelector(VarSelector<SetVar> setVarIntSelector)
          Sets the set variable selector the search strategy should use.
 

Uses of SetVar in choco.kernel.solver.constraints.set
 

Fields in choco.kernel.solver.constraints.set declared as SetVar
 SetVar[] AbstractLargeSetIntSConstraint.svars
          The set variables representing the first part of the scope of the constraint.
 SetVar AbstractUnSetSConstraint.v0
          The unique variable of the constraint.
 SetVar AbstractTernSetSConstraint.v0
          The variables of the constraint.
 SetVar AbstractBinSetSConstraint.v0
          The variables of the constraint.
 SetVar AbstractTernSetSConstraint.v1
          The variables of the constraint.
 SetVar AbstractBinSetSConstraint.v1
          The variables of the constraint.
 SetVar AbstractBinSetIntSConstraint.v1
          The second variable of the constraint.
 SetVar AbstractTernSetSConstraint.v2
          The variables of the constraint.
 

Methods in choco.kernel.solver.constraints.set that return SetVar
 SetVar AbstractBinSetIntSConstraint.getSetVar(int i)
          Gets the ith search valued variable.
 

Constructors in choco.kernel.solver.constraints.set with parameters of type SetVar
AbstractBinSetIntSConstraint(IntDomainVar v0, SetVar v1)
          default constructor
AbstractBinSetSConstraint(SetVar v0, SetVar v1)
           
AbstractLargeSetIntSConstraint(IntDomainVar[] intvars, SetVar[] setvars)
           
AbstractLargeSetSConstraint(SetVar[] vars)
           
AbstractSetSConstraint(SetVar[] vars)
          Constraucts a constraint with the priority 0.
AbstractTernSetSConstraint(SetVar v0, SetVar v1, SetVar v2)
           
AbstractUnSetSConstraint(SetVar v0)
           
 

Uses of SetVar in choco.kernel.solver.propagation
 

Methods in choco.kernel.solver.propagation with parameters of type SetVar
 void PropagationEngine.postAddKer(SetVar v, SConstraint constraint, boolean forceAwake)
          Specific method to post modification of kernel addition event
 void PropagationEngine.postInstSet(SetVar v, SConstraint constraint, boolean forceAwake)
          Specific method to post instantiation event
 void PropagationEngine.postRemEnv(SetVar v, SConstraint constraint, boolean forceAwake)
          Specific method to post modification of envelope removal event
 

Uses of SetVar in choco.kernel.solver.search
 

Methods in choco.kernel.solver.search that return SetVar
 SetVar IntBranchingTrace.getBranchingSetVar()
           
 SetVar IntBranchingDecision.getBranchingSetVar()
          get and cast the branching object.
 

Uses of SetVar in choco.kernel.solver.search.set
 

Fields in choco.kernel.solver.search.set declared as SetVar
protected  SetVar[] AbstractSetVarSelector.vars
          a specific array of SetVars from which the object seeks the one with smallest domain
 

Methods in choco.kernel.solver.search.set that return SetVar
 SetVar[] AbstractSetVarSelector.getVars()
          Get decision vars
 SetVar AbstractSetVarSelector.selectVar()
           
 

Methods in choco.kernel.solver.search.set with parameters of type SetVar
abstract  int AbstractSetVarSelector.getHeuristic(SetVar v)
           
 void AbstractSetVarSelector.setVars(SetVar[] vars)
          Deprecated. 
 

Constructors in choco.kernel.solver.search.set with parameters of type SetVar
AbstractSetVarSelector(Solver solver, SetVar[] vars)
           
 

Uses of SetVar in choco.kernel.solver.variables.set
 

Methods in choco.kernel.solver.variables.set with parameters of type SetVar
 boolean SetVar.canBeEqualTo(SetVar x)
          Public user API: Domains : testing whether two variables have intersecting domains.
 

Uses of SetVar in samples.tutorials.lns.lns
 

Methods in samples.tutorials.lns.lns that return SetVar
 SetVar AbstractLNSSolver.createBoundSetVar(String name, int a, int b)
          Deprecated.  
 SetVar AbstractLNSSolver.createEnumSetVar(String name, int a, int b)
          Deprecated.  
 SetVar AbstractLNSSolver.createSetVar(String name, int a, int b, int domainType)
          Deprecated.  
 SetVar[] AbstractLNSSolver.getSetDecisionVars()
          Deprecated.  
 SetVar AbstractLNSSolver.getSetVar(int i)
          Deprecated.  
 SetVar AbstractLNSSolver.getSetVarQuick(int i)
          Deprecated.  
 SetVar[] AbstractLNSSolver.getVar(SetVariable... v)
          Deprecated.  
 SetVar AbstractLNSSolver.getVar(SetVariable v)
          Deprecated.  
 

Methods in samples.tutorials.lns.lns that return types with arguments of type SetVar
 DisposableIterator<SetVar> AbstractLNSSolver.getSetVarIterator()
          Deprecated.  
 

Method parameters in samples.tutorials.lns.lns with type arguments of type SetVar
 void AbstractLNSSolver.setValSetIterator(ValIterator<SetVar> valIterator)
          Deprecated.  
 void AbstractLNSSolver.setValSetSelector(ValSelector<SetVar> setValIntSelector)
          Deprecated.  
 void AbstractLNSSolver.setVarSetSelector(VarSelector<SetVar> setVarIntSelector)
          Deprecated.  
 

Uses of SetVar in trace.visualizers
 

Methods in trace.visualizers with parameters of type SetVar
protected  Writer Writer.arrayDvar(SetVar[] vars, int pf)
           
protected  Writer Writer.svar(SetVar svar, String idx, int pf)
           
 



Copyright © 2012. All Rights Reserved.