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.TypeFlagTypes.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 voidCompetitionValidator. buildCtrExtension(String id, XVariables.XVarInteger[] list, int[][] tuples, boolean positive, Set<Types.TypeFlag> flags)voidCompetitionValidator. buildCtrExtension(String id, XVariables.XVarInteger[] list, AbstractTuple[] tuples, boolean positive, Set<Types.TypeFlag> flags)voidCompetitionValidator. buildCtrExtension(String id, XVariables.XVarInteger x, int[] values, boolean positive, Set<Types.TypeFlag> flags)voidSolutionChecker. buildCtrExtension(String id, XVariables.XVarInteger[] list, int[][] tuples, boolean positive, Set<Types.TypeFlag> flags)voidSolutionChecker. buildCtrExtension(String id, XVariables.XVarInteger[] list, AbstractTuple[] tuples, boolean positive, Set<Types.TypeFlag> flags)voidSolutionChecker. buildCtrExtension(String id, XVariables.XVarInteger x, int[] values, boolean positive, Set<Types.TypeFlag> flags)voidSolutionChecker. buildCtrExtension(String id, XVariables.XVarSymbolic[] list, String[][] tuples, boolean positive, Set<Types.TypeFlag> flags)voidSolutionChecker. buildCtrExtension(String id, XVariables.XVarSymbolic x, String[] values, boolean positive, Set<Types.TypeFlag> flags)voidXCallbacks. buildCtrExtension(String id, XVariables.XVarInteger[] list, int[][] tuples, boolean positive, Set<Types.TypeFlag> flags)Callback method for building a (non-unary) extensional constraint.voidXCallbacks. buildCtrExtension(String id, XVariables.XVarInteger[] list, AbstractTuple[] tuples, boolean positive, Set<Types.TypeFlag> flags)voidXCallbacks. buildCtrExtension(String id, XVariables.XVarInteger x, int[] values, boolean positive, Set<Types.TypeFlag> flags)Callback method for building a unary extensional constraint.voidXCallbacks. buildCtrExtension(String id, XVariables.XVarSymbolic[] list, String[][] tuples, boolean positive, Set<Types.TypeFlag> flags)voidXCallbacks. buildCtrExtension(String id, XVariables.XVarSymbolic x, String[] values, boolean positive, Set<Types.TypeFlag> flags)default voidXCallbacks2. buildCtrExtension(String id, XVariables.XVarInteger[] list, int[][] tuples, boolean positive, Set<Types.TypeFlag> flags)default voidXCallbacks2. buildCtrExtension(String id, XVariables.XVarInteger[] list, AbstractTuple[] tuples, boolean positive, Set<Types.TypeFlag> flags)default voidXCallbacks2. buildCtrExtension(String id, XVariables.XVarInteger x, int[] values, boolean positive, Set<Types.TypeFlag> flags)default voidXCallbacks2. buildCtrExtension(String id, XVariables.XVarSymbolic[] list, String[][] tuples, boolean positive, Set<Types.TypeFlag> flags)default voidXCallbacks2. 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. flagsThe flags associated with the entry.
-