Uses of Class
org.xcsp.parser.entries.XVariables.XVarSymbolic
-
Packages that use XVariables.XVarSymbolic Package Description org.xcsp.parser.callbacks -
-
Uses of XVariables.XVarSymbolic in org.xcsp.parser.callbacks
Methods in org.xcsp.parser.callbacks with parameters of type XVariables.XVarSymbolic Modifier and Type Method Description void
SolutionChecker. buildCtrAllDifferent(String id, XVariables.XVarSymbolic[] list)
void
XCallbacks. buildCtrAllDifferent(String id, XVariables.XVarSymbolic[] list)
default void
XCallbacks2. buildCtrAllDifferent(String id, XVariables.XVarSymbolic[] list)
void
SolutionChecker. buildCtrExtension(String id, XVariables.XVarSymbolic[] list, String[][] tuples, boolean positive, Set<Types.TypeFlag> flags)
void
SolutionChecker. buildCtrExtension(String id, XVariables.XVarSymbolic x, String[] values, boolean positive, Set<Types.TypeFlag> flags)
void
XCallbacks. buildCtrExtension(String id, XVariables.XVarSymbolic[] list, String[][] tuples, boolean positive, Set<Types.TypeFlag> flags)
void
XCallbacks. buildCtrExtension(String id, XVariables.XVarSymbolic x, String[] values, boolean positive, Set<Types.TypeFlag> flags)
default void
XCallbacks2. buildCtrExtension(String id, XVariables.XVarSymbolic[] list, String[][] tuples, boolean positive, Set<Types.TypeFlag> flags)
default void
XCallbacks2. buildCtrExtension(String id, XVariables.XVarSymbolic x, String[] values, boolean positive, Set<Types.TypeFlag> flags)
void
SolutionChecker. buildCtrIntension(String id, XVariables.XVarSymbolic[] scope, XNodeParent<XVariables.XVarSymbolic> tree)
void
XCallbacks. buildCtrIntension(String id, XVariables.XVarSymbolic[] scope, XNodeParent<XVariables.XVarSymbolic> syntaxTreeRoot)
default void
XCallbacks2. buildCtrIntension(String id, XVariables.XVarSymbolic[] scope, XNodeParent<XVariables.XVarSymbolic> syntaxTreeRoot)
void
FeatureDisplayer. buildVarSymbolic(XVariables.XVarSymbolic x, String[] values)
void
SolutionChecker. buildVarSymbolic(XVariables.XVarSymbolic x, String[] values)
void
XCallbacks. buildVarSymbolic(XVariables.XVarSymbolic x, String[] values)
Methods to be implemented on symbolic variables/constraintsdefault void
XCallbacks2. buildVarSymbolic(XVariables.XVarSymbolic x, String[] values)
Methods to be implemented on symbolic variables/constraintsMethod parameters in org.xcsp.parser.callbacks with type arguments of type XVariables.XVarSymbolic Modifier and Type Method Description void
SolutionChecker. buildCtrIntension(String id, XVariables.XVarSymbolic[] scope, XNodeParent<XVariables.XVarSymbolic> tree)
void
XCallbacks. buildCtrIntension(String id, XVariables.XVarSymbolic[] scope, XNodeParent<XVariables.XVarSymbolic> syntaxTreeRoot)
default void
XCallbacks2. buildCtrIntension(String id, XVariables.XVarSymbolic[] scope, XNodeParent<XVariables.XVarSymbolic> syntaxTreeRoot)
-