Package org.xcsp.modeler.implementation
Class ProblemIMP.Converter
- java.lang.Object
-
- org.xcsp.modeler.implementation.ProblemIMP.Converter
-
- Enclosing class:
- ProblemIMP
protected abstract class ProblemIMP.Converter extends Object
-
-
Field Summary
Fields Modifier and Type Field Description Map<String,Boolean>
cachePositive
Map<String,int[][]>
cacheTable
-
Constructor Summary
Constructors Modifier Constructor Description protected
Converter()
-
Method Summary
All Methods Instance Methods Abstract Methods Concrete Methods Modifier and Type Method Description abstract int[][]
domValuesOf(IVar.Var[] scp)
String
handle(IVar.Var[] scp, XNodeParent<IVar> tree)
abstract Utilities.ModifiableBoolean
mode()
abstract StringBuilder
signatureFor(IVar.Var[] scp)
-
-
-
Method Detail
-
signatureFor
public abstract StringBuilder signatureFor(IVar.Var[] scp)
-
domValuesOf
public abstract int[][] domValuesOf(IVar.Var[] scp)
-
mode
public abstract Utilities.ModifiableBoolean mode()
-
handle
public final String handle(IVar.Var[] scp, XNodeParent<IVar> tree)
-
-