Package org.xcsp.modeler

Class Compiler

java.lang.Object

org.xcsp.modeler.Compiler

public class Compiler
extends Object

Field Summary

Fields

Modifier and Type	Field	Description
static String	AS
static String	CIRCULAR
static String	CLASS
static String	COLLECT
static String	CONFLICTS
static String	DATA
static String	DATA_EXPORT
static String	DATA_FORMAT
protected boolean	discardAsRelation
protected boolean	discardIntegerType
protected Document	doc
protected boolean	doubleAbstraction
static boolean	ev	Static Fields and Methods
static String	EV
static String	FOR
static String	FORMAT	Constants
static String	IC
static String	ID
protected boolean	ignoreAutomaticGroups
protected ProblemIMP	imp	Fields and Constructor
static int	LIMIT_FOR_VAR_ARGS
protected int	limitForUsingAs
protected boolean	monoformGroups
static String	MUST_CANONIZE
protected int	nBuiltTuplesReferents
static String	NOTE
static String	OFFSET
static String	OUTPUT
protected boolean	printNotes
protected boolean	saveImmediatelyStored
static String	SUPPORTS
protected Map<String,Element>	tuplesReferents
static String	TYPE
static String	VAR_ARGS
static String	VARIANT
static String	VIOLATION_COST
static String	VIOLATION_MEASURE
static String	XCSP3

Constructor Summary

Constructors

Constructor	Description
Compiler(ProblemAPI api)	Builds an object that allow us to generate XCSP3 instances from the specified MCSP3 model.

Method Summary

Modifier and Type	Method	Description
protected Element	annotations()	Managing Annotations
protected List<Element>	buildChilds(Element parent, List<ICtr> ctrs)
protected Document	buildDocument()
static Document	buildDocument(String[] args)
protected Element	constraints()
protected void	handleCtr(Element parent, ICtr c)
static void	main(String[] args)
protected Element	objectives()	Managing Objectives
protected void	putInMap(IVar x, Map<IVar,String> map)
protected Element	variables()

Methods inherited from class java.lang.Object

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

Field Detail

FORMAT

public static final String FORMAT

Constants

XCSP3

public static final String XCSP3

See Also:

Constant Field Values

TYPE

public static final String TYPE

ID

public static final String ID

CLASS

public static final String CLASS

NOTE

public static final String NOTE

AS

public static final String AS

FOR

public static final String FOR

CIRCULAR

public static final String CIRCULAR

OFFSET

public static final String OFFSET

COLLECT

public static final String COLLECT

VIOLATION_COST

public static final String VIOLATION_COST

VIOLATION_MEASURE

public static final String VIOLATION_MEASURE

SUPPORTS

public static final String SUPPORTS

CONFLICTS

public static final String CONFLICTS

VAR_ARGS

public static final String VAR_ARGS

See Also:

Constant Field Values

LIMIT_FOR_VAR_ARGS

public static final int LIMIT_FOR_VAR_ARGS

See Also:

Constant Field Values

VARIANT

public static final String VARIANT

See Also:

Constant Field Values

DATA

public static final String DATA

See Also:

Constant Field Values

DATA_FORMAT

public static final String DATA_FORMAT

See Also:

Constant Field Values

DATA_EXPORT

public static final String DATA_EXPORT

See Also:

Constant Field Values

OUTPUT

public static final String OUTPUT

See Also:

Constant Field Values

EV

public static final String EV

See Also:

Constant Field Values

MUST_CANONIZE

public static final String MUST_CANONIZE

See Also:

Constant Field Values

IC

public static final String IC

See Also:

Constant Field Values

imp

protected final ProblemIMP imp

Fields and Constructor

doc

protected Document doc

tuplesReferents

protected Map<String,Element> tuplesReferents

nBuiltTuplesReferents

protected int nBuiltTuplesReferents

limitForUsingAs

protected int limitForUsingAs

discardIntegerType

protected boolean discardIntegerType

discardAsRelation

protected boolean discardAsRelation

printNotes

protected boolean printNotes

doubleAbstraction

protected boolean doubleAbstraction

saveImmediatelyStored

protected boolean saveImmediatelyStored

ignoreAutomaticGroups

protected boolean ignoreAutomaticGroups

monoformGroups

protected boolean monoformGroups

ev

public static boolean ev

Static Fields and Methods

Constructor Detail

Compiler

public Compiler(ProblemAPI api)

Builds an object that allow us to generate XCSP3 instances from the specified MCSP3 model. Data are expected to be provided at the command line.

Parameters:

api - the object denoting the model of the problem

Method Detail

buildDocument

protected Document buildDocument()

putInMap

protected void putInMap(IVar x,
                        Map<IVar,String> map)

variables

protected Element variables()

handleCtr

protected void handleCtr(Element parent,
                         ICtr c)

buildChilds

protected List<Element> buildChilds(Element parent,
                                    List<ICtr> ctrs)

constraints

protected Element constraints()

objectives

protected Element objectives()

Managing Objectives

annotations

protected Element annotations()

Managing Annotations

buildDocument

public static Document buildDocument(String[] args)

main

public static void main(String[] args)