Package org.xcsp.common
Enum Types.TypeCtr
- java.lang.Object
-
- java.lang.Enum<Types.TypeCtr>
-
- org.xcsp.common.Types.TypeCtr
-
- All Implemented Interfaces:
Serializable
,Comparable<Types.TypeCtr>
- Enclosing class:
- Types
public static enum Types.TypeCtr extends Enum<Types.TypeCtr>
The enum type specifying the different types of constraints and meta-constraints. We use lower-case letters, so as to directly get the names of the elements (no need to define constants or make any transformations).
-
-
Enum Constant Summary
-
Method Summary
All Methods Static Methods Instance Methods Concrete Methods Modifier and Type Method Description boolean
isControl()
Returns true if the element has a logical nature corresponding to an if-based control structure.boolean
isLogical()
Returns true if the element has a "direct" logical nature.boolean
isMeta()
Returns true if the element corresponds to a meta-constraint.boolean
isSliding()
Returns true if the element has a sliding nature.boolean
oneOf(Types.TypeCtr... types)
Returnstrue
iff this type is one of the specified types.static Types.TypeCtr
valueOf(String name)
Returns the enum constant of this type with the specified name.static Types.TypeCtr[]
values()
Returns an array containing the constants of this enum type, in the order they are declared.
-
-
-
Enum Constant Detail
-
extension
public static final Types.TypeCtr extension
-
intension
public static final Types.TypeCtr intension
-
regular
public static final Types.TypeCtr regular
-
grammar
public static final Types.TypeCtr grammar
-
mdd
public static final Types.TypeCtr mdd
-
allDifferent
public static final Types.TypeCtr allDifferent
-
allEqual
public static final Types.TypeCtr allEqual
-
allDistant
public static final Types.TypeCtr allDistant
-
ordered
public static final Types.TypeCtr ordered
-
lex
public static final Types.TypeCtr lex
-
allIncomparable
public static final Types.TypeCtr allIncomparable
-
sum
public static final Types.TypeCtr sum
-
count
public static final Types.TypeCtr count
-
nValues
public static final Types.TypeCtr nValues
-
cardinality
public static final Types.TypeCtr cardinality
-
balance
public static final Types.TypeCtr balance
-
spread
public static final Types.TypeCtr spread
-
deviation
public static final Types.TypeCtr deviation
-
sumCosts
public static final Types.TypeCtr sumCosts
-
stretch
public static final Types.TypeCtr stretch
-
noOverlap
public static final Types.TypeCtr noOverlap
-
cumulative
public static final Types.TypeCtr cumulative
-
binPacking
public static final Types.TypeCtr binPacking
-
knapsack
public static final Types.TypeCtr knapsack
-
networkFlow
public static final Types.TypeCtr networkFlow
-
circuit
public static final Types.TypeCtr circuit
-
nCircuits
public static final Types.TypeCtr nCircuits
-
path
public static final Types.TypeCtr path
-
nPaths
public static final Types.TypeCtr nPaths
-
tree
public static final Types.TypeCtr tree
-
nTrees
public static final Types.TypeCtr nTrees
-
arbo
public static final Types.TypeCtr arbo
-
nArbos
public static final Types.TypeCtr nArbos
-
nCliques
public static final Types.TypeCtr nCliques
-
clause
public static final Types.TypeCtr clause
-
instantiation
public static final Types.TypeCtr instantiation
-
allIntersecting
public static final Types.TypeCtr allIntersecting
-
range
public static final Types.TypeCtr range
-
roots
public static final Types.TypeCtr roots
-
partition
public static final Types.TypeCtr partition
-
minimum
public static final Types.TypeCtr minimum
-
maximum
public static final Types.TypeCtr maximum
-
element
public static final Types.TypeCtr element
-
channel
public static final Types.TypeCtr channel
-
permutation
public static final Types.TypeCtr permutation
-
precedence
public static final Types.TypeCtr precedence
-
and
public static final Types.TypeCtr and
-
or
public static final Types.TypeCtr or
-
not
public static final Types.TypeCtr not
-
iff
public static final Types.TypeCtr iff
-
ifThen
public static final Types.TypeCtr ifThen
-
ifThenElse
public static final Types.TypeCtr ifThenElse
-
slide
public static final Types.TypeCtr slide
-
seqbin
public static final Types.TypeCtr seqbin
-
smart
public static final Types.TypeCtr smart
-
-
Method Detail
-
values
public static Types.TypeCtr[] values()
Returns an array containing the constants of this enum type, in the order they are declared. This method may be used to iterate over the constants as follows:for (Types.TypeCtr c : Types.TypeCtr.values()) System.out.println(c);
- Returns:
- an array containing the constants of this enum type, in the order they are declared
-
valueOf
public static Types.TypeCtr valueOf(String name)
Returns the enum constant of this type with the specified name. The string must match exactly an identifier used to declare an enum constant in this type. (Extraneous whitespace characters are not permitted.)- Parameters:
name
- the name of the enum constant to be returned.- Returns:
- the enum constant with the specified name
- Throws:
IllegalArgumentException
- if this enum type has no constant with the specified nameNullPointerException
- if the argument is null
-
isSliding
public boolean isSliding()
Returns true if the element has a sliding nature.
-
isLogical
public boolean isLogical()
Returns true if the element has a "direct" logical nature.
-
isControl
public boolean isControl()
Returns true if the element has a logical nature corresponding to an if-based control structure.
-
isMeta
public boolean isMeta()
Returns true if the element corresponds to a meta-constraint.
-
oneOf
public boolean oneOf(Types.TypeCtr... types)
Returnstrue
iff this type is one of the specified types.- Parameters:
types
- a sequence of types- Returns:
true
iff this type is one of the specified types
-
-