Package org.xcsp.modeler.implementation
Class ProblemIMP3.MVariable.MVarSymbolic
- java.lang.Object
-
- org.xcsp.modeler.implementation.ProblemIMP3.MVariable
-
- org.xcsp.modeler.implementation.ProblemIMP3.MVariable.MVarSymbolic
-
- All Implemented Interfaces:
Comparable<ProblemIMP3.MVariable>
,IVar
,IVar.VarSymbolic
- Enclosing class:
- ProblemIMP3.MVariable
public static class ProblemIMP3.MVariable.MVarSymbolic extends ProblemIMP3.MVariable implements IVar.VarSymbolic
-
-
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 MVarSymbolic(String id, Domains.DomSymbolic dom)
-
-
-
Constructor Detail
-
MVarSymbolic
public MVarSymbolic(String id, Domains.DomSymbolic dom)
-
-