Package org.xcsp.common
Interface IVar.VarSymbolic
-
- All Superinterfaces:
IVar
- All Known Implementing Classes:
ProblemIMP3.MVariable.MVarSymbolic
,XVariables.XVarSymbolic
- Enclosing interface:
- IVar
public static interface IVar.VarSymbolic extends IVar
This is the root interface of any symbolic variable, handled either in the parser or the modeler. One could have expected that the name isIVarSymbolic
, but we prefer to keep simple names for modeling.