public class Converter
extends java.lang.Object
Expression
,
CSP
Modifier and Type | Method and Description |
---|---|
static void |
addHook(ConverterHook hook) |
void |
checkArity(Expression x,
int arity) |
void |
convert(Expression x) |
void |
convert(java.util.List<Expression> expressions) |
void |
convertAtom(Expression x,
boolean negative,
java.util.List<Clause> clauses) |
Expression |
convertComparison(Sequence seq,
boolean negative,
java.util.List<Clause> clauses) |
void |
convertExpression(Expression x) |
LinearSum |
convertFormula(Expression x) |
Expression |
convertGlobal(Sequence seq,
boolean negative,
java.util.List<Clause> clauses) |
Expression |
convertHold(Expression x) |
Expression |
convertLogical(Sequence seq,
boolean negative,
java.util.List<Clause> clauses) |
IntegerVariable |
newIntegerVariable(IntegerDomain d,
Expression x) |
Clause |
reduce(Clause clause) |
void |
reduceAll() |
static void |
setDecomposeAll(boolean flag) |
void |
syntaxError(Expression x) |
void |
syntaxError(java.lang.String s) |
IntegerVariable |
toIntegerVariable(Expression x) |
public static int MAX_EQUIVMAP_SIZE
public static long MAX_LINEARSUM_SIZE
public static boolean OPT_PEEPHOLE
public static boolean OPT_PEEPHOLE_ABS
public static boolean HINT_ALLDIFF_PIGEON
public static boolean INCREMENTAL_PROPAGATION
public static boolean LINEARIZE
public static boolean NORMALIZE_LINEARSUM
public static boolean DECOMPOSE_RELATION
public static boolean DECOMPOSE_ALLDIFFERENT
public static boolean DECOMPOSE_WEIGHTEDSUM
public static boolean DECOMPOSE_CUMULATIVE
public static boolean DECOMPOSE_ELEMENT
public static boolean DECOMPOSE_DISJUNCTIVE
public static boolean DECOMPOSE_LEX_LESS
public static boolean DECOMPOSE_LEX_LESSEQ
public static boolean DECOMPOSE_NVALUE
public static boolean DECOMPOSE_COUNT
public static boolean DECOMPOSE_GLOBAL_CARDINALITY
public static boolean DECOMPOSE_GLOBAL_CARDINALITY_WITH_COSTS
public static boolean REPLACE_ARGUMENTS
public static boolean REDUCE_ARITY
public static int MAX_ARITY
public static int SPLITS
public static boolean USE_EQ
public static boolean EQUIV_TRANSLATION
public static boolean ESTIMATE_SATSIZE
public static boolean ADD_GROUP_ID
public static boolean HOLD_CONSTRAINTS
public static java.util.List<ConverterHook> hooks
public CSP csp
public DefinitionConverter definitionConverter
public ComparisonConverter comparisonConverter
public GlobalConverter globalConverter
public ExpressionOptimizer expressionOptimizer
public Converter(CSP csp)
public static void setDecomposeAll(boolean flag)
public static void addHook(ConverterHook hook)
public void syntaxError(java.lang.String s) throws SugarException
SugarException
public void syntaxError(Expression x) throws SugarException
SugarException
public void checkArity(Expression x, int arity) throws SugarException
SugarException
public LinearSum convertFormula(Expression x) throws SugarException
SugarException
public IntegerVariable newIntegerVariable(IntegerDomain d, Expression x) throws SugarException
SugarException
public IntegerVariable toIntegerVariable(Expression x) throws SugarException
SugarException
public void convertAtom(Expression x, boolean negative, java.util.List<Clause> clauses) throws SugarException
SugarException
public Expression convertLogical(Sequence seq, boolean negative, java.util.List<Clause> clauses) throws SugarException
SugarException
public Expression convertComparison(Sequence seq, boolean negative, java.util.List<Clause> clauses) throws SugarException
SugarException
public Expression convertGlobal(Sequence seq, boolean negative, java.util.List<Clause> clauses) throws SugarException
SugarException
public Expression convertHold(Expression x) throws SugarException
SugarException
public void convertExpression(Expression x) throws SugarException
SugarException
public void convert(Expression x) throws SugarException
SugarException
public void convert(java.util.List<Expression> expressions) throws SugarException
SugarException
public Clause reduce(Clause clause) throws SugarException
SugarException
public void reduceAll() throws SugarException
SugarException