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, xorpublic Sequence(Expression[] expressions)
public Sequence(java.util.Collection<Expression> expressions)
public Expression[] getExpressions()
public Expression get(int i)
public boolean isSequence()
isSequence in class Expressionpublic boolean isSequence(Expression x)
isSequence in class Expressionpublic boolean isSequence(int arity)
isSequence in class Expressionpublic int length()
public boolean matches(java.lang.String pattern)
throws SugarException
SugarExceptionpublic int compareTo(Expression x)
public int hashCode()
hashCode in class java.lang.Objectpublic boolean equals(java.lang.Object obj)
equals in class java.lang.Objectpublic java.lang.String toString()
toString in class java.lang.Object