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
Modifier and Type	Field	Description
`static String`	`ALL_DIFFERENT`
`static String`	`ALL_DISTANT`
`static String`	`ALL_EQUAL`
`static String`	`ALL_INCOMPARABLE`
`static String`	`ALL_INTERSECTING`
`static String`	`ALONES`
`static String`	`AND`
`static String`	`ARBO`
`static String`	`ARITY`
`static String`	`BALANCE`
`static String`	`BIN_PACKING`
`static String`	`CARDINALITY`
`static String`	`CHANNEL`
`static String`	`CIRCUIT`
`static String`	`CIRCULAR`
`static String`	`CLAUSE`
`static String`	`CLOSED`
`static String`	`COEFFS`
`static String`	`COL_OCCURS`
`static String`	`COLLECTS`
`static String`	`CONDITION`
`static String`	`CONDITIONS`
`static String`	`CONFLICTS`
`static String`	`COST`
`static String`	`COUNT`
`static String`	`CUMULATIVE`
`static String`	`DEVIATION`
`static String`	`ELEMENT`
`static String`	`ENDS`
`static String`	`EXCEPT`
`static String`	`EXTENSION`
`static String`	`FINAL`
`static String`	`FLOW`
`static String`	`FUNCTION`
`static String`	`GRAMMAR`
`static String`	`GRAPH`
`static String`	`HEIGHTS`
`static String`	`IF_THEN`
`static String`	`IF_THEN_ELSE`
`static String`	`IMAGE`
`static String`	`INDEX`
`static String`	`INSTANTIATION`
`static String`	`INTENSION`
`static String`	`KNAPSACK`
`static String`	`LENGTHS`
`static String`	`LEX`
`static String`	`LIMIT`
`static String`	`LIST`
`static String`	`LIST2`
`static String`	`LISTS`
`static String`	`MACHINES`
`static String`	`MAPPING`
`static String`	`MATRIX`
`static String`	`MAXIMUM`
`static String`	`MDD`
`static String`	`MINIMUM`
`static String`	`MSET`
`static String`	`MSETS`
`static String`	`NARBOS`
`static String`	`NCIRCUITS`
`static String`	`NCLIQUES`
`static String`	`NO_OVERLAP`
`static String`	`NOT`
`static String`	`NPATHS`
`static String`	`NTREES`
`static String`	`NUMBER`
`static String`	`NVALUES`
`static String`	`OCCURS`
`static String`	`OFFSETS`
`static String`	`OPERATOR`
`static String`	`OR`
`static String`	`ORDERED`
`static String`	`ORIGINS`
`static String`	`PARTITION`
`static String`	`PATH`
`static String`	`PATTERNS`
`static String`	`PERMUTATION`
`static String`	`POSITIVE`
`static String`	`PRECEDENCE`
`static String`	`PROFITS`
`static String`	`RANGE`
`static String`	`RANK`
`static String`	`REC`
`static String`	`REGULAR`
`static String`	`ROOT`
`static String`	`ROOTS`
`static String`	`ROW`
`static String`	`ROW_OCCURS`
`static String`	`ROWS`
`static String`	`RULES`
`static String`	`SEQBIN`
`static String`	`SET`
`static String`	`SETS`
`static String`	`SIZE`
`static String`	`SIZES`
`static String`	`SLIDE`
`static String`	`SMART`
`static String`	`SPREAD`
`static String`	`START`
`static String`	`START_COL_INDEX`
`static String`	`START_INDEX`
`static String`	`START_INDEX2`
`static String`	`START_ROW_INDEX`
`static String`	`STRETCH`
`static String`	`SUM`
`static String`	`SUM_COSTS`
`static String`	`SUPPORTS`
`static String`	`TERMINAL`
`static String`	`TOTAL`
`static String`	`TRANSITIONS`
`static String`	`TREE`
`static String`	`TUPLES`
`static String`	`VALUE`
`static String`	`VALUES`
`static String`	`WEIGHTS`
`static String`	`WIDTHS`
`static String`	`ZERO_IGNORED`

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
```

PATH
```
static final String PATH
```

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
- findInterfaceFor
```
default Class<?> findInterfaceFor(Class<?> c)
```
- defXCSP
```
default DefXCSP defXCSP()
```
  Specified by:
  
  defXCSP in interface IRootForCtrAndObj

Modifier and Type	Method	Description
`default DefXCSP`	`defXCSP()`
`default Class<?>`	`findInterfaceFor(Class<?> c)`

Interface ICtr

Nested Class Summary

Field Summary

Fields inherited from interface org.xcsp.modeler.definitions.IRootForCtrAndObj

Method Summary

Methods inherited from interface org.xcsp.modeler.definitions.IRootForCtrAndObj

Field Detail

EXTENSION

INTENSION

SMART

REGULAR

GRAMMAR

MDD

ALL_DIFFERENT

ALL_EQUAL

ALL_DISTANT

ORDERED

LEX

ALL_INCOMPARABLE

SUM

COUNT

NVALUES

CARDINALITY

BALANCE

SPREAD

DEVIATION

SUM_COSTS

STRETCH

NO_OVERLAP

CUMULATIVE

BIN_PACKING

KNAPSACK

FLOW

CIRCUIT

NCIRCUITS

PATH

NPATHS

TREE

NTREES

ARBO

NARBOS

NCLIQUES

CLAUSE

INSTANTIATION

ALL_INTERSECTING

RANGE

ROOTS

PARTITION

MINIMUM

MAXIMUM

ELEMENT

CHANNEL

PERMUTATION

PRECEDENCE

AND

OR

NOT

IF_THEN

IF_THEN_ELSE

SLIDE

SEQBIN

LIST

SET

MSET

MATRIX

FUNCTION

SUPPORTS

CONFLICTS

EXCEPT

VALUE

VALUES

TOTAL

COEFFS

CONDITION

COST

OPERATOR

NUMBER

TRANSITIONS

START

FINAL