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

Modifier and Type	Method	Description
ProblemIMP3.MVariable	addVar(ProblemIMP3.MVariable x)	Adds a variable that has already be built.
CtrEntities.CtrEntity	allDifferent(IVar.Var[] list)
CtrEntities.CtrEntity	allDifferent(IVar.Var[] list, int[] exceptValues)
CtrEntities.CtrEntity	allDifferent(IVar.VarSymbolic[] list)
CtrEntities.CtrEntity	allDifferent(XNode<IVar>[] trees)
CtrEntities.CtrEntity	allDifferentList(IVar.Var[]... lists)
CtrEntities.CtrEntity	allDifferentList(IVar.Var[][] lists, int[][] except)
CtrEntities.CtrEntity	allDifferentMatrix(IVar.Var[][] matrix)
CtrEntities.CtrEntity	allEqual(IVar.Var... list)
CtrEntities.CtrEntity	allEqual(IVar.VarSymbolic... list)
CtrEntities.CtrEntity	allEqualList(IVar.Var[]... lists)
ProblemIMP3.MVariable.MVarInteger	buildVarInteger(String id, Domains.Dom dom)	Managing Variables
ProblemIMP3.MVariable.MVarSymbolic	buildVarSymbolic(String id, Domains.DomSymbolic dom)
CtrEntities.CtrEntity	cardinality(IVar.Var[] list, int[] values, boolean mustBeClosed, int[] occurs)
CtrEntities.CtrEntity	cardinality(IVar.Var[] list, int[] values, boolean mustBeClosed, int[] minOccurs, int[] maxOccurs)
CtrEntities.CtrEntity	cardinality(IVar.Var[] list, int[] values, boolean mustBeClosed, IVar.Var[] occurs)
CtrEntities.CtrEntity	cardinality(IVar.Var[] list, IVar.Var[] values, boolean mustBeClosed, int[] occurs)
CtrEntities.CtrEntity	cardinality(IVar.Var[] list, IVar.Var[] values, boolean mustBeClosed, int[] minOccurs, int[] maxOccurs)
CtrEntities.CtrEntity	cardinality(IVar.Var[] list, IVar.Var[] values, boolean mustBeClosed, IVar.Var[] occurs)
CtrEntities.CtrEntity	channel(IVar.Var[] list, int startIndex)
CtrEntities.CtrEntity	channel(IVar.Var[] list, int startIndex, IVar.Var value)
CtrEntities.CtrEntity	channel(IVar.Var[] list1, int startIndex1, IVar.Var[] list2, int startIndex2)
CtrEntities.CtrEntity	circuit(IVar.Var[] list, int startIndex)
CtrEntities.CtrEntity	circuit(IVar.Var[] list, int startIndex, int size)
CtrEntities.CtrEntity	circuit(IVar.Var[] list, int startIndex, IVar.Var size)
Class<ProblemIMP3.MVariable.MVarInteger>	classVI()
Class<ProblemIMP3.MVariable.MVarSymbolic>	classVS()
CtrEntities.CtrEntity	clause(IVar.Var[] list, Boolean[] phases)
CtrEntities.CtrEntity	count(IVar.Var[] list, int[] values, Condition condition)
CtrEntities.CtrEntity	count(IVar.Var[] list, IVar.Var[] values, Condition condition)
CtrEntities.CtrEntity	cumulative(IVar.Var[] origins, int[] lengths, IVar.Var[] ends, int[] heights, Condition condition)
CtrEntities.CtrEntity	cumulative(IVar.Var[] origins, int[] lengths, IVar.Var[] ends, IVar.Var[] heights, Condition condition)
CtrEntities.CtrEntity	cumulative(IVar.Var[] origins, IVar.Var[] lengths, IVar.Var[] ends, int[] heights, Condition condition)
CtrEntities.CtrEntity	cumulative(IVar.Var[] origins, IVar.Var[] lengths, IVar.Var[] ends, IVar.Var[] heights, Condition condition)
CtrEntities.CtrEntity	element(int[][] matrix, int startRowIndex, IVar.Var rowIndex, int startColIndex, IVar.Var colIndex, Condition condition)
CtrEntities.CtrEntity	element(int[] list, int startIndex, IVar.Var index, Types.TypeRank rank, Condition condition)
CtrEntities.CtrEntity	element(IVar.Var[] list, int startIndex, IVar.Var index, Types.TypeRank rank, Condition condition)
CtrEntities.CtrEntity	element(IVar.Var[] list, Condition condition)
CtrEntities.CtrAlone	extension(IVar.Var[] list, int[][] tuples, boolean positive)
CtrEntities.CtrAlone	extension(IVar.Var[] scp, AbstractTuple[] tuples, boolean positive)
CtrEntities.CtrAlone	extension(IVar.VarSymbolic[] list, String[][] tuples, boolean positive)
protected ProblemIMP.Converter	getConverter()
CtrEntities.CtrEntity	ifThen(CtrEntities.CtrEntity c1, CtrEntities.CtrEntity c2)
CtrEntities.CtrEntity	ifThenElse(CtrEntities.CtrEntity c1, CtrEntities.CtrEntity c2, CtrEntities.CtrEntity c3)
CtrEntities.CtrEntity	instantiation(IVar.Var[] list, int[] values)
CtrEntities.CtrEntity	intension(XNodeParent<IVar> tree)
CtrEntities.CtrEntity	lex(IVar.Var[][] lists, Types.TypeOperatorRel operator)
CtrEntities.CtrEntity	lexMatrix(IVar.Var[][] matrix, Types.TypeOperatorRel operator)
ObjEntities.ObjEntity	maximize(IVar x)
ObjEntities.ObjEntity	maximize(XNode<IVar> tree)
ObjEntities.ObjEntity	maximize(Types.TypeObjective type, IVar[] list)
ObjEntities.ObjEntity	maximize(Types.TypeObjective type, IVar[] list, int[] coeffs)
ObjEntities.ObjEntity	maximize(Types.TypeObjective type, XNode<IVar>[] trees)
ObjEntities.ObjEntity	maximize(Types.TypeObjective type, XNode<IVar>[] trees, int[] coeffs)
CtrEntities.CtrEntity	maximum(IVar.Var[] list, int startIndex, IVar.Var index, Types.TypeRank rank)
CtrEntities.CtrEntity	maximum(IVar.Var[] list, int startIndex, IVar.Var index, Types.TypeRank rank, Condition condition)
CtrEntities.CtrEntity	maximum(IVar.Var[] list, Condition condition)
CtrEntities.CtrEntity	maximum(XNode<IVar>[] trees, Condition condition)
CtrEntities.CtrAlone	mdd(IVar.Var[] list, Transition[] transitions)
ObjEntities.ObjEntity	minimize(IVar x)
ObjEntities.ObjEntity	minimize(XNode<IVar> tree)
ObjEntities.ObjEntity	minimize(Types.TypeObjective type, IVar[] list)
ObjEntities.ObjEntity	minimize(Types.TypeObjective type, IVar[] list, int[] coeffs)
ObjEntities.ObjEntity	minimize(Types.TypeObjective type, XNode<IVar>[] trees)
ObjEntities.ObjEntity	minimize(Types.TypeObjective type, XNode<IVar>[] trees, int[] coeffs)
CtrEntities.CtrEntity	minimum(IVar.Var[] list, int startIndex, IVar.Var index, Types.TypeRank rank)
CtrEntities.CtrEntity	minimum(IVar.Var[] list, int startIndex, IVar.Var index, Types.TypeRank rank, Condition condition)
CtrEntities.CtrEntity	minimum(IVar.Var[] list, Condition condition)
CtrEntities.CtrEntity	minimum(XNode<IVar>[] trees, Condition condition)
CtrEntities.CtrEntity	noOverlap(IVar.Var[][] origins, int[][] lengths, boolean zeroIgnored)
CtrEntities.CtrEntity	noOverlap(IVar.Var[][] origins, IVar.Var[][] lengths, boolean zeroIgnored)
CtrEntities.CtrEntity	noOverlap(IVar.Var[] origins, int[] lengths, boolean zeroIgnored)
CtrEntities.CtrEntity	noOverlap(IVar.Var[] origins, IVar.Var[] lengths, boolean zeroIgnored)
CtrEntities.CtrEntity	nValues(IVar.Var[] list, Condition condition)
CtrEntities.CtrEntity	nValues(IVar.Var[] list, Condition condition, int[] exceptValues)
CtrEntities.CtrEntity	ordered(IVar.Var[] list, int[] lengths, Types.TypeOperatorRel operator)
CtrEntities.CtrEntity	ordered(IVar.Var[] list, IVar.Var[] lengths, Types.TypeOperatorRel operator)
CtrEntities.CtrAlone	post(ICtr c)
ObjEntities.ObjEntity	postObj(IObj o)
CtrEntities.CtrEntity	precedence(IVar.Var[] list, int[] values, boolean covered)
CtrEntities.CtrAlone	regular(IVar.Var[] list, Automaton automaton)
CtrEntities.CtrEntity	slide(IVar[] list, Range range, java.util.function.IntFunction<CtrEntities.CtrEntity> template)
CtrEntities.CtrEntity	stretch(IVar.Var[] list, int[] values, int[] widthsMin, int[] widthsMax, int[][] patterns)
CtrEntities.CtrEntity	sum(IVar.Var[] list, int[] coeffs, Condition condition)
CtrEntities.CtrEntity	sum(IVar.Var[] list, IVar.Var[] coeffs, Condition condition)
CtrEntities.CtrEntity	sum(XNode<IVar>[] trees, int[] coeffs, Condition condition)

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

Methods inherited from class java.lang.Object

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

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 class ProblemIMP

classVS

public Class<ProblemIMP3.MVariable.MVarSymbolic> classVS()

Specified by:

classVS in class ProblemIMP

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 class ProblemIMP

buildVarSymbolic

public ProblemIMP3.MVariable.MVarSymbolic buildVarSymbolic(String id,
                                                           Domains.DomSymbolic dom)

Specified by:

buildVarSymbolic in class ProblemIMP

post

public CtrEntities.CtrAlone post(ICtr c)

intension

public CtrEntities.CtrEntity intension(XNodeParent<IVar> tree)

Specified by:

intension in class ProblemIMP

getConverter

protected ProblemIMP.Converter getConverter()

Specified by:

getConverter in class ProblemIMP

extension

public CtrEntities.CtrAlone extension(IVar.Var[] list,
                                      int[][] tuples,
                                      boolean positive)

Specified by:

extension in class ProblemIMP

extension

public CtrEntities.CtrAlone extension(IVar.VarSymbolic[] list,
                                      String[][] tuples,
                                      boolean positive)

Specified by:

extension in class ProblemIMP

extension

public CtrEntities.CtrAlone extension(IVar.Var[] scp,
                                      AbstractTuple[] tuples,
                                      boolean positive)

Specified by:

extension in class ProblemIMP

regular

public CtrEntities.CtrAlone regular(IVar.Var[] list,
                                    Automaton automaton)

Specified by:

regular in class ProblemIMP

mdd

public CtrEntities.CtrAlone mdd(IVar.Var[] list,
                                Transition[] transitions)

Specified by:

mdd in class ProblemIMP

allDifferent

public CtrEntities.CtrEntity allDifferent(IVar.Var[] list)

Specified by:

allDifferent in class ProblemIMP

allDifferent

public CtrEntities.CtrEntity allDifferent(IVar.VarSymbolic[] list)

Specified by:

allDifferent in class ProblemIMP

allDifferent

public CtrEntities.CtrEntity allDifferent(IVar.Var[] list,
                                          int[] exceptValues)

Specified by:

allDifferent in class ProblemIMP

allDifferentList

public CtrEntities.CtrEntity allDifferentList(IVar.Var[]... lists)

Specified by:

allDifferentList in class ProblemIMP

allDifferentList

public CtrEntities.CtrEntity allDifferentList(IVar.Var[][] lists,
                                              int[][] except)

Specified by:

allDifferentList in class ProblemIMP

allDifferentMatrix

public CtrEntities.CtrEntity allDifferentMatrix(IVar.Var[][] matrix)

Specified by:

allDifferentMatrix in class ProblemIMP

allDifferent

public CtrEntities.CtrEntity allDifferent(XNode<IVar>[] trees)

Specified by:

allDifferent in class ProblemIMP

allEqual

public CtrEntities.CtrEntity allEqual(IVar.Var... list)

Specified by:

allEqual in class ProblemIMP

allEqual

public CtrEntities.CtrEntity allEqual(IVar.VarSymbolic... list)

Specified by:

allEqual in class ProblemIMP

allEqualList

public CtrEntities.CtrEntity allEqualList(IVar.Var[]... lists)

Specified by:

allEqualList in class ProblemIMP

ordered

public CtrEntities.CtrEntity ordered(IVar.Var[] list,
                                     int[] lengths,
                                     Types.TypeOperatorRel operator)

Specified by:

ordered in class ProblemIMP

ordered

public CtrEntities.CtrEntity ordered(IVar.Var[] list,
                                     IVar.Var[] lengths,
                                     Types.TypeOperatorRel operator)

Specified by:

ordered in class ProblemIMP

lex

public CtrEntities.CtrEntity lex(IVar.Var[][] lists,
                                 Types.TypeOperatorRel operator)

Specified by:

lex in class ProblemIMP

lexMatrix

public CtrEntities.CtrEntity lexMatrix(IVar.Var[][] matrix,
                                       Types.TypeOperatorRel operator)

Specified by:

lexMatrix in class ProblemIMP

precedence

public CtrEntities.CtrEntity precedence(IVar.Var[] list,
                                        int[] values,
                                        boolean covered)

Specified by:

precedence in class ProblemIMP

sum

public CtrEntities.CtrEntity sum(IVar.Var[] list,
                                 int[] coeffs,
                                 Condition condition)

Specified by:

sum in class ProblemIMP

sum

public CtrEntities.CtrEntity sum(IVar.Var[] list,
                                 IVar.Var[] coeffs,
                                 Condition condition)

Specified by:

sum in class ProblemIMP

sum

public CtrEntities.CtrEntity sum(XNode<IVar>[] trees,
                                 int[] coeffs,
                                 Condition condition)

Specified by:

sum in class ProblemIMP

count

public CtrEntities.CtrEntity count(IVar.Var[] list,
                                   int[] values,
                                   Condition condition)

Specified by:

count in class ProblemIMP

count

public CtrEntities.CtrEntity count(IVar.Var[] list,
                                   IVar.Var[] values,
                                   Condition condition)

Specified by:

count in class ProblemIMP

nValues

public CtrEntities.CtrEntity nValues(IVar.Var[] list,
                                     Condition condition)

Specified by:

nValues in class ProblemIMP

nValues

public CtrEntities.CtrEntity nValues(IVar.Var[] list,
                                     Condition condition,
                                     int[] exceptValues)

Specified by:

nValues in class ProblemIMP

cardinality

public CtrEntities.CtrEntity cardinality(IVar.Var[] list,
                                         int[] values,
                                         boolean mustBeClosed,
                                         int[] occurs)

Specified by:

cardinality in class ProblemIMP

cardinality

public CtrEntities.CtrEntity cardinality(IVar.Var[] list,
                                         int[] values,
                                         boolean mustBeClosed,
                                         IVar.Var[] occurs)

Specified by:

cardinality in class ProblemIMP

cardinality

public CtrEntities.CtrEntity cardinality(IVar.Var[] list,
                                         int[] values,
                                         boolean mustBeClosed,
                                         int[] minOccurs,
                                         int[] maxOccurs)

Specified by:

cardinality in class ProblemIMP

cardinality

public CtrEntities.CtrEntity cardinality(IVar.Var[] list,
                                         IVar.Var[] values,
                                         boolean mustBeClosed,
                                         int[] occurs)

Specified by:

cardinality in class ProblemIMP

cardinality

public CtrEntities.CtrEntity cardinality(IVar.Var[] list,
                                         IVar.Var[] values,
                                         boolean mustBeClosed,
                                         IVar.Var[] occurs)

Specified by:

cardinality in class ProblemIMP

cardinality

public CtrEntities.CtrEntity cardinality(IVar.Var[] list,
                                         IVar.Var[] values,
                                         boolean mustBeClosed,
                                         int[] minOccurs,
                                         int[] maxOccurs)

Specified by:

cardinality in class ProblemIMP

maximum

public CtrEntities.CtrEntity maximum(IVar.Var[] list,
                                     Condition condition)

Specified by:

maximum in class ProblemIMP

maximum

public CtrEntities.CtrEntity maximum(IVar.Var[] list,
                                     int startIndex,
                                     IVar.Var index,
                                     Types.TypeRank rank)

Specified by:

maximum in class ProblemIMP

maximum

public CtrEntities.CtrEntity maximum(IVar.Var[] list,
                                     int startIndex,
                                     IVar.Var index,
                                     Types.TypeRank rank,
                                     Condition condition)

Specified by:

maximum in class ProblemIMP

maximum

public CtrEntities.CtrEntity maximum(XNode<IVar>[] trees,
                                     Condition condition)

Specified by:

maximum in class ProblemIMP

minimum

public CtrEntities.CtrEntity minimum(IVar.Var[] list,
                                     Condition condition)

Specified by:

minimum in class ProblemIMP

minimum

public CtrEntities.CtrEntity minimum(IVar.Var[] list,
                                     int startIndex,
                                     IVar.Var index,
                                     Types.TypeRank rank)

Specified by:

minimum in class ProblemIMP

minimum

public CtrEntities.CtrEntity minimum(IVar.Var[] list,
                                     int startIndex,
                                     IVar.Var index,
                                     Types.TypeRank rank,
                                     Condition condition)

Specified by:

minimum in class ProblemIMP

minimum

public CtrEntities.CtrEntity minimum(XNode<IVar>[] trees,
                                     Condition condition)

Specified by:

minimum in class ProblemIMP

element

public CtrEntities.CtrEntity element(IVar.Var[] list,
                                     Condition condition)

Specified by:

element in class ProblemIMP

element

public CtrEntities.CtrEntity element(IVar.Var[] list,
                                     int startIndex,
                                     IVar.Var index,
                                     Types.TypeRank rank,
                                     Condition condition)

Specified by:

element in class ProblemIMP

element

public CtrEntities.CtrEntity element(int[] list,
                                     int startIndex,
                                     IVar.Var index,
                                     Types.TypeRank rank,
                                     Condition condition)

Specified by:

element in class ProblemIMP

element

public CtrEntities.CtrEntity element(int[][] matrix,
                                     int startRowIndex,
                                     IVar.Var rowIndex,
                                     int startColIndex,
                                     IVar.Var colIndex,
                                     Condition condition)

Specified by:

element in class ProblemIMP

channel

public CtrEntities.CtrEntity channel(IVar.Var[] list,
                                     int startIndex)

Specified by:

channel in class ProblemIMP

channel

public CtrEntities.CtrEntity channel(IVar.Var[] list1,
                                     int startIndex1,
                                     IVar.Var[] list2,
                                     int startIndex2)

Specified by:

channel in class ProblemIMP

channel

public CtrEntities.CtrEntity channel(IVar.Var[] list,
                                     int startIndex,
                                     IVar.Var value)

Specified by:

channel in class ProblemIMP

stretch

public CtrEntities.CtrEntity stretch(IVar.Var[] list,
                                     int[] values,
                                     int[] widthsMin,
                                     int[] widthsMax,
                                     int[][] patterns)

Specified by:

stretch in class ProblemIMP

noOverlap

public CtrEntities.CtrEntity noOverlap(IVar.Var[] origins,
                                       int[] lengths,
                                       boolean zeroIgnored)

Specified by:

noOverlap in class ProblemIMP

noOverlap

public CtrEntities.CtrEntity noOverlap(IVar.Var[] origins,
                                       IVar.Var[] lengths,
                                       boolean zeroIgnored)

Specified by:

noOverlap in class ProblemIMP

noOverlap

public CtrEntities.CtrEntity noOverlap(IVar.Var[][] origins,
                                       int[][] lengths,
                                       boolean zeroIgnored)

Specified by:

noOverlap in class ProblemIMP

noOverlap

public CtrEntities.CtrEntity noOverlap(IVar.Var[][] origins,
                                       IVar.Var[][] lengths,
                                       boolean zeroIgnored)

Specified by:

noOverlap in class ProblemIMP

cumulative

public final CtrEntities.CtrEntity cumulative(IVar.Var[] origins,
                                              int[] lengths,
                                              IVar.Var[] ends,
                                              int[] heights,
                                              Condition condition)

Specified by:

cumulative in class ProblemIMP

cumulative

public final CtrEntities.CtrEntity cumulative(IVar.Var[] origins,
                                              IVar.Var[] lengths,
                                              IVar.Var[] ends,
                                              int[] heights,
                                              Condition condition)

Specified by:

cumulative in class ProblemIMP

cumulative

public final CtrEntities.CtrEntity cumulative(IVar.Var[] origins,
                                              int[] lengths,
                                              IVar.Var[] ends,
                                              IVar.Var[] heights,
                                              Condition condition)

Specified by:

cumulative in class ProblemIMP

cumulative

public final CtrEntities.CtrEntity cumulative(IVar.Var[] origins,
                                              IVar.Var[] lengths,
                                              IVar.Var[] ends,
                                              IVar.Var[] heights,
                                              Condition condition)

Specified by:

cumulative in class ProblemIMP

circuit

public CtrEntities.CtrEntity circuit(IVar.Var[] list,
                                     int startIndex)

Specified by:

circuit in class ProblemIMP

circuit

public CtrEntities.CtrEntity circuit(IVar.Var[] list,
                                     int startIndex,
                                     int size)

Specified by:

circuit in class ProblemIMP

circuit

public CtrEntities.CtrEntity circuit(IVar.Var[] list,
                                     int startIndex,
                                     IVar.Var size)

Specified by:

circuit in class ProblemIMP

clause

public CtrEntities.CtrEntity clause(IVar.Var[] list,
                                    Boolean[] phases)

Specified by:

clause in class ProblemIMP

instantiation

public CtrEntities.CtrEntity instantiation(IVar.Var[] list,
                                           int[] values)

Specified by:

instantiation in class ProblemIMP

slide

public CtrEntities.CtrEntity slide(IVar[] list,
                                   Range range,
                                   java.util.function.IntFunction<CtrEntities.CtrEntity> template)

Specified by:

slide in class ProblemIMP

ifThen

public final CtrEntities.CtrEntity ifThen(CtrEntities.CtrEntity c1,
                                          CtrEntities.CtrEntity c2)

Specified by:

ifThen in class ProblemIMP

ifThenElse

public final CtrEntities.CtrEntity ifThenElse(CtrEntities.CtrEntity c1,
                                              CtrEntities.CtrEntity c2,
                                              CtrEntities.CtrEntity c3)

Specified by:

ifThenElse in class ProblemIMP

postObj

public ObjEntities.ObjEntity postObj(IObj o)

minimize

public final ObjEntities.ObjEntity minimize(IVar x)

Specified by:

minimize in class ProblemIMP

maximize

public final ObjEntities.ObjEntity maximize(IVar x)

Specified by:

maximize in class ProblemIMP

minimize

public final ObjEntities.ObjEntity minimize(XNode<IVar> tree)

Specified by:

minimize in class ProblemIMP

maximize

public final ObjEntities.ObjEntity maximize(XNode<IVar> tree)

Specified by:

maximize in class ProblemIMP

minimize

public final ObjEntities.ObjEntity minimize(Types.TypeObjective type,
                                            IVar[] list)

Specified by:

minimize in class ProblemIMP

maximize

public final ObjEntities.ObjEntity maximize(Types.TypeObjective type,
                                            IVar[] list)

Specified by:

maximize in class ProblemIMP

minimize

public final ObjEntities.ObjEntity minimize(Types.TypeObjective type,
                                            IVar[] list,
                                            int[] coeffs)

Specified by:

minimize in class ProblemIMP

maximize

public final ObjEntities.ObjEntity maximize(Types.TypeObjective type,
                                            IVar[] list,
                                            int[] coeffs)

Specified by:

maximize in class ProblemIMP

minimize

public ObjEntities.ObjEntity minimize(Types.TypeObjective type,
                                      XNode<IVar>[] trees)

Specified by:

minimize in class ProblemIMP

minimize

public ObjEntities.ObjEntity minimize(Types.TypeObjective type,
                                      XNode<IVar>[] trees,
                                      int[] coeffs)

Specified by:

minimize in class ProblemIMP

maximize

public ObjEntities.ObjEntity maximize(Types.TypeObjective type,
                                      XNode<IVar>[] trees)

Specified by:

maximize in class ProblemIMP

maximize

public ObjEntities.ObjEntity maximize(Types.TypeObjective type,
                                      XNode<IVar>[] trees,
                                      int[] coeffs)

Specified by:

maximize in class ProblemIMP