Package org.xcsp.modeler.definitions
Interface ICtr.ICtrRegular
-
- All Superinterfaces:
ICtr
,IRootForCtrAndObj
- Enclosing interface:
- ICtr
public static interface ICtr.ICtrRegular 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
Static Methods Modifier and Type Method Description static ICtr.ICtrRegular
buildFrom(IVar[] scope, String list, String transitions, String startState, String[] finalStates)
-
Methods inherited from interface org.xcsp.modeler.definitions.ICtr
defXCSP, findInterfaceFor
-
Methods inherited from interface org.xcsp.modeler.definitions.IRootForCtrAndObj
def, mapXCSP, scope
-
-