Overview
Package
Class
Tree
Deprecated
Index
Help
Sugar version 1.13 Core API Specification
PREV NEXT
FRAMES
NO FRAMES
All Classes
A
B
C
D
E
F
G
H
I
J
L
M
N
O
P
R
S
T
U
V
W
X
Z
A
abs()
- Method in class jp.ac.kobe_u.cs.sugar.csp.
IntegerDomain
ABS
- Static variable in class jp.ac.kobe_u.cs.sugar.expression.
Expression
abs()
- Method in class jp.ac.kobe_u.cs.sugar.expression.
Expression
ABS
- Static variable in class jp.ac.kobe_u.cs.sugar.
SugarConstants
add(Literal)
- Method in class jp.ac.kobe_u.cs.sugar.csp.
Clause
Adds the given literal to the clause.
add(IntegerVariable)
- Method in class jp.ac.kobe_u.cs.sugar.csp.
CSP
add(BooleanVariable)
- Method in class jp.ac.kobe_u.cs.sugar.csp.
CSP
add(Clause)
- Method in class jp.ac.kobe_u.cs.sugar.csp.
CSP
Adds a clause.
add(int)
- Method in class jp.ac.kobe_u.cs.sugar.csp.
IntegerDomain
add(IntegerDomain)
- Method in class jp.ac.kobe_u.cs.sugar.csp.
IntegerDomain
add(LinearSum)
- Method in class jp.ac.kobe_u.cs.sugar.csp.
LinearSum
Adds the given linear expression.
ADD
- Static variable in class jp.ac.kobe_u.cs.sugar.expression.
Expression
add(Expression)
- Method in class jp.ac.kobe_u.cs.sugar.expression.
Expression
ADD
- Static variable in class jp.ac.kobe_u.cs.sugar.
SugarConstants
addAll(List<Literal>)
- Method in class jp.ac.kobe_u.cs.sugar.csp.
Clause
Adds all given literals to the clause.
ALLDIFFERENT
- Static variable in class jp.ac.kobe_u.cs.sugar.expression.
Expression
ALLDIFFERENT
- Static variable in class jp.ac.kobe_u.cs.sugar.
SugarConstants
AND
- Static variable in class jp.ac.kobe_u.cs.sugar.expression.
Expression
and(Expression)
- Method in class jp.ac.kobe_u.cs.sugar.expression.
Expression
AND
- Static variable in class jp.ac.kobe_u.cs.sugar.
SugarConstants
appendString(StringBuilder, int[])
- Static method in class jp.ac.kobe_u.cs.sugar.expression.
Expression
appendString(StringBuilder, Object[])
- Static method in class jp.ac.kobe_u.cs.sugar.expression.
Expression
appendValues(StringBuilder)
- Method in class jp.ac.kobe_u.cs.sugar.csp.
IntegerDomain
apply(Expression[])
- Method in class jp.ac.kobe_u.cs.sugar.converter.
Predicate
arity
- Variable in class jp.ac.kobe_u.cs.sugar.converter.
Predicate
arity
- Variable in class jp.ac.kobe_u.cs.sugar.converter.
Relation
arity
- Variable in class jp.ac.kobe_u.cs.sugar.csp.
RelationLiteral
Atom
- Class in
jp.ac.kobe_u.cs.sugar.expression
This class implements atomic expressions.
Atom(Comparable)
- Constructor for class jp.ac.kobe_u.cs.sugar.expression.
Atom
B
body
- Variable in class jp.ac.kobe_u.cs.sugar.converter.
Predicate
BOOL_DEFINITION
- Static variable in class jp.ac.kobe_u.cs.sugar.expression.
Expression
BOOL_DEFINITION
- Static variable in class jp.ac.kobe_u.cs.sugar.
SugarConstants
BooleanLiteral
- Class in
jp.ac.kobe_u.cs.sugar.csp
This class implements a boolean literal of CSP.
BooleanLiteral(BooleanVariable, boolean)
- Constructor for class jp.ac.kobe_u.cs.sugar.csp.
BooleanLiteral
Constructs a new boolean literal of the given boolean variable and negative flag.
BooleanVariable
- Class in
jp.ac.kobe_u.cs.sugar.csp
This class implements a boolean variable of CSP.
BooleanVariable(String)
- Constructor for class jp.ac.kobe_u.cs.sugar.csp.
BooleanVariable
Adds a new boolean variable with give name.
BooleanVariable()
- Constructor for class jp.ac.kobe_u.cs.sugar.csp.
BooleanVariable
bound(int, int)
- Method in class jp.ac.kobe_u.cs.sugar.csp.
IntegerDomain
bound(int, int)
- Method in class jp.ac.kobe_u.cs.sugar.csp.
IntegerVariable
C
cap(IntegerDomain)
- Method in class jp.ac.kobe_u.cs.sugar.csp.
IntegerDomain
Clause
- Class in
jp.ac.kobe_u.cs.sugar.csp
This class implements a clause in CSP.
Clause(List<Literal>)
- Constructor for class jp.ac.kobe_u.cs.sugar.csp.
Clause
Constructs a new clause with give literals.
Clause()
- Constructor for class jp.ac.kobe_u.cs.sugar.csp.
Clause
Constructs a new clause.
Clause(Literal)
- Constructor for class jp.ac.kobe_u.cs.sugar.csp.
Clause
clear()
- Static method in class jp.ac.kobe_u.cs.sugar.expression.
Expression
compareTo(BooleanVariable)
- Method in class jp.ac.kobe_u.cs.sugar.csp.
BooleanVariable
compareTo(IntegerVariable)
- Method in class jp.ac.kobe_u.cs.sugar.csp.
IntegerVariable
compareTo(Expression)
- Method in class jp.ac.kobe_u.cs.sugar.expression.
Atom
compareTo(Expression)
- Method in class jp.ac.kobe_u.cs.sugar.expression.
Sequence
conflicts
- Variable in class jp.ac.kobe_u.cs.sugar.converter.
Relation
conflicts
- Variable in class jp.ac.kobe_u.cs.sugar.csp.
RelationLiteral
CONFLICTS
- Static variable in class jp.ac.kobe_u.cs.sugar.expression.
Expression
CONFLICTS
- Static variable in class jp.ac.kobe_u.cs.sugar.
SugarConstants
contains(int)
- Method in class jp.ac.kobe_u.cs.sugar.csp.
IntegerDomain
convert(List<Expression>)
- Method in class jp.ac.kobe_u.cs.sugar.converter.
Converter
Converter
- Class in
jp.ac.kobe_u.cs.sugar.converter
Converter class is used to convert input expressions to a CSP.
Converter(CSP)
- Constructor for class jp.ac.kobe_u.cs.sugar.converter.
Converter
create(Integer)
- Static method in class jp.ac.kobe_u.cs.sugar.expression.
Expression
create(String)
- Static method in class jp.ac.kobe_u.cs.sugar.expression.
Expression
create(Expression[])
- Static method in class jp.ac.kobe_u.cs.sugar.expression.
Expression
create(List<Expression>)
- Static method in class jp.ac.kobe_u.cs.sugar.expression.
Expression
create(Expression)
- Static method in class jp.ac.kobe_u.cs.sugar.expression.
Expression
create(Expression, Expression)
- Static method in class jp.ac.kobe_u.cs.sugar.expression.
Expression
create(Expression, Expression, Expression)
- Static method in class jp.ac.kobe_u.cs.sugar.expression.
Expression
create(Expression, Expression, Expression, Expression)
- Static method in class jp.ac.kobe_u.cs.sugar.expression.
Expression
CSP
- Class in
jp.ac.kobe_u.cs.sugar.csp
A class for CSP (Constraint Satisfaction Problems).
CSP()
- Constructor for class jp.ac.kobe_u.cs.sugar.csp.
CSP
Constructs a new CSP.
CSP.Objective
- Enum in
jp.ac.kobe_u.cs.sugar.csp
Objective types.
CUMULATIVE
- Static variable in class jp.ac.kobe_u.cs.sugar.expression.
Expression
CUMULATIVE
- Static variable in class jp.ac.kobe_u.cs.sugar.
SugarConstants
cup(IntegerDomain)
- Method in class jp.ac.kobe_u.cs.sugar.csp.
IntegerDomain
D
decode(BitSet)
- Method in class jp.ac.kobe_u.cs.sugar.csp.
BooleanVariable
decode(BitSet)
- Method in class jp.ac.kobe_u.cs.sugar.csp.
IntegerVariable
decode(String)
- Method in class jp.ac.kobe_u.cs.sugar.encoder.
Encoder
decode(String, String)
- Method in class jp.ac.kobe_u.cs.sugar.
SugarMain
div(int)
- Method in class jp.ac.kobe_u.cs.sugar.csp.
IntegerDomain
div(IntegerDomain)
- Method in class jp.ac.kobe_u.cs.sugar.csp.
IntegerDomain
DIV
- Static variable in class jp.ac.kobe_u.cs.sugar.expression.
Expression
div(Expression)
- Method in class jp.ac.kobe_u.cs.sugar.expression.
Expression
DIV
- Static variable in class jp.ac.kobe_u.cs.sugar.
SugarConstants
divide(int)
- Method in class jp.ac.kobe_u.cs.sugar.csp.
LinearSum
DOMAIN_DEFINITION
- Static variable in class jp.ac.kobe_u.cs.sugar.expression.
Expression
DOMAIN_DEFINITION
- Static variable in class jp.ac.kobe_u.cs.sugar.
SugarConstants
E
ELEMENT
- Static variable in class jp.ac.kobe_u.cs.sugar.expression.
Expression
ELEMENT
- Static variable in class jp.ac.kobe_u.cs.sugar.
SugarConstants
encode(Encoder, int[])
- Method in class jp.ac.kobe_u.cs.sugar.csp.
BooleanLiteral
encode(Encoder)
- Method in class jp.ac.kobe_u.cs.sugar.csp.
BooleanVariable
encode(Encoder)
- Method in class jp.ac.kobe_u.cs.sugar.csp.
Clause
encode(Encoder)
- Method in class jp.ac.kobe_u.cs.sugar.csp.
IntegerVariable
encode(Encoder, int[])
- Method in class jp.ac.kobe_u.cs.sugar.csp.
LinearLiteral
encode(Encoder, int[])
- Method in class jp.ac.kobe_u.cs.sugar.csp.
Literal
encode(Encoder, int[])
- Method in class jp.ac.kobe_u.cs.sugar.csp.
PowerLiteral
encode(Encoder, int[])
- Method in class jp.ac.kobe_u.cs.sugar.csp.
ProductLiteral
encode(Encoder, int[])
- Method in class jp.ac.kobe_u.cs.sugar.csp.
RelationLiteral
encode(String, boolean)
- Method in class jp.ac.kobe_u.cs.sugar.encoder.
Encoder
encode(String, String, String)
- Method in class jp.ac.kobe_u.cs.sugar.
SugarMain
Encoder
- Class in
jp.ac.kobe_u.cs.sugar.encoder
Encoder encodes CSP into SAT.
Encoder(CSP)
- Constructor for class jp.ac.kobe_u.cs.sugar.encoder.
Encoder
EQ
- Static variable in class jp.ac.kobe_u.cs.sugar.expression.
Expression
eq(Expression)
- Method in class jp.ac.kobe_u.cs.sugar.expression.
Expression
EQ
- Static variable in class jp.ac.kobe_u.cs.sugar.
SugarConstants
equals(Object)
- Method in class jp.ac.kobe_u.cs.sugar.csp.
BooleanVariable
equals(Object)
- Method in class jp.ac.kobe_u.cs.sugar.csp.
IntegerVariable
equals(LinearSum)
- Method in class jp.ac.kobe_u.cs.sugar.csp.
LinearSum
Returns true when the linear expression is equal to the given linear expression.
equals(Object)
- Method in class jp.ac.kobe_u.cs.sugar.csp.
LinearSum
Returns true when the linear expression is equal to the given object.
equals(Object)
- Method in class jp.ac.kobe_u.cs.sugar.expression.
Atom
equals(Object)
- Method in class jp.ac.kobe_u.cs.sugar.expression.
Sequence
expandABS
- Static variable in class jp.ac.kobe_u.cs.sugar.converter.
Converter
Expression
- Class in
jp.ac.kobe_u.cs.sugar.expression
This is an abstract class for expressions.
Expression()
- Constructor for class jp.ac.kobe_u.cs.sugar.expression.
Expression
F
factor()
- Method in class jp.ac.kobe_u.cs.sugar.csp.
LinearSum
factorize()
- Method in class jp.ac.kobe_u.cs.sugar.csp.
LinearSum
FALSE
- Static variable in class jp.ac.kobe_u.cs.sugar.expression.
Expression
FALSE
- Static variable in class jp.ac.kobe_u.cs.sugar.
SugarConstants
FALSE_CODE
- Static variable in class jp.ac.kobe_u.cs.sugar.encoder.
Encoder
flatten
- Static variable in class jp.ac.kobe_u.cs.sugar.expression.
Sequence
flush()
- Method in class jp.ac.kobe_u.cs.sugar.encoder.
Encoder
G
GE
- Static variable in class jp.ac.kobe_u.cs.sugar.expression.
Expression
ge(Expression)
- Method in class jp.ac.kobe_u.cs.sugar.expression.
Expression
GE
- Static variable in class jp.ac.kobe_u.cs.sugar.
SugarConstants
get(int)
- Method in class jp.ac.kobe_u.cs.sugar.expression.
Sequence
getA(IntegerVariable)
- Method in class jp.ac.kobe_u.cs.sugar.csp.
LinearSum
getB()
- Method in class jp.ac.kobe_u.cs.sugar.csp.
LinearSum
getBooleanVariable()
- Method in class jp.ac.kobe_u.cs.sugar.csp.
BooleanLiteral
Returns the boolean variable of CSP.
getBooleanVariable(String)
- Method in class jp.ac.kobe_u.cs.sugar.csp.
CSP
Returns the boolean variable of the given name.
getBooleanVariables()
- Method in class jp.ac.kobe_u.cs.sugar.csp.
CSP
Returns the boolean variables.
getBound(IntegerVariable)
- Method in class jp.ac.kobe_u.cs.sugar.csp.
LinearLiteral
getBound(IntegerVariable)
- Method in class jp.ac.kobe_u.cs.sugar.csp.
Literal
getClauses()
- Method in class jp.ac.kobe_u.cs.sugar.csp.
CSP
Returns the clauses.
getCode()
- Method in class jp.ac.kobe_u.cs.sugar.csp.
BooleanLiteral
getCode()
- Method in class jp.ac.kobe_u.cs.sugar.csp.
BooleanVariable
Returns the code value in the encoded representation.
getCode()
- Method in class jp.ac.kobe_u.cs.sugar.csp.
IntegerVariable
Returns the code value in the encoded representation.
getCode()
- Method in class jp.ac.kobe_u.cs.sugar.csp.
LinearLiteral
getCode()
- Method in class jp.ac.kobe_u.cs.sugar.csp.
Literal
getCodeLE(int)
- Method in class jp.ac.kobe_u.cs.sugar.csp.
IntegerVariable
getCodeLE(int, int)
- Method in class jp.ac.kobe_u.cs.sugar.csp.
IntegerVariable
getCoef()
- Method in class jp.ac.kobe_u.cs.sugar.csp.
LinearSum
getComment()
- Method in class jp.ac.kobe_u.cs.sugar.csp.
BooleanVariable
Returns the comment set to the boolean variable.
getComment()
- Method in class jp.ac.kobe_u.cs.sugar.csp.
Clause
Returns the comment set to the clause.
getComment()
- Method in class jp.ac.kobe_u.cs.sugar.csp.
IntegerVariable
Returns the comment set to the integer variable.
getComment()
- Method in class jp.ac.kobe_u.cs.sugar.expression.
Expression
getCommonVariables()
- Method in class jp.ac.kobe_u.cs.sugar.csp.
Clause
getDomain()
- Method in class jp.ac.kobe_u.cs.sugar.csp.
IntegerVariable
getDomain()
- Method in class jp.ac.kobe_u.cs.sugar.csp.
LinearSum
getDomainExcept(IntegerVariable)
- Method in class jp.ac.kobe_u.cs.sugar.csp.
LinearSum
getHeader(int, int)
- Method in class jp.ac.kobe_u.cs.sugar.encoder.
Encoder
getIntegerVariable(String)
- Method in class jp.ac.kobe_u.cs.sugar.csp.
CSP
Returns the integer variable of the given name.
getIntegerVariables()
- Method in class jp.ac.kobe_u.cs.sugar.csp.
CSP
Returns the integer variables.
getLinearExpression()
- Method in class jp.ac.kobe_u.cs.sugar.csp.
LinearLiteral
Returns the linear expression of the comparison literal.
getLiterals()
- Method in class jp.ac.kobe_u.cs.sugar.csp.
Clause
Returns the literals of the clause.
getLowerBound()
- Method in class jp.ac.kobe_u.cs.sugar.csp.
IntegerDomain
getName()
- Method in class jp.ac.kobe_u.cs.sugar.csp.
BooleanVariable
Returns the name of the boolean variable.
getName()
- Method in class jp.ac.kobe_u.cs.sugar.csp.
IntegerVariable
Returns the name of the integer variable.
getNegative()
- Method in class jp.ac.kobe_u.cs.sugar.csp.
BooleanLiteral
Returns the negative flag of the boolean literal.
getObjective()
- Method in class jp.ac.kobe_u.cs.sugar.csp.
CSP
Returns the objective.
getObjectiveVariable()
- Method in class jp.ac.kobe_u.cs.sugar.csp.
CSP
Returns the objective variable or null.
getSatClausesCount()
- Method in class jp.ac.kobe_u.cs.sugar.encoder.
Encoder
getSatFileSize()
- Method in class jp.ac.kobe_u.cs.sugar.encoder.
Encoder
getSatVariablesSize()
- Method in class jp.ac.kobe_u.cs.sugar.csp.
BooleanVariable
getSatVariablesSize()
- Method in class jp.ac.kobe_u.cs.sugar.csp.
IntegerVariable
getUpperBound()
- Method in class jp.ac.kobe_u.cs.sugar.csp.
IntegerDomain
getValue()
- Method in class jp.ac.kobe_u.cs.sugar.csp.
BooleanVariable
Returns the value of the boolean variable.
getValue()
- Method in class jp.ac.kobe_u.cs.sugar.csp.
IntegerVariable
Returns the value of the integer variable.
getValue()
- Method in class jp.ac.kobe_u.cs.sugar.csp.
LinearSum
Returns the value of the linear expression.
getVariables()
- Method in class jp.ac.kobe_u.cs.sugar.csp.
LinearLiteral
getVariables()
- Method in class jp.ac.kobe_u.cs.sugar.csp.
LinearSum
getVariables()
- Method in class jp.ac.kobe_u.cs.sugar.csp.
Literal
getVariables()
- Method in class jp.ac.kobe_u.cs.sugar.csp.
PowerLiteral
getVariables()
- Method in class jp.ac.kobe_u.cs.sugar.csp.
ProductLiteral
getVariablesByCoef()
- Method in class jp.ac.kobe_u.cs.sugar.csp.
LinearSum
GT
- Static variable in class jp.ac.kobe_u.cs.sugar.expression.
Expression
gt(Expression)
- Method in class jp.ac.kobe_u.cs.sugar.expression.
Expression
GT
- Static variable in class jp.ac.kobe_u.cs.sugar.
SugarConstants
H
hashCode()
- Method in class jp.ac.kobe_u.cs.sugar.csp.
BooleanVariable
hashCode()
- Method in class jp.ac.kobe_u.cs.sugar.csp.
IntegerVariable
hashCode()
- Method in class jp.ac.kobe_u.cs.sugar.csp.
LinearSum
Returns the hash code of the linear expression.
hashCode()
- Method in class jp.ac.kobe_u.cs.sugar.expression.
Atom
hashCode()
- Method in class jp.ac.kobe_u.cs.sugar.expression.
Sequence
I
IF
- Static variable in class jp.ac.kobe_u.cs.sugar.expression.
Expression
IF
- Static variable in class jp.ac.kobe_u.cs.sugar.
SugarConstants
IFF
- Static variable in class jp.ac.kobe_u.cs.sugar.expression.
Expression
IFF
- Static variable in class jp.ac.kobe_u.cs.sugar.
SugarConstants
IMP
- Static variable in class jp.ac.kobe_u.cs.sugar.expression.
Expression
imp(Expression)
- Method in class jp.ac.kobe_u.cs.sugar.expression.
Expression
IMP
- Static variable in class jp.ac.kobe_u.cs.sugar.
SugarConstants
INT_DEFINITION
- Static variable in class jp.ac.kobe_u.cs.sugar.expression.
Expression
INT_DEFINITION
- Static variable in class jp.ac.kobe_u.cs.sugar.
SugarConstants
IntegerDomain
- Class in
jp.ac.kobe_u.cs.sugar.csp
This class implements an integer domain class.
IntegerDomain(int, int)
- Constructor for class jp.ac.kobe_u.cs.sugar.csp.
IntegerDomain
IntegerDomain(SortedSet<Integer>)
- Constructor for class jp.ac.kobe_u.cs.sugar.csp.
IntegerDomain
IntegerDomain(IntegerDomain)
- Constructor for class jp.ac.kobe_u.cs.sugar.csp.
IntegerDomain
integerValue()
- Method in class jp.ac.kobe_u.cs.sugar.expression.
Atom
integerValue()
- Method in class jp.ac.kobe_u.cs.sugar.expression.
Expression
IntegerVariable
- Class in
jp.ac.kobe_u.cs.sugar.csp
This class implements an integer variable of CSP.
IntegerVariable(String, IntegerDomain)
- Constructor for class jp.ac.kobe_u.cs.sugar.csp.
IntegerVariable
IntegerVariable(IntegerDomain)
- Constructor for class jp.ac.kobe_u.cs.sugar.csp.
IntegerVariable
intern
- Static variable in class jp.ac.kobe_u.cs.sugar.expression.
Expression
isAtom()
- Method in class jp.ac.kobe_u.cs.sugar.expression.
Atom
isAtom()
- Method in class jp.ac.kobe_u.cs.sugar.expression.
Expression
isAux()
- Method in class jp.ac.kobe_u.cs.sugar.csp.
BooleanVariable
Returns true when the boolean variable is aux.
isAux()
- Method in class jp.ac.kobe_u.cs.sugar.csp.
IntegerVariable
Returns true when the integer variable is aux.
isDomainLargerThan(long)
- Method in class jp.ac.kobe_u.cs.sugar.csp.
LinearSum
isEmpty()
- Method in class jp.ac.kobe_u.cs.sugar.csp.
IntegerDomain
isInteger()
- Method in class jp.ac.kobe_u.cs.sugar.expression.
Atom
isInteger()
- Method in class jp.ac.kobe_u.cs.sugar.expression.
Expression
isIntegerVariable()
- Method in class jp.ac.kobe_u.cs.sugar.csp.
LinearSum
isModified()
- Method in class jp.ac.kobe_u.cs.sugar.csp.
Clause
isModified()
- Method in class jp.ac.kobe_u.cs.sugar.csp.
IntegerVariable
isSatisfied()
- Method in class jp.ac.kobe_u.cs.sugar.csp.
BooleanLiteral
isSatisfied()
- Method in class jp.ac.kobe_u.cs.sugar.csp.
Clause
Returns true when the clause is satisfied.
isSatisfied()
- Method in class jp.ac.kobe_u.cs.sugar.csp.
CSP
Returns true when the CSP is satisfied.
isSatisfied()
- Method in class jp.ac.kobe_u.cs.sugar.csp.
IntegerVariable
Returns true when the value is within the bounds.
isSatisfied()
- Method in class jp.ac.kobe_u.cs.sugar.csp.
LinearLiteral
isSatisfied()
- Method in class jp.ac.kobe_u.cs.sugar.csp.
Literal
Returns true when the literal is satisfied.
isSatisfied()
- Method in class jp.ac.kobe_u.cs.sugar.csp.
PowerLiteral
isSatisfied()
- Method in class jp.ac.kobe_u.cs.sugar.csp.
ProductLiteral
isSatisfied()
- Method in class jp.ac.kobe_u.cs.sugar.csp.
RelationLiteral
isSequence()
- Method in class jp.ac.kobe_u.cs.sugar.expression.
Expression
isSequence(Expression)
- Method in class jp.ac.kobe_u.cs.sugar.expression.
Expression
isSequence(int)
- Method in class jp.ac.kobe_u.cs.sugar.expression.
Expression
isSequence()
- Method in class jp.ac.kobe_u.cs.sugar.expression.
Sequence
isSequence(Expression)
- Method in class jp.ac.kobe_u.cs.sugar.expression.
Sequence
isSequence(int)
- Method in class jp.ac.kobe_u.cs.sugar.expression.
Sequence
isSimple()
- Method in class jp.ac.kobe_u.cs.sugar.csp.
BooleanLiteral
Always returns true since boolean literals are simple.
isSimple()
- Method in class jp.ac.kobe_u.cs.sugar.csp.
Clause
Returns true when the clause is simple.
isSimple()
- Method in class jp.ac.kobe_u.cs.sugar.csp.
LinearLiteral
Returns true when the linear expression is simple.
isSimple()
- Method in class jp.ac.kobe_u.cs.sugar.csp.
LinearSum
Returns true when the linear expression is simple.
isSimple()
- Method in class jp.ac.kobe_u.cs.sugar.csp.
Literal
Returns true when the literal is simple.
isSimple()
- Method in class jp.ac.kobe_u.cs.sugar.csp.
PowerLiteral
isSimple()
- Method in class jp.ac.kobe_u.cs.sugar.csp.
ProductLiteral
isSimple()
- Method in class jp.ac.kobe_u.cs.sugar.csp.
RelationLiteral
isString()
- Method in class jp.ac.kobe_u.cs.sugar.expression.
Atom
isString(String)
- Method in class jp.ac.kobe_u.cs.sugar.expression.
Atom
isString()
- Method in class jp.ac.kobe_u.cs.sugar.expression.
Expression
isString(String)
- Method in class jp.ac.kobe_u.cs.sugar.expression.
Expression
isUnsatisfiable()
- Method in class jp.ac.kobe_u.cs.sugar.csp.
BooleanLiteral
isUnsatisfiable()
- Method in class jp.ac.kobe_u.cs.sugar.csp.
Clause
isUnsatisfiable()
- Method in class jp.ac.kobe_u.cs.sugar.csp.
CSP
isUnsatisfiable()
- Method in class jp.ac.kobe_u.cs.sugar.csp.
IntegerVariable
isUnsatisfiable()
- Method in class jp.ac.kobe_u.cs.sugar.csp.
LinearLiteral
isUnsatisfiable()
- Method in class jp.ac.kobe_u.cs.sugar.csp.
Literal
isUnsatisfiable()
- Method in class jp.ac.kobe_u.cs.sugar.csp.
PowerLiteral
isUnsatisfiable()
- Method in class jp.ac.kobe_u.cs.sugar.csp.
ProductLiteral
isUnsatisfiable()
- Method in class jp.ac.kobe_u.cs.sugar.csp.
RelationLiteral
isValid()
- Method in class jp.ac.kobe_u.cs.sugar.csp.
BooleanLiteral
isValid()
- Method in class jp.ac.kobe_u.cs.sugar.csp.
Clause
isValid()
- Method in class jp.ac.kobe_u.cs.sugar.csp.
LinearLiteral
isValid()
- Method in class jp.ac.kobe_u.cs.sugar.csp.
Literal
isValid()
- Method in class jp.ac.kobe_u.cs.sugar.csp.
PowerLiteral
isValid()
- Method in class jp.ac.kobe_u.cs.sugar.csp.
ProductLiteral
isValid()
- Method in class jp.ac.kobe_u.cs.sugar.csp.
RelationLiteral
J
jp.ac.kobe_u.cs.sugar
- package jp.ac.kobe_u.cs.sugar
jp.ac.kobe_u.cs.sugar.converter
- package jp.ac.kobe_u.cs.sugar.converter
jp.ac.kobe_u.cs.sugar.csp
- package jp.ac.kobe_u.cs.sugar.csp
jp.ac.kobe_u.cs.sugar.encoder
- package jp.ac.kobe_u.cs.sugar.encoder
jp.ac.kobe_u.cs.sugar.expression
- package jp.ac.kobe_u.cs.sugar.expression
L
LE
- Static variable in class jp.ac.kobe_u.cs.sugar.expression.
Expression
le(Expression)
- Method in class jp.ac.kobe_u.cs.sugar.expression.
Expression
LE
- Static variable in class jp.ac.kobe_u.cs.sugar.
SugarConstants
length()
- Method in class jp.ac.kobe_u.cs.sugar.expression.
Sequence
LinearLiteral
- Class in
jp.ac.kobe_u.cs.sugar.csp
This class implements a comparison literal of CSP.
LinearLiteral(LinearSum)
- Constructor for class jp.ac.kobe_u.cs.sugar.csp.
LinearLiteral
Constructs a new comparison literal of given linear expression.
LinearSum
- Class in
jp.ac.kobe_u.cs.sugar.csp
A class for linear expressions.
LinearSum(int)
- Constructor for class jp.ac.kobe_u.cs.sugar.csp.
LinearSum
LinearSum(int, IntegerVariable, int)
- Constructor for class jp.ac.kobe_u.cs.sugar.csp.
LinearSum
LinearSum(IntegerVariable)
- Constructor for class jp.ac.kobe_u.cs.sugar.csp.
LinearSum
LinearSum(LinearSum)
- Constructor for class jp.ac.kobe_u.cs.sugar.csp.
LinearSum
Literal
- Class in
jp.ac.kobe_u.cs.sugar.csp
This is an abstract class for literals of CSP.
Literal()
- Constructor for class jp.ac.kobe_u.cs.sugar.csp.
Literal
log(String)
- Static method in class jp.ac.kobe_u.cs.sugar.
Logger
Logger
- Class in
jp.ac.kobe_u.cs.sugar
Logger()
- Constructor for class jp.ac.kobe_u.cs.sugar.
Logger
LT
- Static variable in class jp.ac.kobe_u.cs.sugar.expression.
Expression
lt(Expression)
- Method in class jp.ac.kobe_u.cs.sugar.expression.
Expression
LT
- Static variable in class jp.ac.kobe_u.cs.sugar.
SugarConstants
M
main(String[])
- Static method in class jp.ac.kobe_u.cs.sugar.expression.
Parser
Test main program for Parser class.
main(String[])
- Static method in class jp.ac.kobe_u.cs.sugar.
SugarMain
main(String[])
- Static method in class jp.ac.kobe_u.cs.sugar.
XML2CSP
Main program of XML2CSP.
matches(String)
- Method in class jp.ac.kobe_u.cs.sugar.expression.
Sequence
max(IntegerDomain)
- Method in class jp.ac.kobe_u.cs.sugar.csp.
IntegerDomain
MAX
- Static variable in class jp.ac.kobe_u.cs.sugar.expression.
Expression
max(Expression)
- Method in class jp.ac.kobe_u.cs.sugar.expression.
Expression
MAX
- Static variable in class jp.ac.kobe_u.cs.sugar.
SugarConstants
MAX_EQUIVMAP_SIZE
- Static variable in class jp.ac.kobe_u.cs.sugar.converter.
Converter
MAX_LINEARSUM_SIZE
- Static variable in class jp.ac.kobe_u.cs.sugar.converter.
Converter
MAX_MAP_SIZE
- Static variable in class jp.ac.kobe_u.cs.sugar.expression.
Expression
MAX_SAT_SIZE
- Static variable in class jp.ac.kobe_u.cs.sugar.encoder.
Encoder
MAX_SET_SIZE
- Static variable in class jp.ac.kobe_u.cs.sugar.csp.
IntegerDomain
MAXIMIZE
- Static variable in class jp.ac.kobe_u.cs.sugar.expression.
Expression
MAXIMIZE
- Static variable in class jp.ac.kobe_u.cs.sugar.
SugarConstants
min(IntegerDomain)
- Method in class jp.ac.kobe_u.cs.sugar.csp.
IntegerDomain
MIN
- Static variable in class jp.ac.kobe_u.cs.sugar.expression.
Expression
min(Expression)
- Method in class jp.ac.kobe_u.cs.sugar.expression.
Expression
MIN
- Static variable in class jp.ac.kobe_u.cs.sugar.
SugarConstants
MINIMIZE
- Static variable in class jp.ac.kobe_u.cs.sugar.expression.
Expression
MINIMIZE
- Static variable in class jp.ac.kobe_u.cs.sugar.
SugarConstants
mod(int)
- Method in class jp.ac.kobe_u.cs.sugar.csp.
IntegerDomain
mod(IntegerDomain)
- Method in class jp.ac.kobe_u.cs.sugar.csp.
IntegerDomain
MOD
- Static variable in class jp.ac.kobe_u.cs.sugar.expression.
Expression
mod(Expression)
- Method in class jp.ac.kobe_u.cs.sugar.expression.
Expression
MOD
- Static variable in class jp.ac.kobe_u.cs.sugar.
SugarConstants
modifySat(String, int[][])
- Method in class jp.ac.kobe_u.cs.sugar.encoder.
Encoder
modifySat(String, int[])
- Method in class jp.ac.kobe_u.cs.sugar.encoder.
Encoder
mul(int)
- Method in class jp.ac.kobe_u.cs.sugar.csp.
IntegerDomain
mul(IntegerDomain)
- Method in class jp.ac.kobe_u.cs.sugar.csp.
IntegerDomain
MUL
- Static variable in class jp.ac.kobe_u.cs.sugar.expression.
Expression
mul(Expression)
- Method in class jp.ac.kobe_u.cs.sugar.expression.
Expression
MUL
- Static variable in class jp.ac.kobe_u.cs.sugar.
SugarConstants
multiply(int)
- Method in class jp.ac.kobe_u.cs.sugar.csp.
LinearSum
Multiplies the given constant.
N
name
- Variable in class jp.ac.kobe_u.cs.sugar.converter.
Predicate
name
- Variable in class jp.ac.kobe_u.cs.sugar.converter.
Relation
NE
- Static variable in class jp.ac.kobe_u.cs.sugar.expression.
Expression
ne(Expression)
- Method in class jp.ac.kobe_u.cs.sugar.expression.
Expression
NE
- Static variable in class jp.ac.kobe_u.cs.sugar.
SugarConstants
neg()
- Method in class jp.ac.kobe_u.cs.sugar.csp.
IntegerDomain
NEG
- Static variable in class jp.ac.kobe_u.cs.sugar.expression.
Expression
neg()
- Method in class jp.ac.kobe_u.cs.sugar.expression.
Expression
NEG
- Static variable in class jp.ac.kobe_u.cs.sugar.
SugarConstants
negateCode(int)
- Static method in class jp.ac.kobe_u.cs.sugar.encoder.
Encoder
NIL
- Static variable in class jp.ac.kobe_u.cs.sugar.expression.
Expression
NIL
- Static variable in class jp.ac.kobe_u.cs.sugar.
SugarConstants
NOT
- Static variable in class jp.ac.kobe_u.cs.sugar.expression.
Expression
not()
- Method in class jp.ac.kobe_u.cs.sugar.expression.
Expression
NOT
- Static variable in class jp.ac.kobe_u.cs.sugar.
SugarConstants
O
OBJECTIVE_DEFINITION
- Static variable in class jp.ac.kobe_u.cs.sugar.expression.
Expression
OBJECTIVE_DEFINITION
- Static variable in class jp.ac.kobe_u.cs.sugar.
SugarConstants
ONE
- Static variable in class jp.ac.kobe_u.cs.sugar.expression.
Expression
OR
- Static variable in class jp.ac.kobe_u.cs.sugar.expression.
Expression
or(Expression)
- Method in class jp.ac.kobe_u.cs.sugar.expression.
Expression
OR
- Static variable in class jp.ac.kobe_u.cs.sugar.
SugarConstants
output(PrintStream)
- Method in class jp.ac.kobe_u.cs.sugar.csp.
CSP
outputMap(String)
- Method in class jp.ac.kobe_u.cs.sugar.encoder.
Encoder
outputValues(PrintStream)
- Method in class jp.ac.kobe_u.cs.sugar.csp.
CSP
P
params
- Variable in class jp.ac.kobe_u.cs.sugar.converter.
Predicate
paramsMap
- Variable in class jp.ac.kobe_u.cs.sugar.converter.
Predicate
parse()
- Method in class jp.ac.kobe_u.cs.sugar.expression.
Parser
Parses the input and returns a list of expressions.
Parser
- Class in
jp.ac.kobe_u.cs.sugar.expression
The Parser class parses an input and constructs a list of expressions.
Parser(BufferedReader)
- Constructor for class jp.ac.kobe_u.cs.sugar.expression.
Parser
Constructs a new parser.
pow(int)
- Method in class jp.ac.kobe_u.cs.sugar.csp.
IntegerDomain
POW
- Static variable in class jp.ac.kobe_u.cs.sugar.expression.
Expression
POW
- Static variable in class jp.ac.kobe_u.cs.sugar.
SugarConstants
PowerLiteral
- Class in
jp.ac.kobe_u.cs.sugar.csp
NOT IMPLEMENTED YET.
PowerLiteral()
- Constructor for class jp.ac.kobe_u.cs.sugar.csp.
PowerLiteral
Predicate
- Class in
jp.ac.kobe_u.cs.sugar.converter
Predicate class.
Predicate(Sequence, Expression)
- Constructor for class jp.ac.kobe_u.cs.sugar.converter.
Predicate
PREDICATE_DEFINITION
- Static variable in class jp.ac.kobe_u.cs.sugar.expression.
Expression
PREDICATE_DEFINITION
- Static variable in class jp.ac.kobe_u.cs.sugar.
SugarConstants
print(String)
- Static method in class jp.ac.kobe_u.cs.sugar.
Logger
println(String)
- Static method in class jp.ac.kobe_u.cs.sugar.
Logger
ProductLiteral
- Class in
jp.ac.kobe_u.cs.sugar.csp
NOT IMPLEMENTED YET.
ProductLiteral(IntegerVariable, IntegerVariable, IntegerVariable)
- Constructor for class jp.ac.kobe_u.cs.sugar.csp.
ProductLiteral
propagate()
- Method in class jp.ac.kobe_u.cs.sugar.csp.
BooleanLiteral
propagate()
- Method in class jp.ac.kobe_u.cs.sugar.csp.
Clause
propagate()
- Method in class jp.ac.kobe_u.cs.sugar.csp.
CSP
propagate()
- Method in class jp.ac.kobe_u.cs.sugar.csp.
LinearLiteral
propagate()
- Method in class jp.ac.kobe_u.cs.sugar.csp.
Literal
propagate()
- Method in class jp.ac.kobe_u.cs.sugar.csp.
PowerLiteral
propagate()
- Method in class jp.ac.kobe_u.cs.sugar.csp.
ProductLiteral
propagate()
- Method in class jp.ac.kobe_u.cs.sugar.csp.
RelationLiteral
R
Relation
- Class in
jp.ac.kobe_u.cs.sugar.converter
Relation class.
Relation(String, int, Sequence)
- Constructor for class jp.ac.kobe_u.cs.sugar.converter.
Relation
RELATION_DEFINITION
- Static variable in class jp.ac.kobe_u.cs.sugar.expression.
Expression
RELATION_DEFINITION
- Static variable in class jp.ac.kobe_u.cs.sugar.
SugarConstants
RelationLiteral
- Class in
jp.ac.kobe_u.cs.sugar.csp
This class implements a literal for relations.
RelationLiteral(int, boolean, int[][], IntegerVariable[])
- Constructor for class jp.ac.kobe_u.cs.sugar.csp.
RelationLiteral
removeFalsefood()
- Method in class jp.ac.kobe_u.cs.sugar.csp.
Clause
S
SAT_BUFFER_SIZE
- Static variable in class jp.ac.kobe_u.cs.sugar.encoder.
Encoder
satSolverName
- Static variable in class jp.ac.kobe_u.cs.sugar.encoder.
Encoder
Sequence
- Class in
jp.ac.kobe_u.cs.sugar.expression
This class implements sequence expressions.
Sequence(Expression[])
- Constructor for class jp.ac.kobe_u.cs.sugar.expression.
Sequence
Sequence(Collection<Expression>)
- Constructor for class jp.ac.kobe_u.cs.sugar.expression.
Sequence
setA(int, IntegerVariable)
- Method in class jp.ac.kobe_u.cs.sugar.csp.
LinearSum
setCode(int)
- Method in class jp.ac.kobe_u.cs.sugar.csp.
BooleanVariable
Sets the code value in the encoded representation.
setCode(int)
- Method in class jp.ac.kobe_u.cs.sugar.csp.
IntegerVariable
Sets the code value in the encoded representation.
setComment(String)
- Method in class jp.ac.kobe_u.cs.sugar.csp.
BooleanVariable
Sets the comment to the boolean variable.
setComment(String)
- Method in class jp.ac.kobe_u.cs.sugar.csp.
Clause
Sets the comment to the clause.
setComment(String)
- Method in class jp.ac.kobe_u.cs.sugar.csp.
IntegerVariable
Sets the comment to the integer variable.
setComment(String)
- Method in class jp.ac.kobe_u.cs.sugar.expression.
Expression
setModified(boolean)
- Method in class jp.ac.kobe_u.cs.sugar.csp.
IntegerVariable
setObjective(CSP.Objective)
- Method in class jp.ac.kobe_u.cs.sugar.csp.
CSP
setObjectiveVariable(IntegerVariable)
- Method in class jp.ac.kobe_u.cs.sugar.csp.
CSP
setValue(boolean)
- Method in class jp.ac.kobe_u.cs.sugar.csp.
BooleanVariable
Sets the value of the boolean variable.
setValue(int)
- Method in class jp.ac.kobe_u.cs.sugar.csp.
IntegerVariable
Sets the value of the integer variable.
simpleSize()
- Method in class jp.ac.kobe_u.cs.sugar.csp.
Clause
simplify()
- Method in class jp.ac.kobe_u.cs.sugar.csp.
CSP
simplifyAll
- Static variable in class jp.ac.kobe_u.cs.sugar.csp.
CSP
size()
- Method in class jp.ac.kobe_u.cs.sugar.csp.
Clause
size()
- Method in class jp.ac.kobe_u.cs.sugar.csp.
IntegerDomain
size()
- Method in class jp.ac.kobe_u.cs.sugar.csp.
LinearSum
Returns the size of the linear expression.
sizeLE(int)
- Method in class jp.ac.kobe_u.cs.sugar.csp.
IntegerDomain
split()
- Method in class jp.ac.kobe_u.cs.sugar.csp.
LinearSum
stringValue()
- Method in class jp.ac.kobe_u.cs.sugar.expression.
Atom
stringValue()
- Method in class jp.ac.kobe_u.cs.sugar.expression.
Expression
sub(int)
- Method in class jp.ac.kobe_u.cs.sugar.csp.
IntegerDomain
sub(IntegerDomain)
- Method in class jp.ac.kobe_u.cs.sugar.csp.
IntegerDomain
SUB
- Static variable in class jp.ac.kobe_u.cs.sugar.expression.
Expression
sub(Expression)
- Method in class jp.ac.kobe_u.cs.sugar.expression.
Expression
SUB
- Static variable in class jp.ac.kobe_u.cs.sugar.
SugarConstants
subtract(LinearSum)
- Method in class jp.ac.kobe_u.cs.sugar.csp.
LinearSum
Subtracts the given linear expression.
SugarConstants
- Class in
jp.ac.kobe_u.cs.sugar
SugarConstants defines string constants of CSP symbols.
SugarConstants()
- Constructor for class jp.ac.kobe_u.cs.sugar.
SugarConstants
SugarException
- Exception in
jp.ac.kobe_u.cs.sugar
SugarException class.
SugarException(String)
- Constructor for exception jp.ac.kobe_u.cs.sugar.
SugarException
Constructs a SugarException object.
SugarMain
- Class in
jp.ac.kobe_u.cs.sugar
SugarMain main class.
SugarMain()
- Constructor for class jp.ac.kobe_u.cs.sugar.
SugarMain
summary()
- Method in class jp.ac.kobe_u.cs.sugar.csp.
CSP
summary()
- Method in class jp.ac.kobe_u.cs.sugar.encoder.
Encoder
SUPPORTS
- Static variable in class jp.ac.kobe_u.cs.sugar.expression.
Expression
SUPPORTS
- Static variable in class jp.ac.kobe_u.cs.sugar.
SugarConstants
T
toExpression()
- Method in class jp.ac.kobe_u.cs.sugar.csp.
LinearSum
toString()
- Method in class jp.ac.kobe_u.cs.sugar.converter.
Predicate
toString()
- Method in class jp.ac.kobe_u.cs.sugar.converter.
Relation
toString()
- Method in class jp.ac.kobe_u.cs.sugar.csp.
BooleanLiteral
Returns the string representation of the boolean literal.
toString()
- Method in class jp.ac.kobe_u.cs.sugar.csp.
BooleanVariable
Returns the string representation of the boolean variable.
toString()
- Method in class jp.ac.kobe_u.cs.sugar.csp.
Clause
Returns the string representation of the clause.
toString()
- Method in class jp.ac.kobe_u.cs.sugar.csp.
CSP
Returns the string representation of the CSP.
toString()
- Method in class jp.ac.kobe_u.cs.sugar.csp.
IntegerDomain
toString()
- Method in class jp.ac.kobe_u.cs.sugar.csp.
IntegerVariable
Returns the string representation of the integer variable.
toString()
- Method in class jp.ac.kobe_u.cs.sugar.csp.
LinearLiteral
Returns the string representation of the comparison literal.
toString()
- Method in class jp.ac.kobe_u.cs.sugar.csp.
LinearSum
toString()
- Method in class jp.ac.kobe_u.cs.sugar.csp.
PowerLiteral
toString()
- Method in class jp.ac.kobe_u.cs.sugar.csp.
ProductLiteral
toString()
- Method in class jp.ac.kobe_u.cs.sugar.csp.
RelationLiteral
toString()
- Method in class jp.ac.kobe_u.cs.sugar.expression.
Atom
toString()
- Method in class jp.ac.kobe_u.cs.sugar.expression.
Sequence
toString0()
- Method in class jp.ac.kobe_u.cs.sugar.csp.
LinearSum
Returns the string representation of the linear expression.
TRUE
- Static variable in class jp.ac.kobe_u.cs.sugar.expression.
Expression
TRUE
- Static variable in class jp.ac.kobe_u.cs.sugar.
SugarConstants
TRUE_CODE
- Static variable in class jp.ac.kobe_u.cs.sugar.encoder.
Encoder
tuples
- Variable in class jp.ac.kobe_u.cs.sugar.converter.
Relation
U
USE_NEWIO
- Static variable in class jp.ac.kobe_u.cs.sugar.encoder.
Encoder
V
valueOf(String)
- Static method in enum jp.ac.kobe_u.cs.sugar.csp.
CSP.Objective
Returns the enum constant of this type with the specified name.
values()
- Static method in enum jp.ac.kobe_u.cs.sugar.csp.
CSP.Objective
Returns an array containing the constants of this enum type, in the order they are declared.
values(int, int)
- Method in class jp.ac.kobe_u.cs.sugar.csp.
IntegerDomain
values()
- Method in class jp.ac.kobe_u.cs.sugar.csp.
IntegerDomain
vs
- Variable in class jp.ac.kobe_u.cs.sugar.csp.
RelationLiteral
W
WEIGHTEDSUM
- Static variable in class jp.ac.kobe_u.cs.sugar.expression.
Expression
WEIGHTEDSUM
- Static variable in class jp.ac.kobe_u.cs.sugar.
SugarConstants
write(String)
- Method in class jp.ac.kobe_u.cs.sugar.encoder.
Encoder
writeClause(int[])
- Method in class jp.ac.kobe_u.cs.sugar.encoder.
Encoder
writeClause(List<Integer>)
- Method in class jp.ac.kobe_u.cs.sugar.encoder.
Encoder
writeComment(String)
- Method in class jp.ac.kobe_u.cs.sugar.encoder.
Encoder
X
XML2CSP
- Class in
jp.ac.kobe_u.cs.sugar
XML2CSP converts files in XCSP 2 format into CSP format.
XML2CSP(String, String)
- Constructor for class jp.ac.kobe_u.cs.sugar.
XML2CSP
Constructs a XCSP to CSP converter.
XOR
- Static variable in class jp.ac.kobe_u.cs.sugar.expression.
Expression
XOR
- Static variable in class jp.ac.kobe_u.cs.sugar.
SugarConstants
Z
ZERO
- Static variable in class jp.ac.kobe_u.cs.sugar.expression.
Expression
A
B
C
D
E
F
G
H
I
J
L
M
N
O
P
R
S
T
U
V
W
X
Z
Overview
Package
Class
Tree
Deprecated
Index
Help
Sugar version 1.13 Core API Specification
PREV NEXT
FRAMES
NO FRAMES
All Classes
Sugar: A SAT-based Constraint Solver