Package org.xcsp.parser.entries
Class XConstraints.XReification
- java.lang.Object
-
- org.xcsp.parser.entries.XConstraints.XReification
-
- Enclosing class:
- XConstraints
public static final class XConstraints.XReification extends Object
The class used for representing reification.
-
-
Field Summary
Fields Modifier and Type Field Description Types.TypeReification
type
XVariables.XVar
var
The 0-1 variable used for reification
-
Constructor Summary
Constructors Constructor Description XReification(Types.TypeReification type, XVariables.XVar var)
-
-
-
Field Detail
-
type
public final Types.TypeReification type
-
var
public final XVariables.XVar var
The 0-1 variable used for reification
-
-
Constructor Detail
-
XReification
public XReification(Types.TypeReification type, XVariables.XVar var)
-
-