Package org.xcsp.modeler.implementation
Class ProblemIMP3.MVariable.MVarInteger
- java.lang.Object
-
- org.xcsp.modeler.implementation.ProblemIMP3.MVariable
-
- org.xcsp.modeler.implementation.ProblemIMP3.MVariable.MVarInteger
-
- All Implemented Interfaces:
Comparable<ProblemIMP3.MVariable>
,IVar
,IVar.Var
- Enclosing class:
- ProblemIMP3.MVariable
public static class ProblemIMP3.MVariable.MVarInteger extends ProblemIMP3.MVariable implements IVar.Var
-
-
Nested Class Summary
-
Nested classes/interfaces inherited from class org.xcsp.modeler.implementation.ProblemIMP3.MVariable
ProblemIMP3.MVariable.MVarInteger, ProblemIMP3.MVariable.MVarSymbolic
-
Nested classes/interfaces inherited from interface org.xcsp.common.IVar
IVar.Var, IVar.VarSymbolic
-
-
Field Summary
-
Fields inherited from class org.xcsp.modeler.implementation.ProblemIMP3.MVariable
dom, id
-
-
Constructor Summary
Constructors Constructor Description MVarInteger(String id, Domains.Dom dom)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description Object
allValues()
-
Methods inherited from class org.xcsp.modeler.implementation.ProblemIMP3.MVariable
compareTo, id, toString
-
-
-
-
Constructor Detail
-
MVarInteger
public MVarInteger(String id, Domains.Dom dom)
-
-