Package org.xcsp.parser.entries
Class XConstraints.XParameter
- java.lang.Object
-
- org.xcsp.parser.entries.XConstraints.XParameter
-
- Enclosing class:
- XConstraints
public static final class XConstraints.XParameter extends Object
The class used for representing parameters (tokens of the form %i or %...) when handling constraint templates.
-
-
Field Summary
Fields Modifier and Type Field Description int
number
The number associated with the parameter.
-
Constructor Summary
Constructors Constructor Description XParameter(int number)
-