Package org.xcsp.modeler.definitions
Interface ICtr
-
- All Superinterfaces:
IRootForCtrAndObj
- All Known Subinterfaces:
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
public interface ICtr extends IRootForCtrAndObj
-
-
Nested Class Summary
Nested Classes Modifier and Type Interface Description static interface
ICtr.ICtrAllDifferent
static interface
ICtr.ICtrAllEqual
static interface
ICtr.ICtrCardinality
static interface
ICtr.ICtrChannel
static interface
ICtr.ICtrCircuit
static interface
ICtr.ICtrClause
static interface
ICtr.ICtrCount
static interface
ICtr.ICtrCumulative
static interface
ICtr.ICtrElement
static interface
ICtr.ICtrElementMatrix
static interface
ICtr.ICtrExtension
static interface
ICtr.ICtrIfThen
static interface
ICtr.ICtrIfThenElse
static interface
ICtr.ICtrInstantiation
static interface
ICtr.ICtrIntension
static interface
ICtr.ICtrMaximum
static interface
ICtr.ICtrMdd
static interface
ICtr.ICtrMinimum
static interface
ICtr.ICtrNoOverlap
static interface
ICtr.ICtrNValues
static interface
ICtr.ICtrOrdered
static interface
ICtr.ICtrRegular
static interface
ICtr.ICtrSlide
static interface
ICtr.ICtrSmart
static interface
ICtr.ICtrStretch
static interface
ICtr.ICtrSum
static interface
ICtr.Meta
-
Field Summary
-
Fields inherited from interface org.xcsp.modeler.definitions.IRootForCtrAndObj
SCOPE
-
-
Method Summary
All Methods Instance Methods Default Methods Modifier and Type Method Description default DefXCSP
defXCSP()
default Class<?>
findInterfaceFor(Class<?> c)
-
Methods inherited from interface org.xcsp.modeler.definitions.IRootForCtrAndObj
def, mapXCSP, scope
-
-
-
-
Field Detail
-
EXTENSION
static final String EXTENSION
-
INTENSION
static final String INTENSION
-
SMART
static final String SMART
-
REGULAR
static final String REGULAR
-
GRAMMAR
static final String GRAMMAR
-
MDD
static final String MDD
-
ALL_DIFFERENT
static final String ALL_DIFFERENT
-
ALL_EQUAL
static final String ALL_EQUAL
-
ALL_DISTANT
static final String ALL_DISTANT
-
ORDERED
static final String ORDERED
-
LEX
static final String LEX
-
ALL_INCOMPARABLE
static final String ALL_INCOMPARABLE
-
SUM
static final String SUM
-
COUNT
static final String COUNT
-
NVALUES
static final String NVALUES
-
CARDINALITY
static final String CARDINALITY
-
BALANCE
static final String BALANCE
-
SPREAD
static final String SPREAD
-
DEVIATION
static final String DEVIATION
-
SUM_COSTS
static final String SUM_COSTS
-
STRETCH
static final String STRETCH
-
NO_OVERLAP
static final String NO_OVERLAP
-
CUMULATIVE
static final String CUMULATIVE
-
BIN_PACKING
static final String BIN_PACKING
-
KNAPSACK
static final String KNAPSACK
-
FLOW
static final String FLOW
-
CIRCUIT
static final String CIRCUIT
-
NCIRCUITS
static final String NCIRCUITS
-
PÄTH
static final String PÄTH
-
NPATHS
static final String NPATHS
-
TREE
static final String TREE
-
NTREES
static final String NTREES
-
ARBO
static final String ARBO
-
NARBOS
static final String NARBOS
-
NCLIQUES
static final String NCLIQUES
-
CLAUSE
static final String CLAUSE
-
INSTANTIATION
static final String INSTANTIATION
-
ALL_INTERSECTING
static final String ALL_INTERSECTING
-
RANGE
static final String RANGE
-
ROOTS
static final String ROOTS
-
PARTITION
static final String PARTITION
-
MINIMUM
static final String MINIMUM
-
MAXIMUM
static final String MAXIMUM
-
ELEMENT
static final String ELEMENT
-
CHANNEL
static final String CHANNEL
-
PERMUTATION
static final String PERMUTATION
-
PRECEDENCE
static final String PRECEDENCE
-
AND
static final String AND
-
OR
static final String OR
-
NOT
static final String NOT
-
IF_THEN
static final String IF_THEN
-
IF_THEN_ELSE
static final String IF_THEN_ELSE
-
SLIDE
static final String SLIDE
-
SEQBIN
static final String SEQBIN
-
LIST
static final String LIST
-
SET
static final String SET
-
MSET
static final String MSET
-
MATRIX
static final String MATRIX
-
FUNCTION
static final String FUNCTION
-
SUPPORTS
static final String SUPPORTS
-
CONFLICTS
static final String CONFLICTS
-
EXCEPT
static final String EXCEPT
-
VALUE
static final String VALUE
-
VALUES
static final String VALUES
-
TOTAL
static final String TOTAL
-
COEFFS
static final String COEFFS
-
CONDITION
static final String CONDITION
-
COST
static final String COST
-
OPERATOR
static final String OPERATOR
-
NUMBER
static final String NUMBER
-
TRANSITIONS
static final String TRANSITIONS
-
START
static final String START
-
FINAL
static final String FINAL
-
TERMINAL
static final String TERMINAL
-
RULES
static final String RULES
-
INDEX
static final String INDEX
-
MAPPING
static final String MAPPING
-
OCCURS
static final String OCCURS
-
ROW_OCCURS
static final String ROW_OCCURS
-
COL_OCCURS
static final String COL_OCCURS
-
WIDTHS
static final String WIDTHS
-
PATTERNS
static final String PATTERNS
-
ORIGINS
static final String ORIGINS
-
LENGTHS
static final String LENGTHS
-
ENDS
static final String ENDS
-
HEIGHTS
static final String HEIGHTS
-
MACHINES
static final String MACHINES
-
CONDITIONS
static final String CONDITIONS
-
SIZES
static final String SIZES
-
WEIGHTS
static final String WEIGHTS
-
PROFITS
static final String PROFITS
-
LIMIT
static final String LIMIT
-
SIZE
static final String SIZE
-
ROOT
static final String ROOT
-
IMAGE
static final String IMAGE
-
GRAPH
static final String GRAPH
-
ROW
static final String ROW
-
ARITY
static final String ARITY
- See Also:
- Constant Field Values
-
TUPLES
static final String TUPLES
- See Also:
- Constant Field Values
-
POSITIVE
static final String POSITIVE
- See Also:
- Constant Field Values
-
START_INDEX
static final String START_INDEX
- See Also:
- Constant Field Values
-
START_ROW_INDEX
static final String START_ROW_INDEX
- See Also:
- Constant Field Values
-
START_COL_INDEX
static final String START_COL_INDEX
- See Also:
- Constant Field Values
-
RANK
static final String RANK
- See Also:
- Constant Field Values
-
CLOSED
static final String CLOSED
- See Also:
- Constant Field Values
-
START_INDEX2
static final String START_INDEX2
- See Also:
- Constant Field Values
-
LIST2
static final String LIST2
- See Also:
- Constant Field Values
-
LISTS
static final String LISTS
- See Also:
- Constant Field Values
-
SETS
static final String SETS
- See Also:
- Constant Field Values
-
MSETS
static final String MSETS
- See Also:
- Constant Field Values
-
ROWS
static final String ROWS
- See Also:
- Constant Field Values
-
CIRCULAR
static final String CIRCULAR
- See Also:
- Constant Field Values
-
OFFSETS
static final String OFFSETS
- See Also:
- Constant Field Values
-
COLLECTS
static final String COLLECTS
- See Also:
- Constant Field Values
-
ALONES
static final String ALONES
- See Also:
- Constant Field Values
-
ZERO_IGNORED
static final String ZERO_IGNORED
- See Also:
- Constant Field Values
-
REC
static final String REC
- See Also:
- Constant Field Values
-
-
Method Detail
-
defXCSP
default DefXCSP defXCSP()
- Specified by:
defXCSP
in interfaceIRootForCtrAndObj
-
-