Sugar version 1.13 Core API Specification

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

java.lang.Object
  extended by jp.ac.kobe_u.cs.sugar.expression.Expression
      extended by 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
 
Constructor Summary
Sequence(Collection<Expression> expressions)
           
Sequence(Expression[] expressions)
           
 
Method Summary
 int compareTo(Expression x)
           
 boolean equals(Object obj)
           
 Expression get(int i)
           
 int hashCode()
           
 boolean isSequence()
           
 boolean isSequence(Expression x)
           
 boolean isSequence(int arity)
           
 int length()
           
 boolean matches(String pattern)
           
 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, integerValue, isAtom, isInteger, isString, isString, le, lt, max, min, mod, mul, ne, neg, not, or, setComment, stringValue, sub
 
Methods inherited from class java.lang.Object
getClass, notify, notifyAll, wait, wait, wait
 

Field Detail

flatten

public static boolean flatten
Constructor Detail

Sequence

public Sequence(Expression[] expressions)

Sequence

public Sequence(Collection<Expression> expressions)
Method Detail

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

Sugar: A SAT-based Constraint Solver