parser.chocogen
Class ModelConstraintFactory
java.lang.Object
parser.chocogen.ObjectFactory
parser.chocogen.ModelConstraintFactory
public class ModelConstraintFactory
- extends ObjectFactory
The general factory to handle all constraints except Global and Extensional
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
ModelConstraintFactory
public ModelConstraintFactory(Model m,
InstanceParser parser)
makeIntensionConstraint
public static Constraint[] makeIntensionConstraint(PIntensionConstraint pic)
Copyright © 2012. All Rights Reserved.