Uses of Class
org.xcsp.common.Types.TypeFlag
-
Packages that use Types.TypeFlag Package Description org.xcsp.common org.xcsp.parser.callbacks org.xcsp.parser.entries -
-
Uses of Types.TypeFlag in org.xcsp.common
Methods in org.xcsp.common that return Types.TypeFlag Modifier and Type Method Description static Types.TypeFlag
Types.TypeFlag. valueOf(String name)
Returns the enum constant of this type with the specified name.static Types.TypeFlag[]
Types.TypeFlag. values()
Returns an array containing the constants of this enum type, in the order they are declared. -
Uses of Types.TypeFlag in org.xcsp.parser.callbacks
Method parameters in org.xcsp.parser.callbacks with type arguments of type Types.TypeFlag Modifier and Type Method Description void
CompetitionValidator. buildCtrExtension(String id, XVariables.XVarInteger[] list, int[][] tuples, boolean positive, Set<Types.TypeFlag> flags)
void
CompetitionValidator. buildCtrExtension(String id, XVariables.XVarInteger[] list, AbstractTuple[] tuples, boolean positive, Set<Types.TypeFlag> flags)
void
CompetitionValidator. buildCtrExtension(String id, XVariables.XVarInteger x, int[] values, boolean positive, Set<Types.TypeFlag> flags)
void
SolutionChecker. buildCtrExtension(String id, XVariables.XVarInteger[] list, int[][] tuples, boolean positive, Set<Types.TypeFlag> flags)
void
SolutionChecker. buildCtrExtension(String id, XVariables.XVarInteger[] list, AbstractTuple[] tuples, boolean positive, Set<Types.TypeFlag> flags)
void
SolutionChecker. buildCtrExtension(String id, XVariables.XVarInteger x, int[] values, boolean positive, Set<Types.TypeFlag> flags)
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.XVarInteger[] list, int[][] tuples, boolean positive, Set<Types.TypeFlag> flags)
Callback method for building a (non-unary) extensional constraint.void
XCallbacks. buildCtrExtension(String id, XVariables.XVarInteger[] list, AbstractTuple[] tuples, boolean positive, Set<Types.TypeFlag> flags)
void
XCallbacks. buildCtrExtension(String id, XVariables.XVarInteger x, int[] values, boolean positive, Set<Types.TypeFlag> flags)
Callback method for building a unary extensional constraint.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.XVarInteger[] list, int[][] tuples, boolean positive, Set<Types.TypeFlag> flags)
default void
XCallbacks2. buildCtrExtension(String id, XVariables.XVarInteger[] list, AbstractTuple[] tuples, boolean positive, Set<Types.TypeFlag> flags)
default void
XCallbacks2. buildCtrExtension(String id, XVariables.XVarInteger x, int[] 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)
-
Uses of Types.TypeFlag in org.xcsp.parser.entries
Fields in org.xcsp.parser.entries with type parameters of type Types.TypeFlag Modifier and Type Field Description Set<Types.TypeFlag>
ParsingEntry. flags
The flags associated with the entry.
-