choco.cp.solver.constraints.global.automata.fast_multicostregular.example
Class RuleModel

java.lang.Object
  extended by choco.cp.model.CPModel
      extended by choco.cp.solver.constraints.global.automata.fast_multicostregular.example.RuleModel
All Implemented Interfaces:
IPretty, Model, Serializable

public class RuleModel
extends CPModel

Created by IntelliJ IDEA. User: julien Mail: julien.menana{at}emn.fr Date: Nov 23, 2009 Time: 9:46:44 AM

See Also:
Serialized Form

Field Summary
 
Fields inherited from class choco.cp.model.CPModel
_iterator, clausesStore, constantVars, constraints, defDecExp, expVars, floatVars, intVars, LOGGER, nbBoolVar, properties, setVars, storedMultipleVariables
 
Constructor Summary
RuleModel()
           
 
Method Summary
 void addLexConstraint()
           
 void addMandatoryShift()
           
 void addMinCoverConstraint()
           
 void buildCompleteWE()
           
 void buildConsecutiveWERule()
           
 void buildNoMoreThanDayRule()
           
 void buildNoNightBeforeFreeWE()
           
 void buildRestAfterNight()
           
static void main(String[] args)
           
 
Methods inherited from class choco.cp.model.CPModel
addConstraint, addConstraint, addConstraint, addConstraint, addConstraints, addConstraints, addOptions, addVariable, addVariable, addVariable, addVariable, addVariables, addVariables, constraintsToString, contains, getConstantVar, getConstraint, getConstraintByType, getConstraintIterator, getConstVarIterator, getDefaultExpressionDecomposition, getExprVarIterator, getIntConstraintIterator, getIntVar, getIntVarIndex, getIntVarIndex, getIntVarIterator, getMultipleVarIterator, getNbBoolVar, getNbConstantVars, getNbConstraintByType, getNbConstraints, getNbIntVars, getNbRealVars, getNbSetVars, getNbStoredMultipleVars, getNbTotVars, getRealVar, getRealVarIterator, getSetVar, getSetVarIterator, getStoredMultipleVar, pretty, readFromFile, remove, removeConstraint, removeConstraints, removeVariable, removeVariable, removeVariable, removeVariables, remVariable, setDefaultExpressionDecomposition, solutionToString, varsToString, writeInFile, writeInFile
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

RuleModel

public RuleModel()
Method Detail

buildConsecutiveWERule

public void buildConsecutiveWERule()

buildNoNightBeforeFreeWE

public void buildNoNightBeforeFreeWE()

buildNoMoreThanDayRule

public void buildNoMoreThanDayRule()

buildRestAfterNight

public void buildRestAfterNight()

buildCompleteWE

public void buildCompleteWE()

addMinCoverConstraint

public void addMinCoverConstraint()

addLexConstraint

public void addLexConstraint()

addMandatoryShift

public void addMandatoryShift()

main

public static void main(String[] args)


Copyright © 2012. All Rights Reserved.