Package org.xcsp.modeler.problems
Class Pic2
- java.lang.Object
-
- org.xcsp.modeler.problems.Pic2
-
- All Implemented Interfaces:
ProblemAPI
,ProblemAPIBase
,ProblemAPIOnVals
,ProblemAPIOnVars
,ProblemAPISymbolic
public class Pic2 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 Pic2()
-
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
-
-