parser.chocogen
Class VariableFactory
java.lang.Object
parser.chocogen.ObjectFactory
parser.chocogen.VariableFactory
public class VariableFactory
- extends ObjectFactory
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
VariableFactory
public VariableFactory(Model m,
InstanceParser parser)
makeVariable
public IntegerVariable makeVariable(PVariable pvar)
- Create a variable for pvar except if it is a fake variable
(equal to another)
- Parameters:
pvar
-
- Returns:
createVar
public IntegerVariable createVar(PVariable pvar)
- Make the internal decision to create Bound, Enum, LinkedList var
- Parameters:
pvar
-
- Returns:
isVarOnlyInvolvedInExtConstraint
public boolean isVarOnlyInvolvedInExtConstraint(PVariable pvar)
getNbvar
public int getNbvar()
Copyright © 2012. All Rights Reserved.