public class Atom extends Expression
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 |
---|
Atom(Comparable atom) |
Modifier and Type | Method and Description |
---|---|
int |
compareTo(Expression x) |
boolean |
equals(Object obj) |
int |
hashCode() |
Integer |
integerValue() |
boolean |
isAtom() |
boolean |
isInteger() |
boolean |
isString() |
boolean |
isString(String s) |
String |
stringValue() |
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, isComparison, isGlobalConstraint, isLogical, isOperator, isSequence, isSequence, isSequence, 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, sub, sub, weightedsum, weightedsum, xor
public Atom(Comparable atom)
public boolean isAtom()
isAtom
in class Expression
public boolean isString()
isString
in class Expression
public boolean isString(String s)
isString
in class Expression
public boolean isInteger()
isInteger
in class Expression
public String stringValue()
stringValue
in class Expression
public Integer integerValue()
integerValue
in class Expression
public int compareTo(Expression x)