Sugar version 1.13 Core API Specification

jp.ac.kobe_u.cs.sugar.expression
Class Atom

java.lang.Object
  extended by jp.ac.kobe_u.cs.sugar.expression.Expression
      extended by jp.ac.kobe_u.cs.sugar.expression.Atom
All Implemented Interfaces:
Comparable<Expression>

public class Atom
extends Expression

This class implements atomic expressions.


Field Summary
 
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
 
Constructor Summary
Atom(Comparable atom)
           
 
Method Summary
 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()
           
 
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
 
Methods inherited from class java.lang.Object
getClass, notify, notifyAll, wait, wait, wait
 

Constructor Detail

Atom

public Atom(Comparable atom)
Method Detail

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 version 1.13 Core API Specification

Sugar: A SAT-based Constraint Solver