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

Sugar: A SAT-based Constraint Solver