jp.ac.kobe_u.cs.sugar.expression
Class Atom
java.lang.Object
jp.ac.kobe_u.cs.sugar.expression.Expression
jp.ac.kobe_u.cs.sugar.expression.Atom
- All Implemented Interfaces:
- Comparable<Expression>
public class Atom
- extends Expression
This class implements atomic expressions.
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, isSequence, isSequence, isSequence, le, lt, max, min, mod, mul, ne, neg, not, or, setComment, sub |
Atom
public Atom(Comparable atom)
isAtom
public boolean isAtom()
- Overrides:
isAtom
in class Expression
isString
public boolean isString()
- Overrides:
isString
in class Expression
isString
public boolean isString(String s)
- Overrides:
isString
in class Expression
isInteger
public boolean isInteger()
- Overrides:
isInteger
in class Expression
stringValue
public String stringValue()
- Overrides:
stringValue
in class Expression
integerValue
public Integer integerValue()
- Overrides:
integerValue
in class Expression
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