jp.kobe_u.sugar.converter

Class Converter

java.lang.Object

jp.kobe_u.sugar.converter.Converter

public class Converter
extends java.lang.Object

Converter class is used to convert input expressions to a CSP.

See Also:

Expression, CSP

Field Summary

Fields

Modifier and Type	Field and Description
static boolean	ADD_GROUP_ID
ComparisonConverter	comparisonConverter
CSP	csp
static boolean	DECOMPOSE_ALLDIFFERENT
static boolean	DECOMPOSE_COUNT
static boolean	DECOMPOSE_CUMULATIVE
static boolean	DECOMPOSE_DISJUNCTIVE
static boolean	DECOMPOSE_ELEMENT
static boolean	DECOMPOSE_GLOBAL_CARDINALITY
static boolean	DECOMPOSE_GLOBAL_CARDINALITY_WITH_COSTS
static boolean	DECOMPOSE_LEX_LESS
static boolean	DECOMPOSE_LEX_LESSEQ
static boolean	DECOMPOSE_NVALUE
static boolean	DECOMPOSE_RELATION
static boolean	DECOMPOSE_WEIGHTEDSUM
DefinitionConverter	definitionConverter
static boolean	EQUIV_TRANSLATION
static boolean	ESTIMATE_SATSIZE
ExpressionOptimizer	expressionOptimizer
GlobalConverter	globalConverter
static boolean	HINT_ALLDIFF_PIGEON
static boolean	HOLD_CONSTRAINTS
static java.util.List<ConverterHook>	hooks
static boolean	INCREMENTAL_PROPAGATION
static boolean	LINEARIZE
static int	MAX_ARITY
static int	MAX_EQUIVMAP_SIZE
static long	MAX_LINEARSUM_SIZE
static boolean	NORMALIZE_LINEARSUM
static boolean	OPT_PEEPHOLE
static boolean	OPT_PEEPHOLE_ABS
static boolean	REDUCE_ARITY
static boolean	REPLACE_ARGUMENTS
static int	SPLITS
static boolean	USE_EQ

Constructor Summary

Constructors

Constructor and Description
Converter(CSP csp)

Method Summary

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)

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

MAX_EQUIVMAP_SIZE

public static int MAX_EQUIVMAP_SIZE

MAX_LINEARSUM_SIZE

public static long MAX_LINEARSUM_SIZE

OPT_PEEPHOLE

public static boolean OPT_PEEPHOLE

OPT_PEEPHOLE_ABS

public static boolean OPT_PEEPHOLE_ABS

HINT_ALLDIFF_PIGEON

public static boolean HINT_ALLDIFF_PIGEON

INCREMENTAL_PROPAGATION

public static boolean INCREMENTAL_PROPAGATION

LINEARIZE

public static boolean LINEARIZE

NORMALIZE_LINEARSUM

public static boolean NORMALIZE_LINEARSUM

DECOMPOSE_RELATION

public static boolean DECOMPOSE_RELATION

DECOMPOSE_ALLDIFFERENT

public static boolean DECOMPOSE_ALLDIFFERENT

DECOMPOSE_WEIGHTEDSUM

public static boolean DECOMPOSE_WEIGHTEDSUM

DECOMPOSE_CUMULATIVE

public static boolean DECOMPOSE_CUMULATIVE

DECOMPOSE_ELEMENT

public static boolean DECOMPOSE_ELEMENT

DECOMPOSE_DISJUNCTIVE

public static boolean DECOMPOSE_DISJUNCTIVE

DECOMPOSE_LEX_LESS

public static boolean DECOMPOSE_LEX_LESS

DECOMPOSE_LEX_LESSEQ

public static boolean DECOMPOSE_LEX_LESSEQ

DECOMPOSE_NVALUE

public static boolean DECOMPOSE_NVALUE

DECOMPOSE_COUNT

public static boolean DECOMPOSE_COUNT

DECOMPOSE_GLOBAL_CARDINALITY

public static boolean DECOMPOSE_GLOBAL_CARDINALITY

DECOMPOSE_GLOBAL_CARDINALITY_WITH_COSTS

public static boolean DECOMPOSE_GLOBAL_CARDINALITY_WITH_COSTS

REPLACE_ARGUMENTS

public static boolean REPLACE_ARGUMENTS

REDUCE_ARITY

public static boolean REDUCE_ARITY

MAX_ARITY

public static int MAX_ARITY

SPLITS

public static int SPLITS

USE_EQ

public static boolean USE_EQ

EQUIV_TRANSLATION

public static boolean EQUIV_TRANSLATION

ESTIMATE_SATSIZE

public static boolean ESTIMATE_SATSIZE

ADD_GROUP_ID

public static boolean ADD_GROUP_ID

HOLD_CONSTRAINTS

public static boolean HOLD_CONSTRAINTS

hooks

public static java.util.List<ConverterHook> hooks

csp

public CSP csp

definitionConverter

public DefinitionConverter definitionConverter

comparisonConverter

public ComparisonConverter comparisonConverter

globalConverter

public GlobalConverter globalConverter

expressionOptimizer

public ExpressionOptimizer expressionOptimizer

Constructor Detail

Converter

public Converter(CSP csp)

Method Detail

setDecomposeAll

public static void setDecomposeAll(boolean flag)

addHook

public static void addHook(ConverterHook hook)

syntaxError

public void syntaxError(java.lang.String s)
                 throws SugarException

Throws:

SugarException

syntaxError

public void syntaxError(Expression x)
                 throws SugarException

Throws:

SugarException

checkArity

public void checkArity(Expression x,
                       int arity)
                throws SugarException

Throws:

SugarException

convertFormula

public LinearSum convertFormula(Expression x)
                         throws SugarException

Throws:

SugarException

newIntegerVariable

public IntegerVariable newIntegerVariable(IntegerDomain d,
                                          Expression x)
                                   throws SugarException

Throws:

SugarException

toIntegerVariable

public IntegerVariable toIntegerVariable(Expression x)
                                  throws SugarException

Throws:

SugarException

convertAtom

public void convertAtom(Expression x,
                        boolean negative,
                        java.util.List<Clause> clauses)
                 throws SugarException

Throws:

SugarException

convertLogical

public Expression convertLogical(Sequence seq,
                                 boolean negative,
                                 java.util.List<Clause> clauses)
                          throws SugarException

Throws:

SugarException

convertComparison

public Expression convertComparison(Sequence seq,
                                    boolean negative,
                                    java.util.List<Clause> clauses)
                             throws SugarException

Throws:

SugarException

convertGlobal

public Expression convertGlobal(Sequence seq,
                                boolean negative,
                                java.util.List<Clause> clauses)
                         throws SugarException

Throws:

SugarException

convertHold

public Expression convertHold(Expression x)
                       throws SugarException

Throws:

SugarException

convertExpression

public void convertExpression(Expression x)
                       throws SugarException

Throws:

SugarException

convert

public void convert(Expression x)
             throws SugarException

Throws:

SugarException

convert

public void convert(java.util.List<Expression> expressions)
             throws SugarException

Throws:

SugarException

reduce

public Clause reduce(Clause clause)
              throws SugarException

Throws:

SugarException

reduceAll

public void reduceAll()
               throws SugarException

Throws:

SugarException