Package choco.cp.solver.variables.integer

Class Summary
AbstractBijectiveVar
AbstractIntDomain History: 2007-12-07 : FR_1873619 CPRU: DomOverDeg+DomOverWDeg
BipartiteIntDomain  
BitSetIntDomain  
BooleanDomain  
BooleanVarImpl<C extends AbstractSConstraint & IntPropagator> A variable implementation dedicated to boolean domains
BoolVarEvent<C extends AbstractSConstraint & IntPropagator> An event dedicated to boolean variables
BoolVarNot A bijective boolean variable B :
B = not(A)
IntCsteEvent<C extends AbstractSConstraint & IntPropagator>  
IntDomainVarAddCste Declare a variable Y, based on a variable X and a constante c, such as Y = X + c
IntDomainVarImpl<C extends AbstractSConstraint & IntPropagator> Implements search valued domain variables.
IntDomainVarTimePosCste Declare a variable Y, based on a variable X and a constante c, such as Y = X * c
IntervalBTreeDomain Created by IntelliJ IDEA.
IntervalIntDomain  
IntTerm Implements linear terms: Sigma_i(a_i*X_i), where a_i are search coefficients, and X_i are search domain variable
IntVarEvent<C extends AbstractSConstraint & IntPropagator>  
LinkedIntDomain Integer domain implementation using linked list of indices.
ViewIntDomainVarImpl  
 



Copyright © 2012. All Rights Reserved.