Package org.xcsp.modeler.implementation
Class ProblemIMP3.MVariable
- java.lang.Object
-
- org.xcsp.modeler.implementation.ProblemIMP3.MVariable
-
- All Implemented Interfaces:
Comparable<ProblemIMP3.MVariable>
,IVar
- Direct Known Subclasses:
ProblemIMP3.MVariable.MVarInteger
,ProblemIMP3.MVariable.MVarSymbolic
- Enclosing class:
- ProblemIMP3
public static class ProblemIMP3.MVariable extends Object implements IVar, Comparable<ProblemIMP3.MVariable>
-
-
Nested Class Summary
Nested Classes Modifier and Type Class Description static class
ProblemIMP3.MVariable.MVarInteger
static class
ProblemIMP3.MVariable.MVarSymbolic
-
Nested classes/interfaces inherited from interface org.xcsp.common.IVar
IVar.Var, IVar.VarSymbolic
-
-
Field Summary
Fields Modifier and Type Field Description Domains.IDom
dom
protected String
id
-
Constructor Summary
Constructors Constructor Description MVariable(String id, Domains.IDom dom)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description int
compareTo(ProblemIMP3.MVariable x)
String
id()
Returns the id (unique name) of the variable.String
toString()
-
-
-
Field Detail
-
id
protected String id
-
dom
public Domains.IDom dom
-
-
Constructor Detail
-
MVariable
public MVariable(String id, Domains.IDom dom)
-
-
Method Detail
-
compareTo
public int compareTo(ProblemIMP3.MVariable x)
- Specified by:
compareTo
in interfaceComparable<ProblemIMP3.MVariable>
-
id
public String id()
Description copied from interface:IVar
Returns the id (unique name) of the variable.
-
-