public class Sequence extends Expression
Modifier and Type | Field and Description |
---|---|
static boolean |
flatten |
ABS, ADD, ALLDIFFERENT, AND, ANY, BOOL_DEFINITION, CONFLICTS, COUNT, CUMULATIVE, DBOOL_DEFINITION, DINT_DEFINITION, DISJUNCTIVE, DIV, DOMAIN_DEFINITION, ELEMENT, EQ, FALSE, GE, GLOBAL_CARDINALITY, GLOBAL_CARDINALITY_WITH_COSTS, GROUPS_DEFINITION, GT, HOLD, IF, IFF, IMP, INT_DEFINITION, intern, LABEL, LE, LEX_LESS, LEX_LESSEQ, LT, MAX, MAX_MAP_SIZE, MAXIMIZE, MIN, MINIMIZE, MOD, MUL, NE, NEG, NIL, NOT, NVALUE, OBJECTIVE_DEFINITION, ONE, OR, POW, PREDICATE_DEFINITION, RELATION_DEFINITION, SUB, SUPPORTS, TRUE, WEIGHTED, WEIGHTEDSUM, XOR, ZERO
Constructor and Description |
---|
Sequence(java.util.Collection<Expression> expressions) |
Sequence(Expression[] expressions) |
Modifier and Type | Method and Description |
---|---|
int |
compareTo(Expression x) |
boolean |
equals(java.lang.Object obj) |
Expression |
get(int i) |
Expression[] |
getExpressions() |
int |
hashCode() |
boolean |
isSequence() |
boolean |
isSequence(Expression x) |
boolean |
isSequence(int arity) |
int |
length() |
boolean |
matches(java.lang.String pattern) |
java.lang.String |
toString() |
abs, add, add, add, add, alldifferent, and, appendString, appendString, clear, count, create, create, create, create, create, create, create, create, create, create, create, cumulative, cumulative, disjunctive, div, div, element, eq, eq, ge, ge, getComment, global_cardinality_with_costs, global_cardinality_with_costs, global_cardinality, gt, gt, hold, iff, ifThenElse, ifThenElse, ifThenElse, ifThenElse, imp, integerValue, isAtom, isComparison, isGlobalConstraint, isInteger, isLogical, isOperator, isString, isString, le, le, lex_less, lex_lesseq, lt, lt, matches, max, max, min, min, mod, mod, mul, mul, ne, ne, neg, not, nvalue, nvalue, or, setComment, stringValue, sub, sub, weightedsum, weightedsum, xor
public Sequence(Expression[] expressions)
public Sequence(java.util.Collection<Expression> expressions)
public Expression[] getExpressions()
public Expression get(int i)
public boolean isSequence()
isSequence
in class Expression
public boolean isSequence(Expression x)
isSequence
in class Expression
public boolean isSequence(int arity)
isSequence
in class Expression
public int length()
public boolean matches(java.lang.String pattern) throws SugarException
SugarException
public int compareTo(Expression x)
public int hashCode()
hashCode
in class java.lang.Object
public boolean equals(java.lang.Object obj)
equals
in class java.lang.Object
public java.lang.String toString()
toString
in class java.lang.Object