Package org.xcsp.modeler.definitions
Interface ICtr.ICtrCumulative
-
- All Superinterfaces:
ICtr
,IRootForCtrAndObj
- Enclosing interface:
- ICtr
public static interface ICtr.ICtrCumulative extends ICtr
-
-
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
Static Methods Modifier and Type Method Description static ICtr.ICtrCumulative
buildFrom(IVar[] scope, String origins, String lengths, String ends, String heights, Condition condition)
-
Methods inherited from interface org.xcsp.modeler.definitions.ICtr
defXCSP, findInterfaceFor
-
Methods inherited from interface org.xcsp.modeler.definitions.IRootForCtrAndObj
def, mapXCSP, scope
-
-