Package org.xcsp.modeler.definitions
Interface ICtr.ICtrOrdered
-
- All Superinterfaces:
ICtr
,IRootForCtrAndObj
- Enclosing interface:
- ICtr
public static interface ICtr.ICtrOrdered 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, 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, NETWORK_FLOW, 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.ICtrOrdered
buildFrom(IVar[] scope, String key1, Object value1, Object lengths, Types.TypeOperatorRel operator)
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.ICtrOrdered buildFrom(IVar[] scope, String key1, Object value1, Object lengths, Types.TypeOperatorRel operator)
-
defXCSP
default DefXCSP defXCSP()
- Specified by:
defXCSP
in interfaceICtr
- Specified by:
defXCSP
in interfaceIRootForCtrAndObj
-
-