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/constraints
default void	XCallbacks2.buildVarSymbolic(XVariables.XVarSymbolic x, String[] values)	Methods to be implemented on symbolic variables/constraints

Method 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)