Package org.xcsp.modeler.problems
Class Rack2
- java.lang.Object
-
- org.xcsp.modeler.problems.Rack2
-
- All Implemented Interfaces:
ProblemAPI
,ProblemAPIBase
,ProblemAPIOnVals
,ProblemAPIOnVars
,ProblemAPISymbolic
public class Rack2 extends Object implements ProblemAPI
-
-
Nested Class Summary
-
Nested classes/interfaces inherited from interface org.xcsp.modeler.api.ProblemAPIBase
ProblemAPIBase.Index, ProblemAPIBase.Occurrences
-
-
Field Summary
-
Fields inherited from interface org.xcsp.modeler.api.ProblemAPIBase
ANY, api2imp, BLOCKS, CHANNELING, CLOSED, CLUES, COLUMNS, DECREASING, DIAGONALS, EQ, EXPRESSION, FIRST, GE, GT, IN, INCREASING, LAST, LE, LEX, LT, MAXIMUM, MINIMUM, NE, NEGATIVE, NOGOODS, NOTIN, NVALUES, POSITIVE, PRODUCT, REDUNDANT_CONSTRAINTS, ROWS, STAR, STAR_INT, STAR_SYMBOL, STRICTLY_DECREASING, STRICTLY_INCREASING, SUM, SYMMETRY_BREAKING
-
-
Constructor Summary
Constructors Constructor Description Rack2()
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description void
model()
Builds the model.-
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
-
Methods inherited from interface org.xcsp.modeler.api.ProblemAPI
abs, add, allDifferent, allDifferent, allDifferent, allDifferent, allDifferent, allDifferent, allDifferent, allDifferentExcept, allDifferentList, allDifferentMatrix, allEqual, allEqual, allEqualList, among, among, and, array, array, array, array, array, array, array, array, array, array, array, array, array, array, array, array, array, array, array, array, atLeast, atLeast, atLeast1, atMost, atMost, atMost1, belong, cardinality, cardinality, cardinality, cardinality, cardinality, channel, channel, channel, channel, channel, channel, circuit, circuit, circuit, circuit, circuit, clause, clause, conjunction, count, count, count, count, count, count, count, count, count, count, count, count, count, count, count, count, count, count, ctrFalse, ctrTrue, cumulative, cumulative, cumulative, cumulative, cumulative, cumulative, cumulative, cumulative, cumulative, cumulative, cumulative, cumulative, decisionVariables, decisionVariables, decreasing, decreasing, different, disjunction, dist, div, dom, dom, dom, dom, dom, dom, dom, element, element, element, element, element, element, eq, equal, equivalence, exactly, exactly, exactly1, extension, extension, extension, extension, extension, extension, extension, extension, extension, extensionDisjunction, extensionDisjunction, ge, greaterEqual, greaterThan, gt, iff, ifThen, ifThenElse, ifThenElse, imp, implication, imply, in, increasing, increasing, instantiation, instantiation, instantiation, instantiation, instantiation, instantiation, instantiation, instantiation, instantiation, intension, knightAttack, le, lessEqual, lessThan, lex, lexMatrix, lt, max, maximize, maximize, maximize, maximize, maximize, maximize, maximize, maximize, maximize, maximize, maximize, maximize, maximize, maximize, maximum, maximum, maximum, maximum, maximum, mdd, mdd, min, minimize, minimize, minimize, minimize, minimize, minimize, minimize, minimize, minimize, minimize, minimize, minimize, minimize, minimize, minimum, minimum, minimum, minimum, minimum, mod, mul, ne, neg, noOverlap, noOverlap, noOverlap, noOverlap, noOverlap, noOverlap, noOverlap, noOverlap, noOverlap, noOverlap, not, notAllEqual, notEqual, notin, nValues, nValues, nValues, nValues, nValues, nValues, nValues, nValues, nValues, nValues, or, ordered, ordered, ordered, pow, prettyDisplay, queenAttack, range, range, range, rangeClosed, rangeClosed, regular, set, set, size, size, size, size, size, slide, sqr, stretch, stretch, strictlyDecreasing, strictlyDecreasing, strictlyIncreasing, strictlyIncreasing, sub, sum, sum, sum, sum, sum, sum, sum, sum, sum, sum, sum, sum, sum, sum, sum, sum, sum, sum, sum, sum, sum, sum, sum, sum, sum, sum, sum, sum, treesFrom, treesFrom, treesFrom, treesFrom, treesFrom, var, var, xor
-
Methods inherited from interface org.xcsp.modeler.api.ProblemAPIBase
at, automaton, automaton, automaton, block, condition, condition, condition, condition, control, exceptValue, exceptValues, finalState, finalStates, forall, forall, forall, forall, forall, forall, imp, index, index, indexing, indexing, indexing, indexingTuples, indexingTuples, isModel, modelVariant, modelVariant, name, number, occurBetween, occurExactly, occurExactly, occurrences, occurrences, occursBetween, occursEachBetween, occursEachExactly, onlyOn, readFileLines, readFileLines, startIndex, table, table, table, table, table, table, table, table, tableIntersection, tableWithNewColumn, takingValue, takingValue, takingValues, takingValues, takingValues, transitions, transitions, tuple, weightedBy, weightedBy, weightedBy, weightedBy
-
Methods inherited from interface org.xcsp.modeler.api.ProblemAPIOnVals
addInt, addInt, allCartesian, allCartesian, allCartesian, allCartesian, allCombinations, allCombinations, allPermutations, allPermutations, columnOf, contains, distinctSorted, distinctSorted, dub, dub, firstFrom, firstFrom, maxOf, minOf, repeat, select, select, select, select, select, selectFromIndexing, selectFromIndexing, selectFromIndexing, singleValuesFrom, singleValuesFrom, singleValuesFrom, singleValuesFrom, singleValuesFrom, singleValuesFrom, singleValuesIn, sumOf, sumOf, transpose, vals, valuesFrom, valuesFrom, valuesFrom, valuesFrom, valuesFrom, valuesFrom, valuesFrom, valuesFrom, valuesIn
-
Methods inherited from interface org.xcsp.modeler.api.ProblemAPIOnVars
addObject, addObject, clean, columnOf, contains, diagonalDown, diagonalDown, diagonalDown, diagonalsDown, diagonalsUp, diagonalUp, diagonalUp, diagonalUp, eliminateDim2, eliminateDim3, firstFrom, select, select, select, select, select, select, select, select, select, select, select, select, select, singleVariablesFrom, singleVariablesFrom, singleVariablesIn, transpose, variablesFrom, variablesFrom, variablesFrom, variablesFrom, variablesFrom, variablesFrom, variablesIn, vars, vars, vars, vars, vars, vars, vars, vars
-
Methods inherited from interface org.xcsp.modeler.api.ProblemAPISymbolic
allDifferent, allDifferent, allDifferent, allDifferent, allEqual, allEqual, arraySymbolic, arraySymbolic, arraySymbolic, arraySymbolic, arraySymbolic, arraySymbolic, arraySymbolic, arraySymbolic, ctrFalse, ctrTrue, dom, dom, extension, extension, extension, extension, extension, tableSymbolic, tableSymbolic, tableSymbolic, tableSymbolic, tuple, var, var
-
-
-
-
Method Detail
-
model
public void model()
Description copied from interface:ProblemAPI
Builds the model. You have to declare variables, constraints and objectives in this method.- Specified by:
model
in interfaceProblemAPI
-
-