Package org.xcsp.modeler.definitions

Interface ICtr.ICtrExtension

All Superinterfaces:

ICtr, IRootForCtrAndObj

Enclosing interface:

ICtr

public static interface ICtr.ICtrExtension
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.ICtrExtension	buildFrom(IVar[] scope, String list, int arity, int[][] tuples, boolean positive)
static ICtr.ICtrExtension	buildFrom(IVar[] scope, String list, int arity, String[][] tuples, boolean positive)
default DefXCSP	defXCSP()
default boolean	isSimilarTo(ICtr.ICtrExtension c)
static String	tableAsString(int[][] tuples)
static String	tableAsString(String[][] tuples)

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.ICtrExtension buildFrom(IVar[] scope,
                                    String list,
                                    int arity,
                                    int[][] tuples,
                                    boolean positive)

buildFrom

static ICtr.ICtrExtension buildFrom(IVar[] scope,
                                    String list,
                                    int arity,
                                    String[][] tuples,
                                    boolean positive)

tableAsString

static String tableAsString(int[][] tuples)

tableAsString

static String tableAsString(String[][] tuples)

isSimilarTo

default boolean isSimilarTo(ICtr.ICtrExtension c)

defXCSP

default DefXCSP defXCSP()

Specified by:

defXCSP in interface ICtr

Specified by:

defXCSP in interface IRootForCtrAndObj