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 Methodsstatic String
EV
static String
FOR
static String
FORMAT
Constantsstatic String
IC
static String
ID
protected boolean
ignoreAutomaticGroups
protected ProblemIMP
imp
Fields and Constructorstatic 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
All Methods Static Methods Instance Methods Concrete Methods Modifier and Type Method Description protected Element
annotations()
Managing Annotationsprotected 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 Objectivesprotected void
putInMap(IVar x, Map<IVar,String> map)
protected Element
variables()
-
-
-
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
-
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()
-
variables
protected Element variables()
-
constraints
protected Element constraints()
-
objectives
protected Element objectives()
Managing Objectives
-
annotations
protected Element annotations()
Managing Annotations
-
main
public static void main(String[] args)
-
-