jp.ac.kobe_u.cs.sugar.expression
Class Sequence
java.lang.Object
jp.ac.kobe_u.cs.sugar.expression.Expression
jp.ac.kobe_u.cs.sugar.expression.Sequence
- All Implemented Interfaces:
- Comparable<Expression>
public class Sequence
- extends Expression
This class implements sequence expressions.
Field Summary |
static boolean |
flatten
|
Fields inherited from class jp.ac.kobe_u.cs.sugar.expression.Expression |
ABS, ADD, ALLDIFFERENT, AND, BOOL_DEFINITION, CONFLICTS, CUMULATIVE, DIV, DOMAIN_DEFINITION, ELEMENT, EQ, FALSE, GE, GT, IF, IFF, IMP, INT_DEFINITION, intern, LE, LT, MAX, MAX_MAP_SIZE, MAXIMIZE, MIN, MINIMIZE, MOD, MUL, NE, NEG, NIL, NOT, OBJECTIVE_DEFINITION, ONE, OR, POW, PREDICATE_DEFINITION, RELATION_DEFINITION, SUB, SUPPORTS, TRUE, WEIGHTEDSUM, XOR, ZERO |
Methods inherited from class jp.ac.kobe_u.cs.sugar.expression.Expression |
abs, add, and, appendString, appendString, clear, create, create, create, create, create, create, create, create, div, eq, ge, getComment, gt, imp, integerValue, isAtom, isInteger, isString, isString, le, lt, max, min, mod, mul, ne, neg, not, or, setComment, stringValue, sub |
flatten
public static boolean flatten
Sequence
public Sequence(Expression[] expressions)
Sequence
public Sequence(Collection<Expression> expressions)
get
public Expression get(int i)
isSequence
public boolean isSequence()
- Overrides:
isSequence
in class Expression
isSequence
public boolean isSequence(Expression x)
- Overrides:
isSequence
in class Expression
isSequence
public boolean isSequence(int arity)
- Overrides:
isSequence
in class Expression
length
public int length()
matches
public boolean matches(String pattern)
throws SugarException
- Throws:
SugarException
compareTo
public int compareTo(Expression x)
hashCode
public int hashCode()
- Overrides:
hashCode
in class Object
equals
public boolean equals(Object obj)
- Overrides:
equals
in class Object
toString
public String toString()
- Overrides:
toString
in class Object
Sugar: A SAT-based Constraint Solver