Package org.xcsp.modeler.definitions

Interface ICtr.ICtrMdd

All Superinterfaces:

ICtr, IRootForCtrAndObj

Enclosing interface:

ICtr

public static interface ICtr.ICtrMdd
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, PATH, 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

Modifier and Type	Method	Description
static ICtr.ICtrMdd	buildFrom(IVar[] scope, String list, String transitions)
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.ICtrMdd buildFrom(IVar[] scope,
                              String list,
                              String transitions)

defXCSP

default DefXCSP defXCSP()

Specified by:

defXCSP in interface ICtr

Specified by:

defXCSP in interface IRootForCtrAndObj