Package org.xcsp.modeler.definitions
Interface ICtr.ICtrIfThenElse
-
-
Nested Class Summary
-
Nested classes/interfaces inherited from interface org.xcsp.modeler.definitions.ICtr
ICtr.ICtrAllDifferent, ICtr.ICtrAllEqual, ICtr.ICtrCardinality, ICtr.ICtrChannel, ICtr.ICtrCircuit, ICtr.ICtrClause, ICtr.ICtrCount, ICtr.ICtrCumulative, ICtr.ICtrElement, ICtr.ICtrElementMatrix, ICtr.ICtrExtension, ICtr.ICtrIfThen, ICtr.ICtrIfThenElse, ICtr.ICtrInstantiation, ICtr.ICtrIntension, ICtr.ICtrMaximum, ICtr.ICtrMdd, ICtr.ICtrMinimum, ICtr.ICtrNoOverlap, ICtr.ICtrNValues, ICtr.ICtrOrdered, ICtr.ICtrRegular, ICtr.ICtrSlide, ICtr.ICtrSmart, ICtr.ICtrStretch, ICtr.ICtrSum, ICtr.Meta
-
-
Field Summary
-
Fields inherited from interface org.xcsp.modeler.definitions.ICtr
ALL_DIFFERENT, ALL_DISTANT, ALL_EQUAL, ALL_INCOMPARABLE, ALL_INTERSECTING, ALONES, AND, ARBO, ARITY, BALANCE, BIN_PACKING, CARDINALITY, CHANNEL, CIRCUIT, CIRCULAR, CLAUSE, CLOSED, COEFFS, COL_OCCURS, COLLECTS, CONDITION, CONDITIONS, CONFLICTS, COST, COUNT, CUMULATIVE, DEVIATION, ELEMENT, ENDS, EXCEPT, EXTENSION, FINAL, FLOW, FUNCTION, GRAMMAR, GRAPH, HEIGHTS, IF_THEN, IF_THEN_ELSE, IMAGE, INDEX, INSTANTIATION, INTENSION, KNAPSACK, LENGTHS, LEX, LIMIT, LIST, LIST2, LISTS, MACHINES, MAPPING, MATRIX, MAXIMUM, MDD, MINIMUM, MSET, MSETS, NARBOS, NCIRCUITS, NCLIQUES, NO_OVERLAP, NOT, NPATHS, NTREES, NUMBER, NVALUES, OCCURS, OFFSETS, OPERATOR, OR, ORDERED, ORIGINS, PARTITION, PÄTH, PATTERNS, PERMUTATION, POSITIVE, PRECEDENCE, PROFITS, RANGE, RANK, REC, REGULAR, ROOT, ROOTS, ROW, ROW_OCCURS, ROWS, RULES, SEQBIN, SET, SETS, SIZE, SIZES, SLIDE, SMART, SPREAD, START, START_COL_INDEX, START_INDEX, START_INDEX2, START_ROW_INDEX, STRETCH, SUM, SUM_COSTS, SUPPORTS, TERMINAL, TOTAL, TRANSITIONS, TREE, TUPLES, VALUE, VALUES, WEIGHTS, WIDTHS, ZERO_IGNORED
-
Fields inherited from interface org.xcsp.modeler.definitions.IRootForCtrAndObj
SCOPE
-
-
Method Summary
All Methods Static Methods Instance Methods Default Methods Modifier and Type Method Description static ICtr.ICtrIfThenElse
buildFrom(IVar[] scope, CtrEntities.CtrAlone ca1, CtrEntities.CtrAlone ca2, CtrEntities.CtrAlone ca3)
default DefXCSP
defXCSP()
-
Methods inherited from interface org.xcsp.modeler.definitions.ICtr
findInterfaceFor
-
Methods inherited from interface org.xcsp.modeler.definitions.IRootForCtrAndObj
def, mapXCSP, scope
-
-
-
-
Method Detail
-
buildFrom
static ICtr.ICtrIfThenElse buildFrom(IVar[] scope, CtrEntities.CtrAlone ca1, CtrEntities.CtrAlone ca2, CtrEntities.CtrAlone ca3)
-
defXCSP
default DefXCSP defXCSP()
- Specified by:
defXCSP
in interfaceICtr
- Specified by:
defXCSP
in interfaceIRootForCtrAndObj
-
-