- 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
-
- 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
-