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