Sugar version 1.13 Core API Specification

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

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

public abstract class Expression
extends Object
implements Comparable<Expression>

This is an abstract class for expressions.


Field Summary
static Expression ABS
           
static Expression ADD
           
static Expression ALLDIFFERENT
           
static Expression AND
           
static Expression BOOL_DEFINITION
           
static Expression CONFLICTS
           
static Expression CUMULATIVE
           
static Expression DIV
           
static Expression DOMAIN_DEFINITION
           
static Expression ELEMENT
           
static Expression EQ
           
static Expression FALSE
           
static Expression GE
           
static Expression GT
           
static Expression IF
           
static Expression IFF
           
static Expression IMP
           
static Expression INT_DEFINITION
           
static boolean intern
           
static Expression LE
           
static Expression LT
           
static Expression MAX
           
static int MAX_MAP_SIZE
           
static Expression MAXIMIZE
           
static Expression MIN
           
static Expression MINIMIZE
           
static Expression MOD
           
static Expression MUL
           
static Expression NE
           
static Expression NEG
           
static Expression NIL
           
static Expression NOT
           
static Expression OBJECTIVE_DEFINITION
           
static Expression ONE
           
static Expression OR
           
static Expression POW
           
static Expression PREDICATE_DEFINITION
           
static Expression RELATION_DEFINITION
           
static Expression SUB
           
static Expression SUPPORTS
           
static Expression TRUE
           
static Expression WEIGHTEDSUM
           
static Expression XOR
           
static Expression ZERO
           
 
Constructor Summary
Expression()
           
 
Method Summary
 Expression abs()
           
 Expression add(Expression x)
           
 Expression and(Expression x)
           
static void appendString(StringBuilder sb, int[] xs)
           
static void appendString(StringBuilder sb, Object[] xs)
           
static void clear()
           
static Expression create(Expression x0)
           
static Expression create(Expression[] expressions)
           
static Expression create(Expression x0, Expression x1)
           
static Expression create(Expression x0, Expression x1, Expression x2)
           
static Expression create(Expression x0, Expression x1, Expression x2, Expression x3)
           
static Expression create(Integer i)
           
static Expression create(List<Expression> expressions)
           
static Expression create(String token)
           
 Expression div(Expression x)
           
 Expression eq(Expression x)
           
 Expression ge(Expression x)
           
 String getComment()
           
 Expression gt(Expression x)
           
 Expression imp(Expression x)
           
 Integer integerValue()
           
 boolean isAtom()
           
 boolean isInteger()
           
 boolean isSequence()
           
 boolean isSequence(Expression x)
           
 boolean isSequence(int arity)
           
 boolean isString()
           
 boolean isString(String s)
           
 Expression le(Expression x)
           
 Expression lt(Expression x)
           
 Expression max(Expression x)
           
 Expression min(Expression x)
           
 Expression mod(Expression x)
           
 Expression mul(Expression x)
           
 Expression ne(Expression x)
           
 Expression neg()
           
 Expression not()
           
 Expression or(Expression x)
           
 void setComment(String comment)
           
 String stringValue()
           
 Expression sub(Expression x)
           
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 
Methods inherited from interface java.lang.Comparable
compareTo
 

Field Detail

intern

public static boolean intern

MAX_MAP_SIZE

public static final int MAX_MAP_SIZE
See Also:
Constant Field Values

DOMAIN_DEFINITION

public static final Expression DOMAIN_DEFINITION

INT_DEFINITION

public static final Expression INT_DEFINITION

BOOL_DEFINITION

public static final Expression BOOL_DEFINITION

PREDICATE_DEFINITION

public static final Expression PREDICATE_DEFINITION

RELATION_DEFINITION

public static final Expression RELATION_DEFINITION

OBJECTIVE_DEFINITION

public static final Expression OBJECTIVE_DEFINITION

MINIMIZE

public static final Expression MINIMIZE

MAXIMIZE

public static final Expression MAXIMIZE

SUPPORTS

public static final Expression SUPPORTS

CONFLICTS

public static final Expression CONFLICTS

FALSE

public static final Expression FALSE

TRUE

public static final Expression TRUE

NOT

public static final Expression NOT

AND

public static final Expression AND

OR

public static final Expression OR

IMP

public static final Expression IMP

XOR

public static final Expression XOR

IFF

public static final Expression IFF

EQ

public static final Expression EQ

NE

public static final Expression NE

LE

public static final Expression LE

LT

public static final Expression LT

GE

public static final Expression GE

GT

public static final Expression GT

NEG

public static final Expression NEG

ABS

public static final Expression ABS

ADD

public static final Expression ADD

SUB

public static final Expression SUB

MUL

public static final Expression MUL

DIV

public static final Expression DIV

MOD

public static final Expression MOD

POW

public static final Expression POW

MIN

public static final Expression MIN

MAX

public static final Expression MAX

IF

public static final Expression IF

ALLDIFFERENT

public static final Expression ALLDIFFERENT

WEIGHTEDSUM

public static final Expression WEIGHTEDSUM

CUMULATIVE

public static final Expression CUMULATIVE

ELEMENT

public static final Expression ELEMENT

NIL

public static final Expression NIL

ZERO

public static final Expression ZERO

ONE

public static final Expression ONE
Constructor Detail

Expression

public Expression()
Method Detail

create

public static Expression create(Integer i)

create

public static Expression create(String token)

create

public static Expression create(Expression[] expressions)

create

public static Expression create(List<Expression> expressions)

create

public static Expression create(Expression x0)

create

public static Expression create(Expression x0,
                                Expression x1)

create

public static Expression create(Expression x0,
                                Expression x1,
                                Expression x2)

create

public static Expression create(Expression x0,
                                Expression x1,
                                Expression x2,
                                Expression x3)

clear

public static void clear()

isAtom

public boolean isAtom()

isString

public boolean isString()

isString

public boolean isString(String s)

isInteger

public boolean isInteger()

isSequence

public boolean isSequence()

isSequence

public boolean isSequence(Expression x)

isSequence

public boolean isSequence(int arity)

stringValue

public String stringValue()

integerValue

public Integer integerValue()

getComment

public String getComment()

setComment

public void setComment(String comment)

not

public Expression not()

and

public Expression and(Expression x)

or

public Expression or(Expression x)

imp

public Expression imp(Expression x)

eq

public Expression eq(Expression x)

ne

public Expression ne(Expression x)

le

public Expression le(Expression x)

lt

public Expression lt(Expression x)

ge

public Expression ge(Expression x)

gt

public Expression gt(Expression x)

neg

public Expression neg()

abs

public Expression abs()

add

public Expression add(Expression x)

sub

public Expression sub(Expression x)

mul

public Expression mul(Expression x)

div

public Expression div(Expression x)

mod

public Expression mod(Expression x)

min

public Expression min(Expression x)

max

public Expression max(Expression x)

appendString

public static void appendString(StringBuilder sb,
                                int[] xs)

appendString

public static void appendString(StringBuilder sb,
                                Object[] xs)

Sugar version 1.13 Core API Specification

Sugar: A SAT-based Constraint Solver