Package org.xcsp.modeler.implementation
Class ProblemIMP3
- java.lang.Object
-
- org.xcsp.modeler.implementation.ProblemIMP
-
- org.xcsp.modeler.implementation.ProblemIMP3
-
public class ProblemIMP3 extends ProblemIMP
-
-
Nested Class Summary
Nested Classes Modifier and Type Class Description static class
ProblemIMP3.MVariable
-
Nested classes/interfaces inherited from class org.xcsp.modeler.implementation.ProblemIMP
ProblemIMP.Annotations, ProblemIMP.Converter
-
-
Field Summary
Fields Modifier and Type Field Description Map<String,ProblemIMP3.MVariable>
mapForVars
A map that gives access to each variable through its id.-
Fields inherited from class org.xcsp.modeler.implementation.ProblemIMP
annotations, api, argsForPb, ctrEntities, modelVariant, objEntities, parameters, stackLoops, varEntities
-
-
Constructor Summary
Constructors Constructor Description ProblemIMP3(ProblemAPI api, String modelVariant, String data, String dataFormat, boolean dataSaving, String[] argsForPb)
-
Method Summary
-
Methods inherited from class org.xcsp.modeler.implementation.ProblemIMP
addParameter, addParameter, ask, askBoolean, askBoolean, askDouble, askDouble, askDouble, askDouble, askDouble, askInt, askInt, askInt, askInt, askInt, askInt, askInt, askInt, askString, askString, buildInternClassObject, clean, conjunction, control, decisionVariables, different, disjunction, distinct, distinctSorted, dummyConstraint, equal, executeMethod, extension, extensionDisjunction, fileScanner, fill, fill, fill, fill, fill, fill, fill, fill, forall, forall, forall, forall, forall, forall, formattedPbParameters, greaterEqual, greaterThan, indentAndCompressXmlUnderLinux, intervalAsString, lessEqual, lessThan, loadData, manageLoop, mustBeIgnored, name, problemDataFields, save, scope, searchMethod, setDataValues, trimParameter, typeFramework, variableNameSuffixFor, vars, vars
-
-
-
-
Field Detail
-
mapForVars
public final Map<String,ProblemIMP3.MVariable> mapForVars
A map that gives access to each variable through its id.
-
-
Constructor Detail
-
ProblemIMP3
public ProblemIMP3(ProblemAPI api, String modelVariant, String data, String dataFormat, boolean dataSaving, String[] argsForPb)
-
-
Method Detail
-
classVI
public Class<ProblemIMP3.MVariable.MVarInteger> classVI()
- Specified by:
classVI
in classProblemIMP
-
classVS
public Class<ProblemIMP3.MVariable.MVarSymbolic> classVS()
- Specified by:
classVS
in classProblemIMP
-
addVar
public final ProblemIMP3.MVariable addVar(ProblemIMP3.MVariable x)
Adds a variable that has already be built. Should not be called directly when modeling.
-
buildVarInteger
public ProblemIMP3.MVariable.MVarInteger buildVarInteger(String id, Domains.Dom dom)
Description copied from class:ProblemIMP
Managing Variables- Specified by:
buildVarInteger
in classProblemIMP
-
buildVarSymbolic
public ProblemIMP3.MVariable.MVarSymbolic buildVarSymbolic(String id, Domains.DomSymbolic dom)
- Specified by:
buildVarSymbolic
in classProblemIMP
-
post
public CtrEntities.CtrAlone post(ICtr c)
-
intension
public CtrEntities.CtrEntity intension(XNodeParent<IVar> tree)
- Specified by:
intension
in classProblemIMP
-
getConverter
protected ProblemIMP.Converter getConverter()
- Specified by:
getConverter
in classProblemIMP
-
extension
public CtrEntities.CtrAlone extension(IVar.Var[] list, int[][] tuples, boolean positive)
- Specified by:
extension
in classProblemIMP
-
extension
public CtrEntities.CtrAlone extension(IVar.VarSymbolic[] list, String[][] tuples, boolean positive)
- Specified by:
extension
in classProblemIMP
-
extension
public CtrEntities.CtrAlone extension(IVar.Var[] scp, AbstractTuple[] tuples, boolean positive)
- Specified by:
extension
in classProblemIMP
-
regular
public CtrEntities.CtrAlone regular(IVar.Var[] list, Automaton automaton)
- Specified by:
regular
in classProblemIMP
-
mdd
public CtrEntities.CtrAlone mdd(IVar.Var[] list, Transition[] transitions)
- Specified by:
mdd
in classProblemIMP
-
allDifferent
public CtrEntities.CtrEntity allDifferent(IVar.Var[] list)
- Specified by:
allDifferent
in classProblemIMP
-
allDifferent
public CtrEntities.CtrEntity allDifferent(IVar.VarSymbolic[] list)
- Specified by:
allDifferent
in classProblemIMP
-
allDifferent
public CtrEntities.CtrEntity allDifferent(IVar.Var[] list, int[] exceptValues)
- Specified by:
allDifferent
in classProblemIMP
-
allDifferentList
public CtrEntities.CtrEntity allDifferentList(IVar.Var[]... lists)
- Specified by:
allDifferentList
in classProblemIMP
-
allDifferentList
public CtrEntities.CtrEntity allDifferentList(IVar.Var[][] lists, int[][] except)
- Specified by:
allDifferentList
in classProblemIMP
-
allDifferentMatrix
public CtrEntities.CtrEntity allDifferentMatrix(IVar.Var[][] matrix)
- Specified by:
allDifferentMatrix
in classProblemIMP
-
allDifferent
public CtrEntities.CtrEntity allDifferent(XNode<IVar>[] trees)
- Specified by:
allDifferent
in classProblemIMP
-
allEqual
public CtrEntities.CtrEntity allEqual(IVar.Var... list)
- Specified by:
allEqual
in classProblemIMP
-
allEqual
public CtrEntities.CtrEntity allEqual(IVar.VarSymbolic... list)
- Specified by:
allEqual
in classProblemIMP
-
allEqualList
public CtrEntities.CtrEntity allEqualList(IVar.Var[]... lists)
- Specified by:
allEqualList
in classProblemIMP
-
ordered
public CtrEntities.CtrEntity ordered(IVar.Var[] list, int[] lengths, Types.TypeOperatorRel operator)
- Specified by:
ordered
in classProblemIMP
-
ordered
public CtrEntities.CtrEntity ordered(IVar.Var[] list, IVar.Var[] lengths, Types.TypeOperatorRel operator)
- Specified by:
ordered
in classProblemIMP
-
lex
public CtrEntities.CtrEntity lex(IVar.Var[][] lists, Types.TypeOperatorRel operator)
- Specified by:
lex
in classProblemIMP
-
lexMatrix
public CtrEntities.CtrEntity lexMatrix(IVar.Var[][] matrix, Types.TypeOperatorRel operator)
- Specified by:
lexMatrix
in classProblemIMP
-
precedence
public CtrEntities.CtrEntity precedence(IVar.Var[] list, int[] values, boolean covered)
- Specified by:
precedence
in classProblemIMP
-
sum
public CtrEntities.CtrEntity sum(IVar.Var[] list, int[] coeffs, Condition condition)
- Specified by:
sum
in classProblemIMP
-
sum
public CtrEntities.CtrEntity sum(IVar.Var[] list, IVar.Var[] coeffs, Condition condition)
- Specified by:
sum
in classProblemIMP
-
sum
public CtrEntities.CtrEntity sum(XNode<IVar>[] trees, int[] coeffs, Condition condition)
- Specified by:
sum
in classProblemIMP
-
count
public CtrEntities.CtrEntity count(IVar.Var[] list, int[] values, Condition condition)
- Specified by:
count
in classProblemIMP
-
count
public CtrEntities.CtrEntity count(IVar.Var[] list, IVar.Var[] values, Condition condition)
- Specified by:
count
in classProblemIMP
-
nValues
public CtrEntities.CtrEntity nValues(IVar.Var[] list, Condition condition)
- Specified by:
nValues
in classProblemIMP
-
nValues
public CtrEntities.CtrEntity nValues(IVar.Var[] list, Condition condition, int[] exceptValues)
- Specified by:
nValues
in classProblemIMP
-
cardinality
public CtrEntities.CtrEntity cardinality(IVar.Var[] list, int[] values, boolean mustBeClosed, int[] occurs)
- Specified by:
cardinality
in classProblemIMP
-
cardinality
public CtrEntities.CtrEntity cardinality(IVar.Var[] list, int[] values, boolean mustBeClosed, IVar.Var[] occurs)
- Specified by:
cardinality
in classProblemIMP
-
cardinality
public CtrEntities.CtrEntity cardinality(IVar.Var[] list, int[] values, boolean mustBeClosed, int[] minOccurs, int[] maxOccurs)
- Specified by:
cardinality
in classProblemIMP
-
cardinality
public CtrEntities.CtrEntity cardinality(IVar.Var[] list, IVar.Var[] values, boolean mustBeClosed, int[] occurs)
- Specified by:
cardinality
in classProblemIMP
-
cardinality
public CtrEntities.CtrEntity cardinality(IVar.Var[] list, IVar.Var[] values, boolean mustBeClosed, IVar.Var[] occurs)
- Specified by:
cardinality
in classProblemIMP
-
cardinality
public CtrEntities.CtrEntity cardinality(IVar.Var[] list, IVar.Var[] values, boolean mustBeClosed, int[] minOccurs, int[] maxOccurs)
- Specified by:
cardinality
in classProblemIMP
-
maximum
public CtrEntities.CtrEntity maximum(IVar.Var[] list, Condition condition)
- Specified by:
maximum
in classProblemIMP
-
maximum
public CtrEntities.CtrEntity maximum(IVar.Var[] list, int startIndex, IVar.Var index, Types.TypeRank rank)
- Specified by:
maximum
in classProblemIMP
-
maximum
public CtrEntities.CtrEntity maximum(IVar.Var[] list, int startIndex, IVar.Var index, Types.TypeRank rank, Condition condition)
- Specified by:
maximum
in classProblemIMP
-
maximum
public CtrEntities.CtrEntity maximum(XNode<IVar>[] trees, Condition condition)
- Specified by:
maximum
in classProblemIMP
-
minimum
public CtrEntities.CtrEntity minimum(IVar.Var[] list, Condition condition)
- Specified by:
minimum
in classProblemIMP
-
minimum
public CtrEntities.CtrEntity minimum(IVar.Var[] list, int startIndex, IVar.Var index, Types.TypeRank rank)
- Specified by:
minimum
in classProblemIMP
-
minimum
public CtrEntities.CtrEntity minimum(IVar.Var[] list, int startIndex, IVar.Var index, Types.TypeRank rank, Condition condition)
- Specified by:
minimum
in classProblemIMP
-
minimum
public CtrEntities.CtrEntity minimum(XNode<IVar>[] trees, Condition condition)
- Specified by:
minimum
in classProblemIMP
-
element
public CtrEntities.CtrEntity element(IVar.Var[] list, Condition condition)
- Specified by:
element
in classProblemIMP
-
element
public CtrEntities.CtrEntity element(IVar.Var[] list, int startIndex, IVar.Var index, Types.TypeRank rank, Condition condition)
- Specified by:
element
in classProblemIMP
-
element
public CtrEntities.CtrEntity element(int[] list, int startIndex, IVar.Var index, Types.TypeRank rank, Condition condition)
- Specified by:
element
in classProblemIMP
-
element
public CtrEntities.CtrEntity element(int[][] matrix, int startRowIndex, IVar.Var rowIndex, int startColIndex, IVar.Var colIndex, Condition condition)
- Specified by:
element
in classProblemIMP
-
channel
public CtrEntities.CtrEntity channel(IVar.Var[] list, int startIndex)
- Specified by:
channel
in classProblemIMP
-
channel
public CtrEntities.CtrEntity channel(IVar.Var[] list1, int startIndex1, IVar.Var[] list2, int startIndex2)
- Specified by:
channel
in classProblemIMP
-
channel
public CtrEntities.CtrEntity channel(IVar.Var[] list, int startIndex, IVar.Var value)
- Specified by:
channel
in classProblemIMP
-
stretch
public CtrEntities.CtrEntity stretch(IVar.Var[] list, int[] values, int[] widthsMin, int[] widthsMax, int[][] patterns)
- Specified by:
stretch
in classProblemIMP
-
noOverlap
public CtrEntities.CtrEntity noOverlap(IVar.Var[] origins, int[] lengths, boolean zeroIgnored)
- Specified by:
noOverlap
in classProblemIMP
-
noOverlap
public CtrEntities.CtrEntity noOverlap(IVar.Var[] origins, IVar.Var[] lengths, boolean zeroIgnored)
- Specified by:
noOverlap
in classProblemIMP
-
noOverlap
public CtrEntities.CtrEntity noOverlap(IVar.Var[][] origins, int[][] lengths, boolean zeroIgnored)
- Specified by:
noOverlap
in classProblemIMP
-
noOverlap
public CtrEntities.CtrEntity noOverlap(IVar.Var[][] origins, IVar.Var[][] lengths, boolean zeroIgnored)
- Specified by:
noOverlap
in classProblemIMP
-
cumulative
public final CtrEntities.CtrEntity cumulative(IVar.Var[] origins, int[] lengths, IVar.Var[] ends, int[] heights, Condition condition)
- Specified by:
cumulative
in classProblemIMP
-
cumulative
public final CtrEntities.CtrEntity cumulative(IVar.Var[] origins, IVar.Var[] lengths, IVar.Var[] ends, int[] heights, Condition condition)
- Specified by:
cumulative
in classProblemIMP
-
cumulative
public final CtrEntities.CtrEntity cumulative(IVar.Var[] origins, int[] lengths, IVar.Var[] ends, IVar.Var[] heights, Condition condition)
- Specified by:
cumulative
in classProblemIMP
-
cumulative
public final CtrEntities.CtrEntity cumulative(IVar.Var[] origins, IVar.Var[] lengths, IVar.Var[] ends, IVar.Var[] heights, Condition condition)
- Specified by:
cumulative
in classProblemIMP
-
circuit
public CtrEntities.CtrEntity circuit(IVar.Var[] list, int startIndex)
- Specified by:
circuit
in classProblemIMP
-
circuit
public CtrEntities.CtrEntity circuit(IVar.Var[] list, int startIndex, int size)
- Specified by:
circuit
in classProblemIMP
-
circuit
public CtrEntities.CtrEntity circuit(IVar.Var[] list, int startIndex, IVar.Var size)
- Specified by:
circuit
in classProblemIMP
-
clause
public CtrEntities.CtrEntity clause(IVar.Var[] list, Boolean[] phases)
- Specified by:
clause
in classProblemIMP
-
instantiation
public CtrEntities.CtrEntity instantiation(IVar.Var[] list, int[] values)
- Specified by:
instantiation
in classProblemIMP
-
slide
public CtrEntities.CtrEntity slide(IVar[] list, Range range, java.util.function.IntFunction<CtrEntities.CtrEntity> template)
- Specified by:
slide
in classProblemIMP
-
ifThen
public final CtrEntities.CtrEntity ifThen(CtrEntities.CtrEntity c1, CtrEntities.CtrEntity c2)
- Specified by:
ifThen
in classProblemIMP
-
ifThenElse
public final CtrEntities.CtrEntity ifThenElse(CtrEntities.CtrEntity c1, CtrEntities.CtrEntity c2, CtrEntities.CtrEntity c3)
- Specified by:
ifThenElse
in classProblemIMP
-
postObj
public ObjEntities.ObjEntity postObj(IObj o)
-
minimize
public final ObjEntities.ObjEntity minimize(IVar x)
- Specified by:
minimize
in classProblemIMP
-
maximize
public final ObjEntities.ObjEntity maximize(IVar x)
- Specified by:
maximize
in classProblemIMP
-
minimize
public final ObjEntities.ObjEntity minimize(XNode<IVar> tree)
- Specified by:
minimize
in classProblemIMP
-
maximize
public final ObjEntities.ObjEntity maximize(XNode<IVar> tree)
- Specified by:
maximize
in classProblemIMP
-
minimize
public final ObjEntities.ObjEntity minimize(Types.TypeObjective type, IVar[] list)
- Specified by:
minimize
in classProblemIMP
-
maximize
public final ObjEntities.ObjEntity maximize(Types.TypeObjective type, IVar[] list)
- Specified by:
maximize
in classProblemIMP
-
minimize
public final ObjEntities.ObjEntity minimize(Types.TypeObjective type, IVar[] list, int[] coeffs)
- Specified by:
minimize
in classProblemIMP
-
maximize
public final ObjEntities.ObjEntity maximize(Types.TypeObjective type, IVar[] list, int[] coeffs)
- Specified by:
maximize
in classProblemIMP
-
minimize
public ObjEntities.ObjEntity minimize(Types.TypeObjective type, XNode<IVar>[] trees)
- Specified by:
minimize
in classProblemIMP
-
minimize
public ObjEntities.ObjEntity minimize(Types.TypeObjective type, XNode<IVar>[] trees, int[] coeffs)
- Specified by:
minimize
in classProblemIMP
-
maximize
public ObjEntities.ObjEntity maximize(Types.TypeObjective type, XNode<IVar>[] trees)
- Specified by:
maximize
in classProblemIMP
-
maximize
public ObjEntities.ObjEntity maximize(Types.TypeObjective type, XNode<IVar>[] trees, int[] coeffs)
- Specified by:
maximize
in classProblemIMP
-
-