Package org.xcsp.modeler.definitions
Interface ICtr.ICtrElement
-
- All Superinterfaces:
ICtr
,IRootForCtrAndObj
- Enclosing interface:
- ICtr
public static interface ICtr.ICtrElement 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
All Methods Static Methods Instance Methods Default Methods Modifier and Type Method Description static ICtr.ICtrElement
buildFrom(IVar[] scope, String list, Integer startIndex, Object index, Types.TypeRank rank, Condition condition)
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.ICtrElement buildFrom(IVar[] scope, String list, Integer startIndex, Object index, Types.TypeRank rank, Condition condition)
-
defXCSP
default DefXCSP defXCSP()
- Specified by:
defXCSP
in interfaceICtr
- Specified by:
defXCSP
in interfaceIRootForCtrAndObj
-
-