Skip navigation links
Sugar version 2.3.3 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.kobe_u.sugar.csp.IntegerDomain
 
abs() - Method in class jp.kobe_u.sugar.csp.IntegerDomainDiet
 
abs() - Method in class jp.kobe_u.sugar.csp.IntegerDomainIntervals
 
ABS - Static variable in class jp.kobe_u.sugar.expression.Expression
 
abs() - Method in class jp.kobe_u.sugar.expression.Expression
 
ABS - Static variable in class jp.kobe_u.sugar.SugarConstants
 
AbstractEncoder - Class in jp.kobe_u.sugar.encoder
AbstractEncoder.
AbstractEncoder(CSP, Problem) - Constructor for class jp.kobe_u.sugar.encoder.AbstractEncoder
 
add(Literal) - Method in class jp.kobe_u.sugar.csp.Clause
Adds the given literal to the clause.
add(IntegerVariable) - Method in class jp.kobe_u.sugar.csp.CSP
 
add(BooleanVariable) - Method in class jp.kobe_u.sugar.csp.CSP
 
add(Clause) - Method in class jp.kobe_u.sugar.csp.CSP
Adds a clause.
add(IntegerDomain) - Method in class jp.kobe_u.sugar.csp.IntegerDomain
 
add(IntegerDomain) - Method in class jp.kobe_u.sugar.csp.IntegerDomainDiet
 
add(IntegerDomainIntervals) - Method in class jp.kobe_u.sugar.csp.IntegerDomainIntervals
 
add(IntegerDomain) - Method in class jp.kobe_u.sugar.csp.IntegerDomainIntervals
 
add(LinearSum) - Method in class jp.kobe_u.sugar.csp.LinearSum
Adds the given linear expression.
ADD - Static variable in class jp.kobe_u.sugar.expression.Expression
 
add(Expression) - Method in class jp.kobe_u.sugar.expression.Expression
 
add(int) - Method in class jp.kobe_u.sugar.expression.Expression
 
add(Expression[]) - Static method in class jp.kobe_u.sugar.expression.Expression
 
add(List<Expression>) - Static method in class jp.kobe_u.sugar.expression.Expression
 
add(int) - Method in class jp.kobe_u.sugar.pb.PBExpr
 
add(int, int) - Method in class jp.kobe_u.sugar.pb.PBExpr
 
add(PBExpr, int) - Method in class jp.kobe_u.sugar.pb.PBExpr
 
add(PBExpr) - Method in class jp.kobe_u.sugar.pb.PBExpr
 
ADD - Static variable in class jp.kobe_u.sugar.SugarConstants
 
add(XCSP.Domain) - Method in class jp.kobe_u.sugar.XCSP
 
ADD_GROUP_ID - Static variable in class jp.kobe_u.sugar.converter.Converter
 
addAll(List<Literal>) - Method in class jp.kobe_u.sugar.csp.Clause
Adds all given literals to the clause.
addClause(int[]) - Method in class jp.kobe_u.sugar.encoder.Problem
 
addComment(String) - Method in class jp.kobe_u.sugar.encoder.FileProblem
 
addComment(String) - Method in class jp.kobe_u.sugar.encoder.Problem
 
addComment(String) - Method in class jp.kobe_u.sugar.pb.PBFileProblem
 
addComment(String) - Method in class jp.kobe_u.sugar.pb.PBProblem
 
addHook(ConverterHook) - Static method in class jp.kobe_u.sugar.converter.Converter
 
addMinExpr(PBExpr) - Method in class jp.kobe_u.sugar.pb.PBFileProblem
 
addMinExpr(PBExpr) - Method in class jp.kobe_u.sugar.pb.PBProblem
 
addNormalizedClause(int[]) - Method in class jp.kobe_u.sugar.encoder.FileProblem
 
addNormalizedClause(int[]) - Method in class jp.kobe_u.sugar.encoder.Problem
 
addPB(PBExpr) - Method in class jp.kobe_u.sugar.pb.PBProblem
 
addPBConstraint(PBExpr) - Method in class jp.kobe_u.sugar.pb.PBFileProblem
 
addPBConstraint(PBExpr) - Method in class jp.kobe_u.sugar.pb.PBProblem
 
addPMin(String) - Method in class jp.kobe_u.sugar.pb.PBFileProblem
 
addPMin(String) - Method in class jp.kobe_u.sugar.pb.PBProblem
 
addPragmaDominant(int, int) - Method in class jp.kobe_u.sugar.encoder.FileProblem
 
addPragmaDominant(int, int) - Method in class jp.kobe_u.sugar.encoder.Problem
 
addRelation(Relation) - Method in class jp.kobe_u.sugar.csp.CSP
Adds a relation.
addVariables(int) - Method in class jp.kobe_u.sugar.encoder.Problem
 
addVariables(int) - Method in class jp.kobe_u.sugar.pb.PBProblem
 
ALLDIFFERENT - Static variable in class jp.kobe_u.sugar.expression.Expression
 
alldifferent(Expression) - Static method in class jp.kobe_u.sugar.expression.Expression
 
ALLDIFFERENT - Static variable in class jp.kobe_u.sugar.SugarConstants
 
AND - Static variable in class jp.kobe_u.sugar.expression.Expression
 
and(Expression) - Method in class jp.kobe_u.sugar.expression.Expression
 
AND - Static variable in class jp.kobe_u.sugar.SugarConstants
 
ANY - Static variable in class jp.kobe_u.sugar.expression.Expression
 
appendString(StringBuilder, int[]) - Static method in class jp.kobe_u.sugar.expression.Expression
 
appendString(StringBuilder, IntegerVariable[]) - Static method in class jp.kobe_u.sugar.expression.Expression
 
appendValues(StringBuilder, boolean) - Method in class jp.kobe_u.sugar.csp.IntegerDomain
 
apply(Expression[]) - Method in class jp.kobe_u.sugar.csp.Predicate
 
arity - Variable in class jp.kobe_u.sugar.csp.Predicate
 
arity - Variable in class jp.kobe_u.sugar.csp.Relation
 
arity - Variable in class jp.kobe_u.sugar.csp.RelationLiteral
 
Atom - Class in jp.kobe_u.sugar.expression
This class implements atomic expressions.
Atom(Comparable) - Constructor for class jp.kobe_u.sugar.expression.Atom
 

B

BASE - Static variable in class jp.kobe_u.sugar.pb.PBEncoder
 
beginGroups(List<Integer>, int) - Method in class jp.kobe_u.sugar.encoder.Problem
 
body - Variable in class jp.kobe_u.sugar.csp.Predicate
 
BOOL_DEFINITION - Static variable in class jp.kobe_u.sugar.expression.Expression
 
BOOL_DEFINITION - Static variable in class jp.kobe_u.sugar.SugarConstants
 
BooleanLiteral - Class in jp.kobe_u.sugar.csp
This class implements a boolean literal of CSP.
BooleanLiteral(BooleanVariable, boolean) - Constructor for class jp.kobe_u.sugar.csp.BooleanLiteral
Constructs a new boolean literal of the given boolean variable and negative flag.
BooleanVariable - Class in jp.kobe_u.sugar.csp
This class implements a boolean variable of CSP.
BooleanVariable(String) - Constructor for class jp.kobe_u.sugar.csp.BooleanVariable
Adds a new boolean variable with give name.
BooleanVariable() - Constructor for class jp.kobe_u.sugar.csp.BooleanVariable
 
bound(int, int) - Method in class jp.kobe_u.sugar.csp.IntegerDomain
 
bound(int, int) - Method in class jp.kobe_u.sugar.csp.IntegerDomainDiet
 
bound(int, int) - Method in class jp.kobe_u.sugar.csp.IntegerDomainIntervals
 
bound(int, int) - Method in class jp.kobe_u.sugar.csp.IntegerVariable
 
Brick(int[], int[]) - Constructor for class jp.kobe_u.sugar.csp.RelationLiteral.Brick
 

C

cancel() - Method in class jp.kobe_u.sugar.csp.CSP
 
cancel() - Method in class jp.kobe_u.sugar.encoder.Encoder
 
cancel() - Method in class jp.kobe_u.sugar.encoder.FileProblem
 
cancel() - Method in class jp.kobe_u.sugar.encoder.Problem
 
cancel() - Method in class jp.kobe_u.sugar.hybrid.HybridEncoder
 
cancel() - Method in class jp.kobe_u.sugar.pb.PBEncoder
 
cancel() - Method in class jp.kobe_u.sugar.pb.PBFileProblem
 
cancel() - Method in class jp.kobe_u.sugar.pb.PBProblem
 
cap(IntegerDomain) - Method in class jp.kobe_u.sugar.csp.IntegerDomain
 
cap(IntegerDomain) - Method in class jp.kobe_u.sugar.csp.IntegerDomainDiet
 
cap(IntegerDomainIntervals) - Method in class jp.kobe_u.sugar.csp.IntegerDomainIntervals
 
cap(IntegerDomain) - Method in class jp.kobe_u.sugar.csp.IntegerDomainIntervals
 
ceilDiv(int, int) - Method in class jp.kobe_u.sugar.csp.LinearLiteral
 
checkArity(Expression, int) - Method in class jp.kobe_u.sugar.converter.Converter
 
classifyVariables() - Method in class jp.kobe_u.sugar.hybrid.HybridConverter
 
Clause - Class in jp.kobe_u.sugar.csp
This class implements a clause in CSP.
Clause(List<Literal>) - Constructor for class jp.kobe_u.sugar.csp.Clause
Constructs a new clause with give literals.
Clause() - Constructor for class jp.kobe_u.sugar.csp.Clause
Constructs a new clause.
Clause(Literal) - Constructor for class jp.kobe_u.sugar.csp.Clause
 
clausesCount - Variable in class jp.kobe_u.sugar.encoder.Problem
 
clear() - Method in class jp.kobe_u.sugar.encoder.FileProblem
 
clear() - Method in class jp.kobe_u.sugar.encoder.Problem
 
clear() - Static method in class jp.kobe_u.sugar.expression.Expression
 
clear() - Method in class jp.kobe_u.sugar.pb.PBFileProblem
 
clear() - Method in class jp.kobe_u.sugar.pb.PBProblem
 
close() - Method in class jp.kobe_u.sugar.encoder.FileProblem
 
close() - Method in class jp.kobe_u.sugar.pb.PBFileProblem
 
coefGCD() - Method in class jp.kobe_u.sugar.csp.LinearSum
 
commit() - Method in class jp.kobe_u.sugar.csp.CSP
 
commit() - Method in class jp.kobe_u.sugar.encoder.Encoder
 
commit() - Method in class jp.kobe_u.sugar.encoder.FileProblem
 
commit() - Method in class jp.kobe_u.sugar.encoder.Problem
 
commit() - Method in class jp.kobe_u.sugar.hybrid.HybridEncoder
 
commit() - Method in class jp.kobe_u.sugar.pb.PBEncoder
 
commit() - Method in class jp.kobe_u.sugar.pb.PBFileProblem
 
commit() - Method in class jp.kobe_u.sugar.pb.PBProblem
 
compact() - Method in class jp.kobe_u.sugar.csp.CSP
 
compareTo(BooleanVariable) - Method in class jp.kobe_u.sugar.csp.BooleanVariable
 
compareTo(IntegerVariable) - Method in class jp.kobe_u.sugar.csp.IntegerVariable
 
compareTo(Expression) - Method in class jp.kobe_u.sugar.expression.Atom
 
compareTo(Expression) - Method in class jp.kobe_u.sugar.expression.Sequence
 
ComparisonConverter - Class in jp.kobe_u.sugar.converter
 
ComparisonConverter(Converter) - Constructor for class jp.kobe_u.sugar.converter.ComparisonConverter
 
comparisonConverter - Variable in class jp.kobe_u.sugar.converter.Converter
 
complement() - Method in class jp.kobe_u.sugar.csp.IntegerDomainDiet
 
conflicts - Variable in class jp.kobe_u.sugar.csp.Relation
 
conflicts - Variable in class jp.kobe_u.sugar.csp.RelationLiteral
 
CONFLICTS - Static variable in class jp.kobe_u.sugar.expression.Expression
 
CONFLICTS - Static variable in class jp.kobe_u.sugar.SugarConstants
 
Constraint(String, int, String, String, String) - Constructor for class jp.kobe_u.sugar.XCSP.Constraint
 
constraints - Variable in class jp.kobe_u.sugar.XCSP
 
constraintsCount - Variable in class jp.kobe_u.sugar.pb.PBProblem
 
contains(int) - Method in class jp.kobe_u.sugar.csp.IntegerDomain
 
contains(int) - Method in class jp.kobe_u.sugar.csp.IntegerDomainDiet
 
contains(int) - Method in class jp.kobe_u.sugar.csp.IntegerDomainIntervals
 
containsPbPart() - Method in class jp.kobe_u.sugar.csp.LinearSum
 
convert(Expression) - Method in class jp.kobe_u.sugar.converter.Converter
 
convert(List<Expression>) - Method in class jp.kobe_u.sugar.converter.Converter
 
convert() - Method in class jp.kobe_u.sugar.hybrid.HybridConverter
 
convert() - Method in class jp.kobe_u.sugar.XML2CSP
 
convertAtom(Expression, boolean, List<Clause>) - Method in class jp.kobe_u.sugar.converter.Converter
 
convertComp(Expression, Expression, String) - Method in class jp.kobe_u.sugar.converter.ComparisonConverter
 
convertComparison(Sequence, boolean, List<Clause>) - Method in class jp.kobe_u.sugar.converter.Converter
 
convertConstraint(Converter, Expression, boolean, List<Clause>) - Method in interface jp.kobe_u.sugar.hook.ConverterHook
 
convertConstraint(Converter, Expression, boolean, List<Clause>) - Method in class jp.kobe_u.sugar.hook.ExampleHook
 
Converter - Class in jp.kobe_u.sugar.converter
Converter class is used to convert input expressions to a CSP.
Converter(CSP) - Constructor for class jp.kobe_u.sugar.converter.Converter
 
ConverterHook - Interface in jp.kobe_u.sugar.hook
 
convertExpression(Expression) - Method in class jp.kobe_u.sugar.converter.Converter
 
convertFormula(Expression) - Method in class jp.kobe_u.sugar.converter.Converter
 
convertFunction(Converter, Expression) - Method in interface jp.kobe_u.sugar.hook.ConverterHook
 
convertFunction(Converter, Expression) - Method in class jp.kobe_u.sugar.hook.ExampleHook
 
convertGlobal(Sequence, boolean, List<Clause>) - Method in class jp.kobe_u.sugar.converter.Converter
 
convertHold(Expression) - Method in class jp.kobe_u.sugar.converter.Converter
 
convertLogical(Sequence, boolean, List<Clause>) - Method in class jp.kobe_u.sugar.converter.Converter
 
COUNT - Static variable in class jp.kobe_u.sugar.expression.Expression
 
count(Expression, Expression, Expression, Expression) - Static method in class jp.kobe_u.sugar.expression.Expression
 
count() - Method in class jp.kobe_u.sugar.hybrid.HybridConverter
 
COUNT - Static variable in class jp.kobe_u.sugar.SugarConstants
 
create(int, int) - Static method in class jp.kobe_u.sugar.csp.IntegerDomain
 
create(SortedSet<Integer>) - Static method in class jp.kobe_u.sugar.csp.IntegerDomain
 
create(int) - Static method in class jp.kobe_u.sugar.expression.Expression
 
create(String) - Static method in class jp.kobe_u.sugar.expression.Expression
 
create(Expression[]) - Static method in class jp.kobe_u.sugar.expression.Expression
 
create(List<Expression>) - Static method in class jp.kobe_u.sugar.expression.Expression
 
create(Expression) - Static method in class jp.kobe_u.sugar.expression.Expression
 
create(Expression, Expression) - Static method in class jp.kobe_u.sugar.expression.Expression
 
create(Expression, Expression, Expression) - Static method in class jp.kobe_u.sugar.expression.Expression
 
create(Expression, Expression, Expression, Expression) - Static method in class jp.kobe_u.sugar.expression.Expression
 
create(Expression, Expression, Expression, Expression, Expression) - Static method in class jp.kobe_u.sugar.expression.Expression
 
create(Expression, Expression[]) - Static method in class jp.kobe_u.sugar.expression.Expression
 
create(Expression, List<Expression>) - Static method in class jp.kobe_u.sugar.expression.Expression
 
csp - Variable in class jp.kobe_u.sugar.converter.Converter
 
CSP - Class in jp.kobe_u.sugar.csp
A class for CSP (Constraint Satisfaction Problems).
CSP() - Constructor for class jp.kobe_u.sugar.csp.CSP
Constructs a new CSP.
csp - Variable in class jp.kobe_u.sugar.encoder.AbstractEncoder
 
csp - Variable in class jp.kobe_u.sugar.hybrid.HybridEncoder
 
csp - Variable in class jp.kobe_u.sugar.pb.PBEncoder
 
CSP.Objective - Enum in jp.kobe_u.sugar.csp
Objective types.
CSP2XML - Class in jp.kobe_u.sugar
NOT IMPLEMENTED.
CSP2XML(String, String, boolean) - Constructor for class jp.kobe_u.sugar.CSP2XML
Constructs a CSP to XCSP converter.
CUMULATIVE - Static variable in class jp.kobe_u.sugar.expression.Expression
 
cumulative(Expression, Expression) - Static method in class jp.kobe_u.sugar.expression.Expression
 
cumulative(Expression, int) - Static method in class jp.kobe_u.sugar.expression.Expression
 
CUMULATIVE - Static variable in class jp.kobe_u.sugar.SugarConstants
 
cup(IntegerDomain) - Method in class jp.kobe_u.sugar.csp.IntegerDomain
 
cup(IntegerDomain) - Method in class jp.kobe_u.sugar.csp.IntegerDomainDiet
 
cup(IntegerDomainIntervals) - Method in class jp.kobe_u.sugar.csp.IntegerDomainIntervals
 
cup(IntegerDomain) - Method in class jp.kobe_u.sugar.csp.IntegerDomainIntervals
 

D

DBOOL_DEFINITION - Static variable in class jp.kobe_u.sugar.expression.Expression
 
DBOOL_DEFINITION - Static variable in class jp.kobe_u.sugar.SugarConstants
 
debug - Static variable in class jp.kobe_u.sugar.SugarMain
 
decode(BitSet) - Method in class jp.kobe_u.sugar.csp.BooleanVariable
 
decode(BitSet) - Method in class jp.kobe_u.sugar.csp.IntegerVariable
 
decode(String) - Method in class jp.kobe_u.sugar.encoder.AbstractEncoder
 
decode(String) - Method in class jp.kobe_u.sugar.encoder.Encoder
 
decode(String) - Method in class jp.kobe_u.sugar.hybrid.HybridEncoder
 
decode(String) - Method in class jp.kobe_u.sugar.pb.PBEncoder
 
decode(String, String) - Method in class jp.kobe_u.sugar.SugarMain
 
decodeHybrid(String, String) - Method in class jp.kobe_u.sugar.SugarMain
 
decodePB(String, String) - Method in class jp.kobe_u.sugar.SugarMain
 
DECOMPOSE_ALLDIFFERENT - Static variable in class jp.kobe_u.sugar.converter.Converter
 
DECOMPOSE_COUNT - Static variable in class jp.kobe_u.sugar.converter.Converter
 
DECOMPOSE_CUMULATIVE - Static variable in class jp.kobe_u.sugar.converter.Converter
 
DECOMPOSE_DISJUNCTIVE - Static variable in class jp.kobe_u.sugar.converter.Converter
 
DECOMPOSE_ELEMENT - Static variable in class jp.kobe_u.sugar.converter.Converter
 
DECOMPOSE_GLOBAL_CARDINALITY - Static variable in class jp.kobe_u.sugar.converter.Converter
 
DECOMPOSE_GLOBAL_CARDINALITY_WITH_COSTS - Static variable in class jp.kobe_u.sugar.converter.Converter
 
DECOMPOSE_LEX_LESS - Static variable in class jp.kobe_u.sugar.converter.Converter
 
DECOMPOSE_LEX_LESSEQ - Static variable in class jp.kobe_u.sugar.converter.Converter
 
DECOMPOSE_NVALUE - Static variable in class jp.kobe_u.sugar.converter.Converter
 
DECOMPOSE_RELATION - Static variable in class jp.kobe_u.sugar.converter.Converter
 
DECOMPOSE_WEIGHTEDSUM - Static variable in class jp.kobe_u.sugar.converter.Converter
 
definitionConverter - Variable in class jp.kobe_u.sugar.converter.Converter
 
DefinitionConverter - Class in jp.kobe_u.sugar.converter
 
DefinitionConverter(Converter) - Constructor for class jp.kobe_u.sugar.converter.DefinitionConverter
 
DINT_DEFINITION - Static variable in class jp.kobe_u.sugar.expression.Expression
 
DINT_DEFINITION - Static variable in class jp.kobe_u.sugar.SugarConstants
 
DISJUNCTIVE - Static variable in class jp.kobe_u.sugar.expression.Expression
 
disjunctive(Expression) - Static method in class jp.kobe_u.sugar.expression.Expression
 
DISJUNCTIVE - Static variable in class jp.kobe_u.sugar.SugarConstants
 
div(int) - Method in class jp.kobe_u.sugar.csp.IntegerDomain
 
div(IntegerDomain) - Method in class jp.kobe_u.sugar.csp.IntegerDomain
 
div(int) - Method in class jp.kobe_u.sugar.csp.IntegerDomainDiet
 
div(IntegerDomain) - Method in class jp.kobe_u.sugar.csp.IntegerDomainDiet
 
div(int) - Method in class jp.kobe_u.sugar.csp.IntegerDomainIntervals
 
div(IntegerDomainIntervals) - Method in class jp.kobe_u.sugar.csp.IntegerDomainIntervals
 
div(IntegerDomain) - Method in class jp.kobe_u.sugar.csp.IntegerDomainIntervals
 
DIV - Static variable in class jp.kobe_u.sugar.expression.Expression
 
div(Expression) - Method in class jp.kobe_u.sugar.expression.Expression
 
div(int) - Method in class jp.kobe_u.sugar.expression.Expression
 
DIV - Static variable in class jp.kobe_u.sugar.SugarConstants
 
divide(int) - Method in class jp.kobe_u.sugar.csp.LinearSum
 
Domain(String, int, String) - Constructor for class jp.kobe_u.sugar.XCSP.Domain
 
DOMAIN_DEFINITION - Static variable in class jp.kobe_u.sugar.expression.Expression
 
DOMAIN_DEFINITION - Static variable in class jp.kobe_u.sugar.SugarConstants
 
domains - Variable in class jp.kobe_u.sugar.XCSP
 
done() - Method in class jp.kobe_u.sugar.encoder.FileProblem
 
done() - Method in class jp.kobe_u.sugar.encoder.Problem
 
done() - Method in class jp.kobe_u.sugar.pb.PBFileProblem
 
done() - Method in class jp.kobe_u.sugar.pb.PBProblem
 

E

ELEMENT - Static variable in class jp.kobe_u.sugar.expression.Expression
 
element(Expression, Expression, Expression) - Static method in class jp.kobe_u.sugar.expression.Expression
 
ELEMENT - Static variable in class jp.kobe_u.sugar.SugarConstants
 
encode() - Method in class jp.kobe_u.sugar.encoder.AbstractEncoder
 
encode(Problem) - Method in class jp.kobe_u.sugar.encoder.Encoder
 
encode(String) - Method in class jp.kobe_u.sugar.encoder.Encoder
 
encode(String, boolean) - Method in class jp.kobe_u.sugar.encoder.Encoder
 
encode() - Method in class jp.kobe_u.sugar.hybrid.HybridEncoder
 
encode() - Method in class jp.kobe_u.sugar.pb.PBEncoder
 
encode(String, String, String) - Method in class jp.kobe_u.sugar.SugarMain
 
encodeClause(Clause) - Method in class jp.kobe_u.sugar.encoder.AbstractEncoder
 
encodeClause(Clause) - Method in class jp.kobe_u.sugar.encoder.OrderEncoder
 
encodeDelta() - Method in class jp.kobe_u.sugar.encoder.AbstractEncoder
 
encodeDelta() - Method in class jp.kobe_u.sugar.hybrid.HybridEncoder
 
encodeDelta() - Method in class jp.kobe_u.sugar.pb.PBEncoder
 
encodeHybrid(String, String, String) - Method in class jp.kobe_u.sugar.SugarMain
 
encodeIntegerVariable(IntegerVariable) - Method in class jp.kobe_u.sugar.encoder.AbstractEncoder
 
encodeIntegerVariable(IntegerVariable) - Method in class jp.kobe_u.sugar.encoder.OrderEncoder
 
encodePB(String, String, String) - Method in class jp.kobe_u.sugar.SugarMain
 
Encoder - Class in jp.kobe_u.sugar.encoder
Encoder encodes CSP into SAT.
Encoder(CSP) - Constructor for class jp.kobe_u.sugar.encoder.Encoder
 
Encoding - Enum in jp.kobe_u.sugar.encoder
 
encoding - Variable in class jp.kobe_u.sugar.pb.PBEncoder
 
ENCODING_OPTION - Static variable in class jp.kobe_u.sugar.pb.PBEncoder
 
endGroups() - Method in class jp.kobe_u.sugar.encoder.Problem
 
EQ - Static variable in class jp.kobe_u.sugar.expression.Expression
 
eq(Expression) - Method in class jp.kobe_u.sugar.expression.Expression
 
eq(int) - Method in class jp.kobe_u.sugar.expression.Expression
 
EQ - Static variable in class jp.kobe_u.sugar.SugarConstants
 
equals(Object) - Method in class jp.kobe_u.sugar.csp.BooleanVariable
 
equals(Object) - Method in class jp.kobe_u.sugar.csp.HoldLiteral
 
equals(Object) - Method in class jp.kobe_u.sugar.csp.IntegerVariable
 
equals(Object) - Method in class jp.kobe_u.sugar.csp.LabelLiteral
 
equals(Object) - Method in class jp.kobe_u.sugar.csp.LinearLiteral
 
equals(LinearSum) - Method in class jp.kobe_u.sugar.csp.LinearSum
Returns true when the linear expression is equal to the given linear expression.
equals(Object) - Method in class jp.kobe_u.sugar.csp.LinearSum
Returns true when the linear expression is equal to the given object.
equals(Object) - Method in class jp.kobe_u.sugar.csp.ProductLiteral
 
equals(Object) - Method in class jp.kobe_u.sugar.csp.RelationLiteral
 
equals(Object) - Method in class jp.kobe_u.sugar.expression.Atom
 
equals(Object) - Method in class jp.kobe_u.sugar.expression.Sequence
 
equals(Object) - Method in class jp.kobe_u.sugar.XCSP.Domain
 
equals(Object) - Method in class jp.kobe_u.sugar.XCSP.Predicate
 
equals(Object) - Method in class jp.kobe_u.sugar.XCSP.Relation
 
equals(Object) - Method in class jp.kobe_u.sugar.XCSP.Variable
 
EQUIV_TRANSLATION - Static variable in class jp.kobe_u.sugar.converter.Converter
 
ESTIMATE_SATSIZE - Static variable in class jp.kobe_u.sugar.converter.Converter
 
ExampleHook - Class in jp.kobe_u.sugar.hook
 
ExampleHook() - Constructor for class jp.kobe_u.sugar.hook.ExampleHook
 
Expression - Class in jp.kobe_u.sugar.expression
This is an abstract class for expressions.
Expression() - Constructor for class jp.kobe_u.sugar.expression.Expression
 
expressionOptimizer - Variable in class jp.kobe_u.sugar.converter.Converter
 
ExpressionOptimizer - Class in jp.kobe_u.sugar.converter
 
ExpressionOptimizer(Converter) - Constructor for class jp.kobe_u.sugar.converter.ExpressionOptimizer
 

F

factor() - Method in class jp.kobe_u.sugar.csp.LinearSum
 
factorize() - Method in class jp.kobe_u.sugar.csp.LinearSum
 
FALSE - Static variable in class jp.kobe_u.sugar.expression.Expression
 
FALSE - Static variable in class jp.kobe_u.sugar.SugarConstants
 
FALSE_CODE - Static variable in class jp.kobe_u.sugar.encoder.Problem
 
FileProblem - Class in jp.kobe_u.sugar.encoder
 
FileProblem(String) - Constructor for class jp.kobe_u.sugar.encoder.FileProblem
 
fileSize - Variable in class jp.kobe_u.sugar.encoder.Problem
 
fileSize - Variable in class jp.kobe_u.sugar.pb.PBProblem
 
fine(String) - Static method in class jp.kobe_u.sugar.Logger
 
flatten - Static variable in class jp.kobe_u.sugar.expression.Sequence
 
floorDiv(int, int) - Method in class jp.kobe_u.sugar.csp.LinearLiteral
 
flush() - Method in class jp.kobe_u.sugar.encoder.FileProblem
 
flush() - Method in class jp.kobe_u.sugar.pb.PBFileProblem
 

G

GCNF - Static variable in class jp.kobe_u.sugar.encoder.Problem
 
GE - Static variable in class jp.kobe_u.sugar.expression.Expression
 
ge(Expression) - Method in class jp.kobe_u.sugar.expression.Expression
 
ge(int) - Method in class jp.kobe_u.sugar.expression.Expression
 
GE - Static variable in class jp.kobe_u.sugar.SugarConstants
 
get(int) - Method in class jp.kobe_u.sugar.expression.Sequence
 
getA(IntegerVariable) - Method in class jp.kobe_u.sugar.csp.LinearSum
 
getA(int) - Method in class jp.kobe_u.sugar.pb.PBExpr
 
getB() - Method in class jp.kobe_u.sugar.csp.LinearSum
 
getB() - Method in class jp.kobe_u.sugar.pb.PBExpr
 
getBooleanVariable() - Method in class jp.kobe_u.sugar.csp.BooleanLiteral
Returns the boolean variable of CSP.
getBooleanVariable(String) - Method in class jp.kobe_u.sugar.csp.CSP
Returns the boolean variable of the given name.
getBooleanVariables() - Method in class jp.kobe_u.sugar.csp.CSP
Returns the boolean variables.
getBooleanVariablesDelta() - Method in class jp.kobe_u.sugar.csp.CSP
 
getBound(IntegerVariable) - Method in class jp.kobe_u.sugar.csp.LinearEqLiteral
 
getBound(IntegerVariable) - Method in class jp.kobe_u.sugar.csp.LinearGeLiteral
 
getBound(IntegerVariable) - Method in class jp.kobe_u.sugar.csp.LinearLeLiteral
 
getBound(IntegerVariable) - Method in class jp.kobe_u.sugar.csp.LinearNeLiteral
 
getBound(IntegerVariable) - Method in class jp.kobe_u.sugar.csp.Literal
 
getClauses() - Method in class jp.kobe_u.sugar.csp.CSP
Returns the clauses.
getClausesDelta() - Method in class jp.kobe_u.sugar.csp.CSP
 
getCmp() - Method in class jp.kobe_u.sugar.csp.LinearLiteral
 
getCmp() - Method in class jp.kobe_u.sugar.pb.PBExpr
 
getCode() - Method in class jp.kobe_u.sugar.csp.BooleanLiteral
 
getCode() - Method in class jp.kobe_u.sugar.csp.BooleanVariable
Returns the code value in the encoded representation.
getCode() - Method in class jp.kobe_u.sugar.csp.IntegerVariable
Returns the code value in the encoded representation.
getCode() - Method in class jp.kobe_u.sugar.csp.LinearEqLiteral
 
getCode() - Method in class jp.kobe_u.sugar.csp.Literal
 
getCoef() - Method in class jp.kobe_u.sugar.csp.LinearSum
 
getComment() - Method in class jp.kobe_u.sugar.csp.BooleanVariable
Returns the comment set to the boolean variable.
getComment() - Method in class jp.kobe_u.sugar.csp.Clause
Returns the comment set to the clause.
getComment() - Method in class jp.kobe_u.sugar.csp.IntegerVariable
Returns the comment set to the integer variable.
getComment() - Method in class jp.kobe_u.sugar.expression.Expression
 
getCommonVariables() - Method in class jp.kobe_u.sugar.csp.Clause
 
getConflictBricks() - Method in class jp.kobe_u.sugar.csp.RelationLiteral
 
getDomain() - Method in class jp.kobe_u.sugar.csp.IntegerVariable
 
getDomain() - Method in class jp.kobe_u.sugar.csp.LinearSum
 
getDomainClauses() - Method in class jp.kobe_u.sugar.csp.IntegerVariable
 
getDomainExcept(IntegerVariable) - Method in class jp.kobe_u.sugar.csp.LinearSum
 
getEncoding() - Method in class jp.kobe_u.sugar.csp.IntegerVariable
 
getExpression() - Method in class jp.kobe_u.sugar.csp.HoldLiteral
 
getExpressions() - Method in class jp.kobe_u.sugar.expression.Sequence
 
getGroups() - Method in class jp.kobe_u.sugar.csp.CSP
 
getIntegerVariable(String) - Method in class jp.kobe_u.sugar.csp.CSP
Returns the integer variable of the given name.
getIntegerVariables() - Method in class jp.kobe_u.sugar.csp.CSP
Returns the integer variables.
getIntegerVariablesDelta() - Method in class jp.kobe_u.sugar.csp.CSP
 
getLabel() - Method in class jp.kobe_u.sugar.csp.LabelLiteral
 
getLargestDomainVariable() - Method in class jp.kobe_u.sugar.csp.LinearSum
 
getLB() - Method in class jp.kobe_u.sugar.pb.PBExpr
 
getLinearExpression() - Method in class jp.kobe_u.sugar.csp.LinearLeLiteral
Returns the linear expression of the comparison literal.
getLinearExpression() - Method in class jp.kobe_u.sugar.csp.LinearLiteral
Returns the linear expression of the comparison literal.
getLiterals() - Method in class jp.kobe_u.sugar.csp.Clause
Returns the literals of the clause.
getLowerBound() - Method in class jp.kobe_u.sugar.csp.IntegerDomain
 
getLowerBound() - Method in class jp.kobe_u.sugar.csp.IntegerDomainDiet
 
getLowerBound() - Method in class jp.kobe_u.sugar.csp.IntegerDomainIntervals
 
getName() - Method in class jp.kobe_u.sugar.csp.BooleanVariable
Returns the name of the boolean variable.
getName() - Method in class jp.kobe_u.sugar.csp.IntegerVariable
Returns the name of the integer variable.
getNegative() - Method in class jp.kobe_u.sugar.csp.BooleanLiteral
Returns the negative flag of the boolean literal.
getObjective() - Method in class jp.kobe_u.sugar.csp.CSP
Returns the objective.
getObjectiveVariables() - Method in class jp.kobe_u.sugar.csp.CSP
Returns the list of objective variables or null.
getRelation(String) - Method in class jp.kobe_u.sugar.csp.CSP
 
getRelations() - Method in class jp.kobe_u.sugar.csp.CSP
Returns the relations.
getSatClausesCount() - Method in class jp.kobe_u.sugar.encoder.Encoder
 
getSatFileSize() - Method in class jp.kobe_u.sugar.encoder.Encoder
 
getSatVariablesCount() - Method in class jp.kobe_u.sugar.encoder.Encoder
 
getSatVariablesSize() - Method in class jp.kobe_u.sugar.csp.BooleanVariable
 
getSatVariablesSize() - Method in class jp.kobe_u.sugar.csp.IntegerVariable
 
getTopWeight() - Method in class jp.kobe_u.sugar.csp.CSP
 
getUB() - Method in class jp.kobe_u.sugar.pb.PBExpr
 
getUpperBound() - Method in class jp.kobe_u.sugar.csp.IntegerDomain
 
getUpperBound() - Method in class jp.kobe_u.sugar.csp.IntegerDomainDiet
 
getUpperBound() - Method in class jp.kobe_u.sugar.csp.IntegerDomainIntervals
 
getValue() - Method in class jp.kobe_u.sugar.csp.BooleanVariable
Returns the value of the boolean variable.
getValue() - Method in class jp.kobe_u.sugar.csp.IntegerVariable
Returns the value of the integer variable.
getValue() - Method in class jp.kobe_u.sugar.csp.LinearSum
Returns the value of the linear expression.
getVariables() - Method in class jp.kobe_u.sugar.csp.HoldLiteral
 
getVariables() - Method in class jp.kobe_u.sugar.csp.LinearLiteral
 
getVariables() - Method in class jp.kobe_u.sugar.csp.LinearSum
 
getVariables() - Method in class jp.kobe_u.sugar.csp.Literal
 
getVariables() - Method in class jp.kobe_u.sugar.csp.PowerLiteral
 
getVariables() - Method in class jp.kobe_u.sugar.csp.ProductLiteral
 
getVariablesSorted() - Method in class jp.kobe_u.sugar.csp.LinearSum
 
getXs() - Method in class jp.kobe_u.sugar.pb.PBExpr
 
GLOBAL_CARDINALITY - Static variable in class jp.kobe_u.sugar.expression.Expression
 
global_cardinality(Expression, Expression) - Static method in class jp.kobe_u.sugar.expression.Expression
 
GLOBAL_CARDINALITY - Static variable in class jp.kobe_u.sugar.SugarConstants
 
GLOBAL_CARDINALITY_WITH_COSTS - Static variable in class jp.kobe_u.sugar.expression.Expression
 
global_cardinality_with_costs(Expression, Expression, Expression, Expression) - Static method in class jp.kobe_u.sugar.expression.Expression
 
global_cardinality_with_costs(Expression, Expression, Expression, int) - Static method in class jp.kobe_u.sugar.expression.Expression
 
GLOBAL_CARDINALITY_WITH_COSTS - Static variable in class jp.kobe_u.sugar.SugarConstants
 
globalConverter - Variable in class jp.kobe_u.sugar.converter.Converter
 
GlobalConverter - Class in jp.kobe_u.sugar.converter
 
GlobalConverter(Converter) - Constructor for class jp.kobe_u.sugar.converter.GlobalConverter
 
GROPUS_DEFINITION - Static variable in class jp.kobe_u.sugar.SugarConstants
 
groups - Variable in class jp.kobe_u.sugar.encoder.Problem
 
GROUPS_DEFINITION - Static variable in class jp.kobe_u.sugar.expression.Expression
 
GT - Static variable in class jp.kobe_u.sugar.expression.Expression
 
gt(Expression) - Method in class jp.kobe_u.sugar.expression.Expression
 
gt(int) - Method in class jp.kobe_u.sugar.expression.Expression
 
GT - Static variable in class jp.kobe_u.sugar.SugarConstants
 
GWCNF - Static variable in class jp.kobe_u.sugar.encoder.Problem
 

H

hashCode() - Method in class jp.kobe_u.sugar.csp.BooleanVariable
 
hashCode() - Method in class jp.kobe_u.sugar.csp.HoldLiteral
 
hashCode() - Method in class jp.kobe_u.sugar.csp.IntegerVariable
 
hashCode() - Method in class jp.kobe_u.sugar.csp.LabelLiteral
 
hashCode() - Method in class jp.kobe_u.sugar.csp.LinearLiteral
 
hashCode() - Method in class jp.kobe_u.sugar.csp.LinearSum
Returns the hash code of the linear expression.
hashCode() - Method in class jp.kobe_u.sugar.csp.ProductLiteral
 
hashCode() - Method in class jp.kobe_u.sugar.csp.RelationLiteral
 
hashCode() - Method in class jp.kobe_u.sugar.expression.Atom
 
hashCode() - Method in class jp.kobe_u.sugar.expression.Sequence
 
hashCode() - Method in class jp.kobe_u.sugar.XCSP.Domain
 
hashCode() - Method in class jp.kobe_u.sugar.XCSP.Predicate
 
hashCode() - Method in class jp.kobe_u.sugar.XCSP.Relation
 
hashCode() - Method in class jp.kobe_u.sugar.XCSP.Variable
 
HINT_ALLDIFF_PIGEON - Static variable in class jp.kobe_u.sugar.converter.Converter
 
HOLD - Static variable in class jp.kobe_u.sugar.expression.Expression
 
hold() - Method in class jp.kobe_u.sugar.expression.Expression
 
HOLD - Static variable in class jp.kobe_u.sugar.SugarConstants
 
HOLD_CONSTRAINTS - Static variable in class jp.kobe_u.sugar.converter.Converter
 
HoldLiteral - Class in jp.kobe_u.sugar.csp
This class implements a literal for constraints when they are not linearlized nor decomposed.
HoldLiteral(Expression, boolean) - Constructor for class jp.kobe_u.sugar.csp.HoldLiteral
 
hooks - Static variable in class jp.kobe_u.sugar.converter.Converter
 
HYBRID_OPTION - Static variable in class jp.kobe_u.sugar.hybrid.HybridConverter
 
HYBRID_PARAM - Static variable in class jp.kobe_u.sugar.hybrid.HybridConverter
 
HybridConverter - Class in jp.kobe_u.sugar.hybrid
 
HybridConverter(CSP) - Constructor for class jp.kobe_u.sugar.hybrid.HybridConverter
 
HybridEncoder - Class in jp.kobe_u.sugar.hybrid
 
HybridEncoder(CSP, PBProblem) - Constructor for class jp.kobe_u.sugar.hybrid.HybridEncoder
 

I

IF - Static variable in class jp.kobe_u.sugar.expression.Expression
 
IF - Static variable in class jp.kobe_u.sugar.SugarConstants
 
IFF - Static variable in class jp.kobe_u.sugar.expression.Expression
 
iff(Expression) - Method in class jp.kobe_u.sugar.expression.Expression
 
IFF - Static variable in class jp.kobe_u.sugar.SugarConstants
 
ifThenElse(Expression, Expression) - Method in class jp.kobe_u.sugar.expression.Expression
 
ifThenElse(int, Expression) - Method in class jp.kobe_u.sugar.expression.Expression
 
ifThenElse(Expression, int) - Method in class jp.kobe_u.sugar.expression.Expression
 
ifThenElse(int, int) - Method in class jp.kobe_u.sugar.expression.Expression
 
IMP - Static variable in class jp.kobe_u.sugar.expression.Expression
 
imp(Expression) - Method in class jp.kobe_u.sugar.expression.Expression
 
IMP - Static variable in class jp.kobe_u.sugar.SugarConstants
 
INCREMENTAL_PROPAGATION - Static variable in class jp.kobe_u.sugar.converter.Converter
 
info(String) - Static method in class jp.kobe_u.sugar.Logger
 
init() - Static method in class jp.kobe_u.sugar.SugarMain
 
INT_DEFINITION - Static variable in class jp.kobe_u.sugar.expression.Expression
 
INT_DEFINITION - Static variable in class jp.kobe_u.sugar.SugarConstants
 
IntegerDomain - Class in jp.kobe_u.sugar.csp
This is an abstract class of integer domains.
IntegerDomain() - Constructor for class jp.kobe_u.sugar.csp.IntegerDomain
 
IntegerDomainDiet - Class in jp.kobe_u.sugar.csp
This class implements an integer domain class.
IntegerDomainDiet() - Constructor for class jp.kobe_u.sugar.csp.IntegerDomainDiet
 
IntegerDomainDiet(int, int) - Constructor for class jp.kobe_u.sugar.csp.IntegerDomainDiet
 
IntegerDomainDiet(SortedSet<Integer>) - Constructor for class jp.kobe_u.sugar.csp.IntegerDomainDiet
 
IntegerDomainIntervals - Class in jp.kobe_u.sugar.csp
This class implements an integer domain class.
IntegerDomainIntervals(int, int) - Constructor for class jp.kobe_u.sugar.csp.IntegerDomainIntervals
 
IntegerDomainIntervals(SortedSet<Integer>) - Constructor for class jp.kobe_u.sugar.csp.IntegerDomainIntervals
 
IntegerDomainIntervals(IntegerDomainIntervals) - Constructor for class jp.kobe_u.sugar.csp.IntegerDomainIntervals
 
integerValue() - Method in class jp.kobe_u.sugar.expression.Atom
 
integerValue() - Method in class jp.kobe_u.sugar.expression.Expression
 
IntegerVariable - Class in jp.kobe_u.sugar.csp
This class implements an integer variable of CSP.
IntegerVariable(String, IntegerDomain) - Constructor for class jp.kobe_u.sugar.csp.IntegerVariable
 
IntegerVariable(IntegerDomain) - Constructor for class jp.kobe_u.sugar.csp.IntegerVariable
 
intern - Static variable in class jp.kobe_u.sugar.expression.Expression
 
intervals() - Method in class jp.kobe_u.sugar.csp.IntegerDomain
 
intervals() - Method in class jp.kobe_u.sugar.csp.IntegerDomainDiet
 
intervals() - Method in class jp.kobe_u.sugar.csp.IntegerDomainIntervals
 
isAtom() - Method in class jp.kobe_u.sugar.expression.Atom
 
isAtom() - Method in class jp.kobe_u.sugar.expression.Expression
 
isAux() - Method in class jp.kobe_u.sugar.csp.BooleanVariable
Returns true when the boolean variable is aux.
isAux() - Method in class jp.kobe_u.sugar.csp.IntegerVariable
Returns true when the integer variable is aux.
isBoolean() - Method in class jp.kobe_u.sugar.csp.IntegerVariable
 
isComparison(Expression) - Static method in class jp.kobe_u.sugar.expression.Expression
 
isDomainLargerThan(long) - Method in class jp.kobe_u.sugar.csp.LinearSum
 
isDomainLargerThanExcept(long, IntegerVariable) - Method in class jp.kobe_u.sugar.csp.LinearSum
 
isDomainLargerThanExcept(long) - Method in class jp.kobe_u.sugar.csp.LinearSum
 
isDominant() - Method in class jp.kobe_u.sugar.csp.BooleanVariable
 
isDominant() - Method in class jp.kobe_u.sugar.csp.IntegerVariable
 
isEmpty() - Method in class jp.kobe_u.sugar.csp.IntegerDomain
 
isEmpty() - Method in class jp.kobe_u.sugar.csp.IntegerDomainDiet
 
isGlobalConstraint(Expression) - Static method in class jp.kobe_u.sugar.expression.Expression
 
isInteger() - Method in class jp.kobe_u.sugar.expression.Atom
 
isInteger() - Method in class jp.kobe_u.sugar.expression.Expression
 
isIntegerVariable() - Method in class jp.kobe_u.sugar.csp.LinearSum
 
isLogical(Expression) - Static method in class jp.kobe_u.sugar.expression.Expression
 
isMaximize() - Method in class jp.kobe_u.sugar.csp.CSP
 
isMinimize() - Method in class jp.kobe_u.sugar.csp.CSP
 
isModified() - Method in class jp.kobe_u.sugar.csp.Clause
 
isModified() - Method in class jp.kobe_u.sugar.csp.IntegerVariable
 
isModified() - Method in class jp.kobe_u.sugar.csp.LinearSum
 
isNegative() - Method in class jp.kobe_u.sugar.csp.HoldLiteral
 
isOperator(Expression) - Static method in class jp.kobe_u.sugar.expression.Expression
 
isPbEncoding() - Method in class jp.kobe_u.sugar.csp.IntegerVariable
 
isSatisfied() - Method in class jp.kobe_u.sugar.csp.BooleanLiteral
 
isSatisfied() - Method in class jp.kobe_u.sugar.csp.Clause
Returns true when the clause is satisfied.
isSatisfied() - Method in class jp.kobe_u.sugar.csp.CSP
Returns true when the CSP is satisfied.
isSatisfied() - Method in class jp.kobe_u.sugar.csp.HoldLiteral
 
isSatisfied() - Method in class jp.kobe_u.sugar.csp.IntegerVariable
Returns true when the value is within the bounds.
isSatisfied() - Method in class jp.kobe_u.sugar.csp.LabelLiteral
 
isSatisfied() - Method in class jp.kobe_u.sugar.csp.LinearEqLiteral
 
isSatisfied() - Method in class jp.kobe_u.sugar.csp.LinearGeLiteral
 
isSatisfied() - Method in class jp.kobe_u.sugar.csp.LinearLeLiteral
 
isSatisfied() - Method in class jp.kobe_u.sugar.csp.LinearNeLiteral
 
isSatisfied() - Method in class jp.kobe_u.sugar.csp.Literal
Returns true when the literal is satisfied.
isSatisfied() - Method in class jp.kobe_u.sugar.csp.PowerLiteral
 
isSatisfied() - Method in class jp.kobe_u.sugar.csp.ProductLiteral
 
isSatisfied() - Method in class jp.kobe_u.sugar.csp.RelationLiteral
 
isSequence() - Method in class jp.kobe_u.sugar.expression.Expression
 
isSequence(Expression) - Method in class jp.kobe_u.sugar.expression.Expression
 
isSequence(int) - Method in class jp.kobe_u.sugar.expression.Expression
 
isSequence() - Method in class jp.kobe_u.sugar.expression.Sequence
 
isSequence(Expression) - Method in class jp.kobe_u.sugar.expression.Sequence
 
isSequence(int) - Method in class jp.kobe_u.sugar.expression.Sequence
 
isSimple() - Method in class jp.kobe_u.sugar.csp.BooleanLiteral
Always returns true since boolean literals are simple.
isSimple() - Method in class jp.kobe_u.sugar.csp.Clause
Returns true when the clause is simple.
isSimple() - Method in class jp.kobe_u.sugar.csp.HoldLiteral
 
isSimple() - Method in class jp.kobe_u.sugar.csp.LabelLiteral
 
isSimple() - Method in class jp.kobe_u.sugar.csp.LinearEqLiteral
 
isSimple() - Method in class jp.kobe_u.sugar.csp.LinearGeLiteral
 
isSimple() - Method in class jp.kobe_u.sugar.csp.LinearLeLiteral
Returns true when the linear expression is simple.
isSimple() - Method in class jp.kobe_u.sugar.csp.LinearNeLiteral
 
isSimple() - Method in class jp.kobe_u.sugar.csp.LinearSum
Returns true when the linear expression is simple.
isSimple() - Method in class jp.kobe_u.sugar.csp.Literal
Returns true when the literal is simple.
isSimple() - Method in class jp.kobe_u.sugar.csp.PowerLiteral
 
isSimple() - Method in class jp.kobe_u.sugar.csp.ProductLiteral
 
isSimple() - Method in class jp.kobe_u.sugar.csp.RelationLiteral
 
isString() - Method in class jp.kobe_u.sugar.expression.Atom
 
isString(String) - Method in class jp.kobe_u.sugar.expression.Atom
 
isString() - Method in class jp.kobe_u.sugar.expression.Expression
 
isString(String) - Method in class jp.kobe_u.sugar.expression.Expression
 
isUnsatisfiable() - Method in class jp.kobe_u.sugar.csp.BooleanLiteral
 
isUnsatisfiable() - Method in class jp.kobe_u.sugar.csp.Clause
 
isUnsatisfiable() - Method in class jp.kobe_u.sugar.csp.CSP
 
isUnsatisfiable() - Method in class jp.kobe_u.sugar.csp.HoldLiteral
 
isUnsatisfiable() - Method in class jp.kobe_u.sugar.csp.IntegerVariable
 
isUnsatisfiable() - Method in class jp.kobe_u.sugar.csp.LabelLiteral
 
isUnsatisfiable() - Method in class jp.kobe_u.sugar.csp.LinearEqLiteral
 
isUnsatisfiable() - Method in class jp.kobe_u.sugar.csp.LinearGeLiteral
 
isUnsatisfiable() - Method in class jp.kobe_u.sugar.csp.LinearLeLiteral
 
isUnsatisfiable() - Method in class jp.kobe_u.sugar.csp.LinearNeLiteral
 
isUnsatisfiable() - Method in class jp.kobe_u.sugar.csp.Literal
 
isUnsatisfiable() - Method in class jp.kobe_u.sugar.csp.PowerLiteral
 
isUnsatisfiable() - Method in class jp.kobe_u.sugar.csp.ProductLiteral
 
isUnsatisfiable() - Method in class jp.kobe_u.sugar.csp.RelationLiteral
 
isUnsatisfiable() - Method in class jp.kobe_u.sugar.pb.PBExpr
 
isValid() - Method in class jp.kobe_u.sugar.csp.BooleanLiteral
 
isValid() - Method in class jp.kobe_u.sugar.csp.Clause
 
isValid() - Method in class jp.kobe_u.sugar.csp.HoldLiteral
 
isValid() - Method in class jp.kobe_u.sugar.csp.LabelLiteral
 
isValid() - Method in class jp.kobe_u.sugar.csp.LinearEqLiteral
 
isValid() - Method in class jp.kobe_u.sugar.csp.LinearGeLiteral
 
isValid() - Method in class jp.kobe_u.sugar.csp.LinearLeLiteral
 
isValid() - Method in class jp.kobe_u.sugar.csp.LinearNeLiteral
 
isValid() - Method in class jp.kobe_u.sugar.csp.Literal
 
isValid() - Method in class jp.kobe_u.sugar.csp.PowerLiteral
 
isValid() - Method in class jp.kobe_u.sugar.csp.ProductLiteral
 
isValid() - Method in class jp.kobe_u.sugar.csp.RelationLiteral
 
isValid(int[]) - Method in class jp.kobe_u.sugar.encoder.Problem
 
isValid() - Method in class jp.kobe_u.sugar.pb.PBExpr
 

J

jp.kobe_u.sugar - package jp.kobe_u.sugar
 
jp.kobe_u.sugar.converter - package jp.kobe_u.sugar.converter
 
jp.kobe_u.sugar.csp - package jp.kobe_u.sugar.csp
 
jp.kobe_u.sugar.encoder - package jp.kobe_u.sugar.encoder
 
jp.kobe_u.sugar.expression - package jp.kobe_u.sugar.expression
 
jp.kobe_u.sugar.hook - package jp.kobe_u.sugar.hook
 
jp.kobe_u.sugar.hybrid - package jp.kobe_u.sugar.hybrid
 
jp.kobe_u.sugar.pb - package jp.kobe_u.sugar.pb
 

L

LABEL - Static variable in class jp.kobe_u.sugar.expression.Expression
 
LABEL - Static variable in class jp.kobe_u.sugar.SugarConstants
 
LabelLiteral - Class in jp.kobe_u.sugar.csp
This class implements a literal for representing labels of group-CNF/labelled-CNF.
LabelLiteral(int) - Constructor for class jp.kobe_u.sugar.csp.LabelLiteral
 
lb - Variable in class jp.kobe_u.sugar.csp.RelationLiteral.Brick
 
LE - Static variable in class jp.kobe_u.sugar.expression.Expression
 
le(Expression) - Method in class jp.kobe_u.sugar.expression.Expression
 
le(int) - Method in class jp.kobe_u.sugar.expression.Expression
 
LE - Static variable in class jp.kobe_u.sugar.SugarConstants
 
length() - Method in class jp.kobe_u.sugar.expression.Sequence
 
LEX_LESS - Static variable in class jp.kobe_u.sugar.expression.Expression
 
lex_less(Expression, Expression) - Static method in class jp.kobe_u.sugar.expression.Expression
 
LEX_LESS - Static variable in class jp.kobe_u.sugar.SugarConstants
 
LEX_LESSEQ - Static variable in class jp.kobe_u.sugar.expression.Expression
 
lex_lesseq(Expression, Expression) - Static method in class jp.kobe_u.sugar.expression.Expression
 
LEX_LESSEQ - Static variable in class jp.kobe_u.sugar.SugarConstants
 
LinearEqLiteral - Class in jp.kobe_u.sugar.csp
This class implements a comparison literal of CSP.
LinearEqLiteral(LinearSum) - Constructor for class jp.kobe_u.sugar.csp.LinearEqLiteral
Constructs a new comparison literal of given linear expression.
LinearGeLiteral - Class in jp.kobe_u.sugar.csp
This class implements a comparison literal of CSP.
LinearGeLiteral(LinearSum) - Constructor for class jp.kobe_u.sugar.csp.LinearGeLiteral
Constructs a new comparison literal of given linear expression.
LINEARIZE - Static variable in class jp.kobe_u.sugar.converter.Converter
 
LinearLeLiteral - Class in jp.kobe_u.sugar.csp
This class implements a comparison literal of CSP.
LinearLeLiteral(LinearSum) - Constructor for class jp.kobe_u.sugar.csp.LinearLeLiteral
Constructs a new comparison literal of given linear expression.
LinearLiteral - Class in jp.kobe_u.sugar.csp
This class implements a comparison literal of CSP.
LinearLiteral(LinearSum, String) - Constructor for class jp.kobe_u.sugar.csp.LinearLiteral
Constructs a new comparison literal of given linear expression.
LinearNeLiteral - Class in jp.kobe_u.sugar.csp
This class implements a comparison literal of CSP.
LinearNeLiteral(LinearSum) - Constructor for class jp.kobe_u.sugar.csp.LinearNeLiteral
Constructs a new comparison literal of given linear expression.
LinearSum - Class in jp.kobe_u.sugar.csp
A class for linear expressions.
LinearSum(int) - Constructor for class jp.kobe_u.sugar.csp.LinearSum
 
LinearSum(int, IntegerVariable, int) - Constructor for class jp.kobe_u.sugar.csp.LinearSum
 
LinearSum(IntegerVariable) - Constructor for class jp.kobe_u.sugar.csp.LinearSum
 
LinearSum(LinearSum) - Constructor for class jp.kobe_u.sugar.csp.LinearSum
 
Literal - Class in jp.kobe_u.sugar.csp
This is an abstract class for literals of CSP.
Literal() - Constructor for class jp.kobe_u.sugar.csp.Literal
 
load() - Method in class jp.kobe_u.sugar.XML2CSP
 
Logger - Class in jp.kobe_u.sugar
 
Logger() - Constructor for class jp.kobe_u.sugar.Logger
 
LT - Static variable in class jp.kobe_u.sugar.expression.Expression
 
lt(Expression) - Method in class jp.kobe_u.sugar.expression.Expression
 
lt(int) - Method in class jp.kobe_u.sugar.expression.Expression
 
LT - Static variable in class jp.kobe_u.sugar.SugarConstants
 

M

main(String[]) - Static method in class jp.kobe_u.sugar.csp.IntegerDomainDiet
 
main(String[]) - Static method in class jp.kobe_u.sugar.CSP2XML
Main program of CSP2XCSP.
main(String[]) - Static method in class jp.kobe_u.sugar.expression.Parser
Test main program for Parser class.
main(String[]) - Static method in class jp.kobe_u.sugar.SugarMain
 
main(String[]) - Static method in class jp.kobe_u.sugar.XML2CSP
Main program of XML2CSP.
matches(Expression) - Method in class jp.kobe_u.sugar.expression.Expression
 
matches(String) - Method in class jp.kobe_u.sugar.expression.Sequence
 
max(IntegerDomain) - Method in class jp.kobe_u.sugar.csp.IntegerDomain
 
max(IntegerDomain) - Method in class jp.kobe_u.sugar.csp.IntegerDomainDiet
 
max(IntegerDomainIntervals) - Method in class jp.kobe_u.sugar.csp.IntegerDomainIntervals
 
max(IntegerDomain) - Method in class jp.kobe_u.sugar.csp.IntegerDomainIntervals
 
MAX - Static variable in class jp.kobe_u.sugar.expression.Expression
 
max(Expression) - Method in class jp.kobe_u.sugar.expression.Expression
 
max(int) - Method in class jp.kobe_u.sugar.expression.Expression
 
MAX - Static variable in class jp.kobe_u.sugar.SugarConstants
 
MAX_ARITY - Static variable in class jp.kobe_u.sugar.converter.Converter
 
MAX_EQUIVMAP_SIZE - Static variable in class jp.kobe_u.sugar.converter.Converter
 
MAX_LINEARSUM_SIZE - Static variable in class jp.kobe_u.sugar.converter.Converter
 
MAX_MAP_SIZE - Static variable in class jp.kobe_u.sugar.expression.Expression
 
MAX_PB_SIZE - Static variable in class jp.kobe_u.sugar.pb.PBFileProblem
 
MAX_SAT_SIZE - Static variable in class jp.kobe_u.sugar.encoder.FileProblem
 
MAX_SET_SIZE - Static variable in class jp.kobe_u.sugar.csp.IntegerDomainDiet
 
MAX_SET_SIZE - Static variable in class jp.kobe_u.sugar.csp.IntegerDomainIntervals
 
MAX_SIMPLIFYCACHE_SIZE - Static variable in class jp.kobe_u.sugar.converter.Simplifier
 
MAX_VAREXPRMAP_SIZE - Static variable in class jp.kobe_u.sugar.pb.PBEncoder
 
MAXIMIZE - Static variable in class jp.kobe_u.sugar.expression.Expression
 
MAXIMIZE - Static variable in class jp.kobe_u.sugar.SugarConstants
 
min(IntegerDomain) - Method in class jp.kobe_u.sugar.csp.IntegerDomain
 
min(IntegerDomain) - Method in class jp.kobe_u.sugar.csp.IntegerDomainDiet
 
min(IntegerDomainIntervals) - Method in class jp.kobe_u.sugar.csp.IntegerDomainIntervals
 
min(IntegerDomain) - Method in class jp.kobe_u.sugar.csp.IntegerDomainIntervals
 
MIN - Static variable in class jp.kobe_u.sugar.expression.Expression
 
min(Expression) - Method in class jp.kobe_u.sugar.expression.Expression
 
min(int) - Method in class jp.kobe_u.sugar.expression.Expression
 
MIN - Static variable in class jp.kobe_u.sugar.SugarConstants
 
MINIMIZE - Static variable in class jp.kobe_u.sugar.expression.Expression
 
MINIMIZE - Static variable in class jp.kobe_u.sugar.SugarConstants
 
MIXED_BASE - Static variable in class jp.kobe_u.sugar.pb.PBEncoder
 
mod(IntegerDomain) - Method in class jp.kobe_u.sugar.csp.IntegerDomain
 
mod(IntegerDomain) - Method in class jp.kobe_u.sugar.csp.IntegerDomainDiet
 
mod(int) - Method in class jp.kobe_u.sugar.csp.IntegerDomainIntervals
 
mod(IntegerDomainIntervals) - Method in class jp.kobe_u.sugar.csp.IntegerDomainIntervals
 
mod(IntegerDomain) - Method in class jp.kobe_u.sugar.csp.IntegerDomainIntervals
 
MOD - Static variable in class jp.kobe_u.sugar.expression.Expression
 
mod(Expression) - Method in class jp.kobe_u.sugar.expression.Expression
 
mod(int) - Method in class jp.kobe_u.sugar.expression.Expression
 
MOD - Static variable in class jp.kobe_u.sugar.SugarConstants
 
mul(int) - Method in class jp.kobe_u.sugar.csp.IntegerDomain
 
mul(IntegerDomain) - Method in class jp.kobe_u.sugar.csp.IntegerDomain
 
mul(int) - Method in class jp.kobe_u.sugar.csp.IntegerDomainDiet
 
mul(IntegerDomain) - Method in class jp.kobe_u.sugar.csp.IntegerDomainDiet
 
mul(int) - Method in class jp.kobe_u.sugar.csp.IntegerDomainIntervals
 
mul(IntegerDomainIntervals) - Method in class jp.kobe_u.sugar.csp.IntegerDomainIntervals
 
mul(IntegerDomain) - Method in class jp.kobe_u.sugar.csp.IntegerDomainIntervals
 
MUL - Static variable in class jp.kobe_u.sugar.expression.Expression
 
mul(Expression) - Method in class jp.kobe_u.sugar.expression.Expression
 
mul(int) - Method in class jp.kobe_u.sugar.expression.Expression
 
MUL - Static variable in class jp.kobe_u.sugar.SugarConstants
 
multiply(int) - Method in class jp.kobe_u.sugar.csp.LinearSum
Multiplies the given constant.

N

name - Variable in class jp.kobe_u.sugar.csp.Predicate
 
name - Variable in class jp.kobe_u.sugar.csp.Relation
 
name - Variable in class jp.kobe_u.sugar.csp.RelationLiteral
 
NE - Static variable in class jp.kobe_u.sugar.expression.Expression
 
ne(Expression) - Method in class jp.kobe_u.sugar.expression.Expression
 
ne(int) - Method in class jp.kobe_u.sugar.expression.Expression
 
NE - Static variable in class jp.kobe_u.sugar.SugarConstants
 
neg() - Method in class jp.kobe_u.sugar.csp.BooleanLiteral
 
neg() - Method in class jp.kobe_u.sugar.csp.HoldLiteral
 
neg() - Method in class jp.kobe_u.sugar.csp.IntegerDomain
 
neg() - Method in class jp.kobe_u.sugar.csp.IntegerDomainDiet
 
neg() - Method in class jp.kobe_u.sugar.csp.IntegerDomainIntervals
 
neg() - Method in class jp.kobe_u.sugar.csp.LabelLiteral
 
neg() - Method in class jp.kobe_u.sugar.csp.LinearEqLiteral
 
neg() - Method in class jp.kobe_u.sugar.csp.LinearGeLiteral
 
neg() - Method in class jp.kobe_u.sugar.csp.LinearLeLiteral
 
neg() - Method in class jp.kobe_u.sugar.csp.LinearNeLiteral
 
neg() - Method in class jp.kobe_u.sugar.csp.Literal
 
neg() - Method in class jp.kobe_u.sugar.csp.PowerLiteral
 
neg() - Method in class jp.kobe_u.sugar.csp.ProductLiteral
 
neg() - Method in class jp.kobe_u.sugar.csp.RelationLiteral
 
NEG - Static variable in class jp.kobe_u.sugar.expression.Expression
 
neg() - Method in class jp.kobe_u.sugar.expression.Expression
 
NEG - Static variable in class jp.kobe_u.sugar.SugarConstants
 
negateCode(int) - Method in class jp.kobe_u.sugar.encoder.AbstractEncoder
 
negateCode(int) - Method in class jp.kobe_u.sugar.hybrid.HybridEncoder
 
negative - Variable in class jp.kobe_u.sugar.csp.RelationLiteral
 
newIntegerVariable(IntegerDomain, Expression) - Method in class jp.kobe_u.sugar.converter.Converter
 
NIL - Static variable in class jp.kobe_u.sugar.expression.Expression
 
NIL - Static variable in class jp.kobe_u.sugar.SugarConstants
 
NORMALIZE_LINEARSUM - Static variable in class jp.kobe_u.sugar.converter.Converter
 
normalizeClause(int[]) - Method in class jp.kobe_u.sugar.encoder.Problem
 
NOT - Static variable in class jp.kobe_u.sugar.expression.Expression
 
not() - Method in class jp.kobe_u.sugar.expression.Expression
 
NOT - Static variable in class jp.kobe_u.sugar.SugarConstants
 
NVALUE - Static variable in class jp.kobe_u.sugar.expression.Expression
 
nvalue(Expression, Expression) - Static method in class jp.kobe_u.sugar.expression.Expression
 
nvalue(int, Expression) - Static method in class jp.kobe_u.sugar.expression.Expression
 
NVALUE - Static variable in class jp.kobe_u.sugar.SugarConstants
 

O

OBJECTIVE_DEFINITION - Static variable in class jp.kobe_u.sugar.expression.Expression
 
OBJECTIVE_DEFINITION - Static variable in class jp.kobe_u.sugar.SugarConstants
 
ONE - Static variable in class jp.kobe_u.sugar.csp.LinearSum
 
ONE - Static variable in class jp.kobe_u.sugar.expression.Expression
 
open() - Method in class jp.kobe_u.sugar.encoder.FileProblem
 
open() - Method in class jp.kobe_u.sugar.pb.PBFileProblem
 
OPT_PEEPHOLE - Static variable in class jp.kobe_u.sugar.converter.Converter
 
OPT_PEEPHOLE_ABS - Static variable in class jp.kobe_u.sugar.converter.Converter
 
OR - Static variable in class jp.kobe_u.sugar.expression.Expression
 
or(Expression) - Method in class jp.kobe_u.sugar.expression.Expression
 
OR - Static variable in class jp.kobe_u.sugar.SugarConstants
 
OrderEncoder - Class in jp.kobe_u.sugar.encoder
 
OrderEncoder(CSP, Problem) - Constructor for class jp.kobe_u.sugar.encoder.OrderEncoder
 
output(PrintStream, String) - Method in class jp.kobe_u.sugar.csp.CSP
 
Output - Class in jp.kobe_u.sugar
 
Output() - Constructor for class jp.kobe_u.sugar.Output
 
output() - Method in class jp.kobe_u.sugar.Output
 
output() - Method in interface jp.kobe_u.sugar.OutputInterface
 
output() - Method in class jp.kobe_u.sugar.OutputSMT
 
Output.Format - Enum in jp.kobe_u.sugar
 
outputBody() - Method in class jp.kobe_u.sugar.OutputSMT
 
outputCSP(String, String, String, String) - Method in class jp.kobe_u.sugar.SugarMain
 
OutputInterface - Interface in jp.kobe_u.sugar
 
outputMap(String) - Method in class jp.kobe_u.sugar.encoder.AbstractEncoder
 
outputMap(String) - Method in class jp.kobe_u.sugar.encoder.Encoder
 
outputMap(String) - Method in class jp.kobe_u.sugar.hybrid.HybridEncoder
 
outputMap(String) - Method in class jp.kobe_u.sugar.pb.PBEncoder
 
outputPost() - Method in class jp.kobe_u.sugar.OutputSMT
 
OutputSMT - Class in jp.kobe_u.sugar
 
OutputSMT() - Constructor for class jp.kobe_u.sugar.OutputSMT
 
OutputSMT.Format - Enum in jp.kobe_u.sugar
 
outputValues(PrintStream) - Method in class jp.kobe_u.sugar.csp.CSP
 

P

params - Variable in class jp.kobe_u.sugar.csp.Predicate
 
paramsMap - Variable in class jp.kobe_u.sugar.csp.Predicate
 
parse() - Method in class jp.kobe_u.sugar.expression.Parser
 
parse(String) - Method in class jp.kobe_u.sugar.SugarMain
 
parseCSP() - Method in class jp.kobe_u.sugar.expression.Parser
Parses the input and returns a list of expressions.
parseProlog() - Method in class jp.kobe_u.sugar.expression.Parser
Parses the input in Prolog format and returns a list of expressions.
Parser - Class in jp.kobe_u.sugar.expression
The Parser class parses an input and constructs a list of expressions.
Parser(BufferedReader, boolean) - Constructor for class jp.kobe_u.sugar.expression.Parser
Constructs a new parser.
Parser(BufferedReader) - Constructor for class jp.kobe_u.sugar.expression.Parser
 
PB_BUFFER_SIZE - Static variable in class jp.kobe_u.sugar.pb.PBFileProblem
 
PBEncoder - Class in jp.kobe_u.sugar.pb
 
PBEncoder(CSP, PBProblem, PBEncoder.Encoding) - Constructor for class jp.kobe_u.sugar.pb.PBEncoder
 
PBEncoder.Encoding - Enum in jp.kobe_u.sugar.pb
 
PBExpr - Class in jp.kobe_u.sugar.pb
 
PBExpr() - Constructor for class jp.kobe_u.sugar.pb.PBExpr
 
PBFileProblem - Class in jp.kobe_u.sugar.pb
 
PBFileProblem(String) - Constructor for class jp.kobe_u.sugar.pb.PBFileProblem
 
PBProblem - Class in jp.kobe_u.sugar.pb
 
PBProblem() - Constructor for class jp.kobe_u.sugar.pb.PBProblem
 
pow(int) - Method in class jp.kobe_u.sugar.csp.IntegerDomainIntervals
 
POW - Static variable in class jp.kobe_u.sugar.expression.Expression
 
POW - Static variable in class jp.kobe_u.sugar.SugarConstants
 
PowerLiteral - Class in jp.kobe_u.sugar.csp
NOT IMPLEMENTED YET.
PowerLiteral() - Constructor for class jp.kobe_u.sugar.csp.PowerLiteral
 
PRAGMA - Static variable in class jp.kobe_u.sugar.SugarConstants
 
PRAGMA_DOMINANT - Static variable in class jp.kobe_u.sugar.encoder.FileProblem
 
Predicate - Class in jp.kobe_u.sugar.csp
Predicate class.
Predicate(Sequence, Expression) - Constructor for class jp.kobe_u.sugar.csp.Predicate
 
Predicate(String, String, String) - Constructor for class jp.kobe_u.sugar.XCSP.Predicate
 
PREDICATE_DEFINITION - Static variable in class jp.kobe_u.sugar.expression.Expression
 
PREDICATE_DEFINITION - Static variable in class jp.kobe_u.sugar.SugarConstants
 
predicates - Variable in class jp.kobe_u.sugar.XCSP
 
print(String) - Static method in class jp.kobe_u.sugar.Logger
 
println(String) - Static method in class jp.kobe_u.sugar.Logger
 
problem - Variable in class jp.kobe_u.sugar.encoder.AbstractEncoder
 
Problem - Class in jp.kobe_u.sugar.encoder
 
Problem() - Constructor for class jp.kobe_u.sugar.encoder.Problem
 
problem - Variable in class jp.kobe_u.sugar.hybrid.HybridEncoder
 
problem - Variable in class jp.kobe_u.sugar.pb.PBEncoder
 
ProductLiteral - Class in jp.kobe_u.sugar.csp
NOT IMPLEMENTED YET.
ProductLiteral(IntegerVariable, IntegerVariable, IntegerVariable) - Constructor for class jp.kobe_u.sugar.csp.ProductLiteral
 
propagate() - Method in class jp.kobe_u.sugar.csp.BooleanLiteral
 
propagate() - Method in class jp.kobe_u.sugar.csp.Clause
 
propagate() - Method in class jp.kobe_u.sugar.csp.CSP
 
propagate() - Method in class jp.kobe_u.sugar.csp.HoldLiteral
 
propagate() - Method in class jp.kobe_u.sugar.csp.LabelLiteral
 
propagate() - Method in class jp.kobe_u.sugar.csp.LinearEqLiteral
 
propagate() - Method in class jp.kobe_u.sugar.csp.LinearGeLiteral
 
propagate() - Method in class jp.kobe_u.sugar.csp.LinearLeLiteral
 
propagate() - Method in class jp.kobe_u.sugar.csp.LinearNeLiteral
 
propagate() - Method in class jp.kobe_u.sugar.csp.Literal
 
propagate() - Method in class jp.kobe_u.sugar.csp.PowerLiteral
 
propagate() - Method in class jp.kobe_u.sugar.csp.ProductLiteral
 
propagate() - Method in class jp.kobe_u.sugar.csp.RelationLiteral
 

R

reduce(Clause) - Method in class jp.kobe_u.sugar.converter.Converter
 
REDUCE_ARITY - Static variable in class jp.kobe_u.sugar.converter.Converter
 
reduceAll() - Method in class jp.kobe_u.sugar.converter.Converter
 
reduceArity(LinearLiteral) - Method in class jp.kobe_u.sugar.converter.ComparisonConverter
 
Relation - Class in jp.kobe_u.sugar.csp
Relation class.
Relation(String, int, Sequence) - Constructor for class jp.kobe_u.sugar.csp.Relation
 
Relation(String, int, int, String, String) - Constructor for class jp.kobe_u.sugar.XCSP.Relation
 
RELATION_DEFINITION - Static variable in class jp.kobe_u.sugar.expression.Expression
 
RELATION_DEFINITION - Static variable in class jp.kobe_u.sugar.SugarConstants
 
RelationLiteral - Class in jp.kobe_u.sugar.csp
This class implements a literal for relations.
RelationLiteral(String, int, boolean, boolean, int[][], IntegerVariable[]) - Constructor for class jp.kobe_u.sugar.csp.RelationLiteral
 
RelationLiteral.Brick - Class in jp.kobe_u.sugar.csp
 
relations - Variable in class jp.kobe_u.sugar.XCSP
 
relax(int) - Method in class jp.kobe_u.sugar.pb.PBExpr
 
removeFalsefood() - Method in class jp.kobe_u.sugar.csp.Clause
 
REPLACE_ARGUMENTS - Static variable in class jp.kobe_u.sugar.converter.Converter
 

S

SAT_BUFFER_SIZE - Static variable in class jp.kobe_u.sugar.encoder.FileProblem
 
satSizeLE(long) - Method in class jp.kobe_u.sugar.csp.LinearSum
 
Sequence - Class in jp.kobe_u.sugar.expression
This class implements sequence expressions.
Sequence(Expression[]) - Constructor for class jp.kobe_u.sugar.expression.Sequence
 
Sequence(Collection<Expression>) - Constructor for class jp.kobe_u.sugar.expression.Sequence
 
setA(int, IntegerVariable) - Method in class jp.kobe_u.sugar.csp.LinearSum
 
setB(int) - Method in class jp.kobe_u.sugar.csp.LinearSum
 
setB(int) - Method in class jp.kobe_u.sugar.pb.PBExpr
 
setClauses(List<Clause>) - Method in class jp.kobe_u.sugar.csp.CSP
 
setCmp(String) - Method in class jp.kobe_u.sugar.pb.PBExpr
 
setCode(int) - Method in class jp.kobe_u.sugar.csp.BooleanVariable
Sets the code value in the encoded representation.
setCode(int) - Method in class jp.kobe_u.sugar.csp.IntegerVariable
Sets the code value in the encoded representation.
setComment(String) - Method in class jp.kobe_u.sugar.csp.BooleanVariable
Sets the comment to the boolean variable.
setComment(String) - Method in class jp.kobe_u.sugar.csp.Clause
Sets the comment to the clause.
setComment(String) - Method in class jp.kobe_u.sugar.csp.IntegerVariable
Sets the comment to the integer variable.
setComment(String) - Method in class jp.kobe_u.sugar.expression.Expression
 
setCSP(CSP) - Method in class jp.kobe_u.sugar.Output
 
setCSP(CSP) - Method in interface jp.kobe_u.sugar.OutputInterface
 
setCSP(CSP) - Method in class jp.kobe_u.sugar.OutputSMT
 
setDecomposeAll(boolean) - Static method in class jp.kobe_u.sugar.converter.Converter
 
setDefaultOptions() - Static method in class jp.kobe_u.sugar.SugarMain
 
setDominant(boolean) - Method in class jp.kobe_u.sugar.csp.BooleanVariable
 
setDominant(boolean) - Method in class jp.kobe_u.sugar.csp.IntegerVariable
 
setEncoding(Encoding) - Method in class jp.kobe_u.sugar.csp.IntegerVariable
 
setFormat(Output.Format) - Method in class jp.kobe_u.sugar.Output
 
setFormat(String) - Method in class jp.kobe_u.sugar.Output
 
setFormat(String) - Method in interface jp.kobe_u.sugar.OutputInterface
 
setFormat(OutputSMT.Format) - Method in class jp.kobe_u.sugar.OutputSMT
 
setFormat(String) - Method in class jp.kobe_u.sugar.OutputSMT
 
setGroups(int) - Method in class jp.kobe_u.sugar.csp.CSP
 
setGroups(int, int) - Method in class jp.kobe_u.sugar.encoder.Problem
 
setModified(boolean) - Method in class jp.kobe_u.sugar.csp.IntegerVariable
 
setObjective(CSP.Objective) - Method in class jp.kobe_u.sugar.csp.CSP
 
setObjectiveVariables(List<IntegerVariable>) - Method in class jp.kobe_u.sugar.csp.CSP
 
setOut(PrintWriter) - Method in class jp.kobe_u.sugar.Output
 
setOut(PrintWriter) - Method in interface jp.kobe_u.sugar.OutputInterface
 
setOut(PrintWriter) - Method in class jp.kobe_u.sugar.OutputSMT
 
setTopWeight(int) - Method in class jp.kobe_u.sugar.csp.CSP
 
setValue(boolean) - Method in class jp.kobe_u.sugar.csp.BooleanVariable
Sets the value of the boolean variable.
setValue(int) - Method in class jp.kobe_u.sugar.csp.IntegerVariable
Sets the value of the integer variable.
simpleSize() - Method in class jp.kobe_u.sugar.csp.Clause
 
Simplifier - Class in jp.kobe_u.sugar.converter
 
Simplifier(CSP) - Constructor for class jp.kobe_u.sugar.converter.Simplifier
 
simplify() - Method in class jp.kobe_u.sugar.converter.Simplifier
 
size() - Method in class jp.kobe_u.sugar.csp.Clause
 
size() - Method in class jp.kobe_u.sugar.csp.IntegerDomain
 
size() - Method in class jp.kobe_u.sugar.csp.IntegerDomainDiet
 
size() - Method in class jp.kobe_u.sugar.csp.IntegerDomainIntervals
 
size() - Method in class jp.kobe_u.sugar.csp.LinearSum
Returns the size of the linear expression.
size() - Method in class jp.kobe_u.sugar.pb.PBExpr
 
sizeLE(int) - Method in class jp.kobe_u.sugar.csp.IntegerDomain
 
sizeLE(int) - Method in class jp.kobe_u.sugar.csp.IntegerDomainDiet
 
sizeLE(int) - Method in class jp.kobe_u.sugar.csp.IntegerDomainIntervals
 
split(int) - Method in class jp.kobe_u.sugar.csp.LinearSum
 
splitPbPart() - Method in class jp.kobe_u.sugar.csp.LinearSum
 
SPLITS - Static variable in class jp.kobe_u.sugar.converter.Converter
 
status() - Static method in class jp.kobe_u.sugar.Logger
 
stringValue() - Method in class jp.kobe_u.sugar.expression.Atom
 
stringValue() - Method in class jp.kobe_u.sugar.expression.Expression
 
sub(IntegerDomain) - Method in class jp.kobe_u.sugar.csp.IntegerDomain
 
sub(IntegerDomain) - Method in class jp.kobe_u.sugar.csp.IntegerDomainDiet
 
sub(IntegerDomainIntervals) - Method in class jp.kobe_u.sugar.csp.IntegerDomainIntervals
 
sub(IntegerDomain) - Method in class jp.kobe_u.sugar.csp.IntegerDomainIntervals
 
SUB - Static variable in class jp.kobe_u.sugar.expression.Expression
 
sub(Expression) - Method in class jp.kobe_u.sugar.expression.Expression
 
sub(int) - Method in class jp.kobe_u.sugar.expression.Expression
 
SUB - Static variable in class jp.kobe_u.sugar.SugarConstants
 
subtract(LinearSum) - Method in class jp.kobe_u.sugar.csp.LinearSum
Subtracts the given linear expression.
SugarConstants - Class in jp.kobe_u.sugar
SugarConstants defines string constants of CSP symbols.
SugarConstants() - Constructor for class jp.kobe_u.sugar.SugarConstants
 
SugarException - Exception in jp.kobe_u.sugar
SugarException class.
SugarException(String) - Constructor for exception jp.kobe_u.sugar.SugarException
Constructs a SugarException object.
SugarException(String, Exception) - Constructor for exception jp.kobe_u.sugar.SugarException
Constructs a SugarException object.
SugarMain - Class in jp.kobe_u.sugar
SugarMain main class.
SugarMain() - Constructor for class jp.kobe_u.sugar.SugarMain
 
summary() - Method in class jp.kobe_u.sugar.csp.CSP
 
summary() - Method in class jp.kobe_u.sugar.encoder.Encoder
 
summary() - Method in class jp.kobe_u.sugar.encoder.Problem
 
summary() - Method in class jp.kobe_u.sugar.pb.PBProblem
 
SUPPORTS - Static variable in class jp.kobe_u.sugar.expression.Expression
 
SUPPORTS - Static variable in class jp.kobe_u.sugar.SugarConstants
 
syntaxError(String) - Method in class jp.kobe_u.sugar.converter.Converter
 
syntaxError(Expression) - Method in class jp.kobe_u.sugar.converter.Converter
 

T

toExpression() - Method in class jp.kobe_u.sugar.csp.LinearSum
 
toIntegerVariable(Expression) - Method in class jp.kobe_u.sugar.converter.Converter
 
topWeight - Variable in class jp.kobe_u.sugar.encoder.Problem
 
toString() - Method in class jp.kobe_u.sugar.csp.BooleanLiteral
Returns the string representation of the boolean literal.
toString() - Method in class jp.kobe_u.sugar.csp.BooleanVariable
Returns the string representation of the boolean variable.
toString() - Method in class jp.kobe_u.sugar.csp.Clause
Returns the string representation of the clause.
toString() - Method in class jp.kobe_u.sugar.csp.CSP
Returns the string representation of the CSP.
toString() - Method in class jp.kobe_u.sugar.csp.HoldLiteral
 
toString() - Method in class jp.kobe_u.sugar.csp.IntegerDomain
 
toString() - Method in class jp.kobe_u.sugar.csp.IntegerVariable
Returns the string representation of the integer variable.
toString() - Method in class jp.kobe_u.sugar.csp.LabelLiteral
 
toString() - Method in class jp.kobe_u.sugar.csp.LinearLiteral
Returns the string representation of the comparison literal.
toString() - Method in class jp.kobe_u.sugar.csp.LinearSum
 
toString() - Method in class jp.kobe_u.sugar.csp.PowerLiteral
 
toString() - Method in class jp.kobe_u.sugar.csp.Predicate
 
toString() - Method in class jp.kobe_u.sugar.csp.ProductLiteral
 
toString() - Method in class jp.kobe_u.sugar.csp.Relation
 
toString() - Method in class jp.kobe_u.sugar.csp.RelationLiteral.Brick
 
toString() - Method in class jp.kobe_u.sugar.csp.RelationLiteral
 
toString() - Method in class jp.kobe_u.sugar.expression.Atom
 
toString() - Method in class jp.kobe_u.sugar.expression.Sequence
 
toString() - Method in class jp.kobe_u.sugar.pb.PBExpr
 
toString() - Method in class jp.kobe_u.sugar.XCSP.Domain
 
toString() - Method in class jp.kobe_u.sugar.XCSP.Predicate
 
toString() - Method in class jp.kobe_u.sugar.XCSP.Relation
 
toString() - Method in class jp.kobe_u.sugar.XCSP.Variable
 
toString0() - Method in class jp.kobe_u.sugar.csp.LinearSum
Returns the string representation of the linear expression.
translate(String) - Method in class jp.kobe_u.sugar.SugarMain
 
TRUE - Static variable in class jp.kobe_u.sugar.expression.Expression
 
TRUE - Static variable in class jp.kobe_u.sugar.SugarConstants
 
TRUE_CODE - Static variable in class jp.kobe_u.sugar.encoder.Problem
 
tuples - Variable in class jp.kobe_u.sugar.csp.Relation
 
tuples - Variable in class jp.kobe_u.sugar.csp.RelationLiteral
 

U

ub - Variable in class jp.kobe_u.sugar.csp.RelationLiteral.Brick
 
update() - Method in class jp.kobe_u.sugar.encoder.FileProblem
 
update() - Method in class jp.kobe_u.sugar.pb.PBFileProblem
 
USE_DIET_DOMAIN - Static variable in class jp.kobe_u.sugar.csp.IntegerDomain
 
USE_EQ - Static variable in class jp.kobe_u.sugar.converter.Converter
 
USE_NEWIO - Static variable in class jp.kobe_u.sugar.encoder.FileProblem
 
USE_PMINIMAL - Static variable in class jp.kobe_u.sugar.hybrid.HybridConverter
 
USE_SIMPLIFYCACHE - Static variable in class jp.kobe_u.sugar.converter.Simplifier
 

V

value(BitSet) - Method in class jp.kobe_u.sugar.pb.PBExpr
 
valueOf(String) - Static method in enum jp.kobe_u.sugar.csp.CSP.Objective
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum jp.kobe_u.sugar.encoder.Encoding
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum jp.kobe_u.sugar.Output.Format
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum jp.kobe_u.sugar.OutputSMT.Format
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum jp.kobe_u.sugar.pb.PBEncoder.Encoding
Returns the enum constant of this type with the specified name.
values() - Static method in enum jp.kobe_u.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.kobe_u.sugar.csp.IntegerDomain
 
values() - Method in class jp.kobe_u.sugar.csp.IntegerDomain
 
values() - Method in class jp.kobe_u.sugar.csp.IntegerDomainDiet
 
values(int, int) - Method in class jp.kobe_u.sugar.csp.IntegerDomainDiet
 
values(int, int) - Method in class jp.kobe_u.sugar.csp.IntegerDomainIntervals
 
values() - Method in class jp.kobe_u.sugar.csp.IntegerDomainIntervals
 
values() - Static method in enum jp.kobe_u.sugar.encoder.Encoding
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum jp.kobe_u.sugar.Output.Format
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum jp.kobe_u.sugar.OutputSMT.Format
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum jp.kobe_u.sugar.pb.PBEncoder.Encoding
Returns an array containing the constants of this enum type, in the order they are declared.
Variable(String, String) - Constructor for class jp.kobe_u.sugar.XCSP.Variable
 
variables - Variable in class jp.kobe_u.sugar.XCSP
 
variablesCount - Variable in class jp.kobe_u.sugar.encoder.Problem
 
variablesCount - Variable in class jp.kobe_u.sugar.pb.PBProblem
 
verboseLevel - Static variable in class jp.kobe_u.sugar.Logger
 
vs - Variable in class jp.kobe_u.sugar.csp.RelationLiteral
 

W

WEIGHTED - Static variable in class jp.kobe_u.sugar.expression.Expression
 
WEIGHTED - Static variable in class jp.kobe_u.sugar.SugarConstants
 
WEIGHTEDSUM - Static variable in class jp.kobe_u.sugar.expression.Expression
 
weightedsum(Expression, Expression, Expression) - Static method in class jp.kobe_u.sugar.expression.Expression
 
weightedsum(Expression, Expression, int) - Static method in class jp.kobe_u.sugar.expression.Expression
 
WEIGHTEDSUM - Static variable in class jp.kobe_u.sugar.SugarConstants
 
write(byte[]) - Method in class jp.kobe_u.sugar.encoder.FileProblem
 
write(String) - Method in class jp.kobe_u.sugar.encoder.FileProblem
 
write(byte[]) - Method in class jp.kobe_u.sugar.pb.PBFileProblem
 
write(String) - Method in class jp.kobe_u.sugar.pb.PBFileProblem
 
WSUM - Static variable in class jp.kobe_u.sugar.SugarConstants
 

X

XCSP - Class in jp.kobe_u.sugar
NOT IMPLEMENTED.
XCSP() - Constructor for class jp.kobe_u.sugar.XCSP
 
XCSP.Constraint - Class in jp.kobe_u.sugar
 
XCSP.Domain - Class in jp.kobe_u.sugar
 
XCSP.Predicate - Class in jp.kobe_u.sugar
 
XCSP.Relation - Class in jp.kobe_u.sugar
 
XCSP.Variable - Class in jp.kobe_u.sugar
 
XML2CSP - Class in jp.kobe_u.sugar
XML2CSP converts files in XCSP 2 format into CSP format.
XML2CSP(String, String) - Constructor for class jp.kobe_u.sugar.XML2CSP
Constructs a XCSP to CSP converter.
XOR - Static variable in class jp.kobe_u.sugar.expression.Expression
 
xor(Expression) - Method in class jp.kobe_u.sugar.expression.Expression
 
XOR - Static variable in class jp.kobe_u.sugar.SugarConstants
 

Z

ZERO - Static variable in class jp.kobe_u.sugar.csp.LinearSum
 
ZERO - Static variable in class jp.kobe_u.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 
Skip navigation links
Sugar version 2.3.3 Core API Specification

Sugar: A SAT-based Constraint Solver