Universe::UniverseJavaCspSolver class
#include <UniverseJavaCspSolver.hpp>

Reference

The UniverseJavaCspSolver class defines an adapter for an IUniverseCspSolver written in Java (and implementing the JUniverse interface). The solver is run through the Java Native Interface (JNI).

Base classes

class UniverseJavaPseudoBooleanSolver
class IUniverseCspSolver

Constructors, destructors, conversion operators

UniverseJavaCspSolver(easyjni::JavaClass* interface, const easyjni::JavaObject& object)
~UniverseJavaCspSolver() defaulted override

Public functions

void newVariable(const std::string& id, int min, int max) override
void newVariable(const std::string& id, const Universe::BigInteger& min, const Universe::BigInteger& max) override
void newVariable(const std::string& id, const std::vector<int>& values) override
void newVariable(const std::string& id, const std::vector<Universe::BigInteger>& values) override
void newVariableSymbolic(const std::string& id, const std::vector<std::string>& values) override
void addInstantiation(const std::string& variable, int value) override
void addInstantiation(const std::string& variable, const Universe::BigInteger& value) override
void addInstantiation(const std::string& variable, const std::string& value) override
void addInstantiation(const std::vector<std::string>& variables, const std::vector<int>& values) override
void addInstantiation(const std::vector<std::string>& variables, const std::vector<Universe::BigInteger>& values) override
void addInstantiationSymbolic(const std::vector<std::string>& variables, const std::vector<std::string>& values) override
void addClause(const std::vector<std::string>& positive, const std::vector<std::string>& negative) override
void addLogical(Universe::UniverseBooleanOperator op, const std::vector<std::string>& variables) override
void addLogical(const std::string& variable, bool equiv, Universe::UniverseBooleanOperator op, const std::vector<std::string>& variables) override
void addLogical(const std::string& variable, const std::string& left, Universe::UniverseRelationalOperator op, const Universe::BigInteger& right) override
void addLogical(const std::string& variable, const std::string& left, Universe::UniverseRelationalOperator op, const std::string& right) override
void addAllDifferent(const std::vector<std::string>& variables) override
void addAllDifferent(const std::vector<std::string>& variables, const std::vector<Universe::BigInteger>& except) override
void addAllDifferentMatrix(const std::vector<std::vector<std::string>>& variableMatrix) override
void addAllDifferentMatrix(const std::vector<std::vector<std::string>>& variableMatrix, const std::vector<Universe::BigInteger>& except) override
void addAllDifferentList(const std::vector<std::vector<std::string>>& variableLists) override
void addAllDifferentList(const std::vector<std::vector<std::string>>& variableLists, const std::vector<std::vector<Universe::BigInteger>>& except) override
void addAllDifferentIntension(const std::vector<Universe::IUniverseIntensionConstraint*>& intensionConstraints) override
void addChannel(const std::vector<std::string>& variables, int startIndex) override
void addChannel(const std::vector<std::string>& variables, int startIndex, const std::string& value) override
void addChannel(const std::vector<std::string>& variables, int startIndex, const std::vector<std::string>& otherVariables, int otherStartIndex) override
void addCardinalityWithConstantValuesAndConstantCounts(const std::vector<std::string>& variables, const std::vector<Universe::BigInteger>& values, const std::vector<Universe::BigInteger>& occurs, bool closed) override
void addCardinalityWithConstantValuesAndConstantIntervalCounts(const std::vector<std::string>& variables, const std::vector<Universe::BigInteger>& values, const std::vector<Universe::BigInteger>& occursMin, const std::vector<Universe::BigInteger>& occursMax, bool closed) override
void addCardinalityWithConstantValuesAndVariableCounts(const std::vector<std::string>& variables, const std::vector<Universe::BigInteger>& values, const std::vector<std::string>& occurs, bool closed) override
void addCardinalityWithVariableValuesAndConstantCounts(const std::vector<std::string>& variables, const std::vector<std::string>& values, const std::vector<Universe::BigInteger>& occurs, bool closed) override
void addCardinalityWithVariableValuesAndConstantIntervalCounts(const std::vector<std::string>& variables, const std::vector<std::string>& values, const std::vector<Universe::BigInteger>& occursMin, const std::vector<Universe::BigInteger>& occursMax, bool closed) override
void addCardinalityWithVariableValuesAndVariableCounts(const std::vector<std::string>& variables, const std::vector<std::string>& values, const std::vector<std::string>& occurs, bool closed) override
void addAtLeast(const std::vector<std::string>& variables, const Universe::BigInteger& value, const Universe::BigInteger& count) override
void addExactly(const std::vector<std::string>& variables, const Universe::BigInteger& value, const Universe::BigInteger& count) override
void addExactly(const std::vector<std::string>& variables, const Universe::BigInteger& value, const std::string& count) override
void addAmong(const std::vector<std::string>& variables, const std::vector<Universe::BigInteger>& values, const Universe::BigInteger& count) override
void addAmong(const std::vector<std::string>& variables, const std::vector<Universe::BigInteger>& values, const std::string& count) override
void addAtMost(const std::vector<std::string>& variables, const Universe::BigInteger& value, const Universe::BigInteger& count) override
void addCountWithConstantValues(const std::vector<std::string>& variables, const std::vector<Universe::BigInteger>& values, Universe::UniverseRelationalOperator op, const Universe::BigInteger& count) override
void addCountWithConstantValues(const std::vector<std::string>& variables, const std::vector<Universe::BigInteger>& values, Universe::UniverseRelationalOperator op, const std::string& count) override
void addCountWithConstantValues(const std::vector<std::string>& variables, const std::vector<Universe::BigInteger>& values, Universe::UniverseSetBelongingOperator op, const Universe::BigInteger& min, const Universe::BigInteger& max) override
void addCountWithConstantValues(const std::vector<std::string>& variables, const std::vector<Universe::BigInteger>& values, Universe::UniverseSetBelongingOperator op, const std::vector<Universe::BigInteger>& set) override
void addCountWithVariableValues(const std::vector<std::string>& variables, const std::vector<std::string>& values, Universe::UniverseRelationalOperator op, const Universe::BigInteger& count) override
void addCountWithVariableValues(const std::vector<std::string>& variables, const std::vector<std::string>& values, Universe::UniverseRelationalOperator op, const std::string& count) override
void addCountWithVariableValues(const std::vector<std::string>& variables, const std::vector<std::string>& values, Universe::UniverseSetBelongingOperator op, const Universe::BigInteger& min, const Universe::BigInteger& max) override
void addCountWithVariableValues(const std::vector<std::string>& variables, const std::vector<std::string>& values, Universe::UniverseSetBelongingOperator op, const std::vector<Universe::BigInteger>& set) override
void addCountIntensionWithConstantValues(const std::vector<Universe::IUniverseIntensionConstraint*>& expressions, const std::vector<Universe::BigInteger>& values, Universe::UniverseRelationalOperator op, const Universe::BigInteger& count) override
void addCountIntensionWithConstantValues(const std::vector<Universe::IUniverseIntensionConstraint*>& expressions, const std::vector<Universe::BigInteger>& values, Universe::UniverseRelationalOperator op, const std::string& count) override
void addCountIntensionWithConstantValues(const std::vector<Universe::IUniverseIntensionConstraint*>& expressions, const std::vector<Universe::BigInteger>& values, Universe::UniverseSetBelongingOperator op, const Universe::BigInteger& min, const Universe::BigInteger& max) override
void addCountIntensionWithConstantValues(const std::vector<Universe::IUniverseIntensionConstraint*>& expressions, const std::vector<Universe::BigInteger>& values, Universe::UniverseSetBelongingOperator op, const std::vector<Universe::BigInteger>& set) override
void addNValues(const std::vector<std::string>& variables, Universe::UniverseRelationalOperator op, const Universe::BigInteger& nb) override
void addNValuesExcept(const std::vector<std::string>& variables, Universe::UniverseRelationalOperator op, const Universe::BigInteger& nb, const std::vector<Universe::BigInteger>& except) override
void addNValues(const std::vector<std::string>& variables, Universe::UniverseRelationalOperator op, const std::string& nb) override
void addNValuesExcept(const std::vector<std::string>& variables, Universe::UniverseRelationalOperator op, const std::string& nb, const std::vector<Universe::BigInteger>& except) override
void addNValues(const std::vector<std::string>& variables, Universe::UniverseSetBelongingOperator op, const Universe::BigInteger& min, const Universe::BigInteger& max) override
void addNValuesExcept(const std::vector<std::string>& variables, Universe::UniverseSetBelongingOperator op, const Universe::BigInteger& min, const Universe::BigInteger& max, const std::vector<Universe::BigInteger>& except) override
void addNValues(const std::vector<std::string>& variables, Universe::UniverseSetBelongingOperator op, const std::vector<Universe::BigInteger>& set) override
void addNValuesExcept(const std::vector<std::string>& variables, Universe::UniverseSetBelongingOperator op, const std::vector<Universe::BigInteger>& set, const std::vector<Universe::BigInteger>& except) override
void addNValuesIntension(const std::vector<Universe::IUniverseIntensionConstraint*>& expressions, Universe::UniverseRelationalOperator op, const Universe::BigInteger& nb) override
void addNValuesIntension(const std::vector<Universe::IUniverseIntensionConstraint*>& expressions, Universe::UniverseRelationalOperator op, const std::string& nb) override
void addNValuesIntension(const std::vector<Universe::IUniverseIntensionConstraint*>& expressions, Universe::UniverseSetBelongingOperator op, const Universe::BigInteger& min, const Universe::BigInteger& max) override
void addNValuesIntension(const std::vector<Universe::IUniverseIntensionConstraint*>& expressions, Universe::UniverseSetBelongingOperator op, const std::vector<Universe::BigInteger>& set) override
void addBinPacking(const std::vector<std::string>& variables, const std::vector<Universe::BigInteger>& sizes, Universe::UniverseRelationalOperator op, const Universe::BigInteger& value) override
void addBinPacking(const std::vector<std::string>& variables, const std::vector<Universe::BigInteger>& sizes, Universe::UniverseRelationalOperator op, const std::string& variable) override
void addBinPacking(const std::vector<std::string>& variables, const std::vector<Universe::BigInteger>& sizes, Universe::UniverseSetBelongingOperator op, const Universe::BigInteger& min, const Universe::BigInteger& max) override
void addBinPacking(const std::vector<std::string>& variables, const std::vector<Universe::BigInteger>& sizes, Universe::UniverseSetBelongingOperator op, const std::vector<Universe::BigInteger>& set) override
void addBinPackingWithConstantCapacities(const std::vector<std::string>& variables, const std::vector<Universe::BigInteger>& sizes, const std::vector<Universe::BigInteger>& capacities, bool loads) override
void addBinPackingWithVariableCapacities(const std::vector<std::string>& variables, const std::vector<Universe::BigInteger>& sizes, const std::vector<std::string>& capacities, bool loads) override
void addCumulativeConstantLengthsConstantHeights(const std::vector<std::string>& origins, const std::vector<Universe::BigInteger>& lengths, const std::vector<Universe::BigInteger>& heights, Universe::UniverseRelationalOperator op, const Universe::BigInteger& value) override
void addCumulativeConstantLengthsConstantHeights(const std::vector<std::string>& origins, const std::vector<Universe::BigInteger>& lengths, const std::vector<std::string>& ends, const std::vector<Universe::BigInteger>& heights, Universe::UniverseRelationalOperator op, const Universe::BigInteger& value) override
void addCumulativeConstantLengthsConstantHeights(const std::vector<std::string>& origins, const std::vector<Universe::BigInteger>& lengths, const std::vector<Universe::BigInteger>& heights, Universe::UniverseRelationalOperator op, const std::string& value) override
void addCumulativeConstantLengthsConstantHeights(const std::vector<std::string>& origins, const std::vector<Universe::BigInteger>& lengths, const std::vector<std::string>& ends, const std::vector<Universe::BigInteger>& heights, Universe::UniverseRelationalOperator op, const std::string& value) override
void addCumulativeConstantLengthsConstantHeights(const std::vector<std::string>& origins, const std::vector<Universe::BigInteger>& lengths, const std::vector<Universe::BigInteger>& heights, Universe::UniverseSetBelongingOperator op, const Universe::BigInteger& min, const Universe::BigInteger& max) override
void addCumulativeConstantLengthsConstantHeights(const std::vector<std::string>& origins, const std::vector<Universe::BigInteger>& lengths, const std::vector<std::string>& ends, const std::vector<Universe::BigInteger>& heights, Universe::UniverseSetBelongingOperator op, const Universe::BigInteger& min, const Universe::BigInteger& max) override
void addCumulativeConstantLengthsConstantHeights(const std::vector<std::string>& origins, const std::vector<Universe::BigInteger>& lengths, const std::vector<Universe::BigInteger>& heights, Universe::UniverseSetBelongingOperator op, const std::vector<Universe::BigInteger>& set) override
void addCumulativeConstantLengthsConstantHeights(const std::vector<std::string>& origins, const std::vector<Universe::BigInteger>& lengths, const std::vector<std::string>& ends, const std::vector<Universe::BigInteger>& heights, Universe::UniverseSetBelongingOperator op, const std::vector<Universe::BigInteger>& set) override
void addCumulativeConstantLengthsVariableHeights(const std::vector<std::string>& origins, const std::vector<Universe::BigInteger>& lengths, const std::vector<std::string>& heights, Universe::UniverseRelationalOperator op, const Universe::BigInteger& value) override
void addCumulativeConstantLengthsVariableHeights(const std::vector<std::string>& origins, const std::vector<Universe::BigInteger>& lengths, const std::vector<std::string>& ends, const std::vector<std::string>& heights, Universe::UniverseRelationalOperator op, const Universe::BigInteger& value) override
void addCumulativeConstantLengthsVariableHeights(const std::vector<std::string>& origins, const std::vector<Universe::BigInteger>& lengths, const std::vector<std::string>& heights, Universe::UniverseRelationalOperator op, const std::string& value) override
void addCumulativeConstantLengthsVariableHeights(const std::vector<std::string>& origins, const std::vector<Universe::BigInteger>& lengths, const std::vector<std::string>& ends, const std::vector<std::string>& heights, Universe::UniverseRelationalOperator op, const std::string& value) override
void addCumulativeConstantLengthsVariableHeights(const std::vector<std::string>& origins, const std::vector<Universe::BigInteger>& lengths, const std::vector<std::string>& heights, Universe::UniverseSetBelongingOperator op, const Universe::BigInteger& min, const Universe::BigInteger& max) override
void addCumulativeConstantLengthsVariableHeights(const std::vector<std::string>& origins, const std::vector<Universe::BigInteger>& lengths, const std::vector<std::string>& ends, const std::vector<std::string>& heights, Universe::UniverseSetBelongingOperator op, const Universe::BigInteger& min, const Universe::BigInteger& max) override
void addCumulativeConstantLengthsVariableHeights(const std::vector<std::string>& origins, const std::vector<Universe::BigInteger>& lengths, const std::vector<std::string>& heights, Universe::UniverseSetBelongingOperator op, const std::vector<Universe::BigInteger>& set) override
void addCumulativeConstantLengthsVariableHeights(const std::vector<std::string>& origins, const std::vector<Universe::BigInteger>& lengths, const std::vector<std::string>& ends, const std::vector<std::string>& heights, Universe::UniverseSetBelongingOperator op, const std::vector<Universe::BigInteger>& set) override
void addCumulativeVariableLengthsConstantHeights(const std::vector<std::string>& origins, const std::vector<std::string>& lengths, const std::vector<Universe::BigInteger>& heights, Universe::UniverseRelationalOperator op, const Universe::BigInteger& value) override
void addCumulativeVariableLengthsConstantHeights(const std::vector<std::string>& origins, const std::vector<std::string>& lengths, const std::vector<std::string>& ends, const std::vector<Universe::BigInteger>& heights, Universe::UniverseRelationalOperator op, const Universe::BigInteger& value) override
void addCumulativeVariableLengthsConstantHeights(const std::vector<std::string>& origins, const std::vector<std::string>& lengths, const std::vector<Universe::BigInteger>& heights, Universe::UniverseRelationalOperator op, const std::string& value) override
void addCumulativeVariableLengthsConstantHeights(const std::vector<std::string>& origins, const std::vector<std::string>& lengths, const std::vector<std::string>& ends, const std::vector<Universe::BigInteger>& heights, Universe::UniverseRelationalOperator op, const std::string& value) override
void addCumulativeVariableLengthsConstantHeights(const std::vector<std::string>& origins, const std::vector<std::string>& lengths, const std::vector<Universe::BigInteger>& heights, Universe::UniverseSetBelongingOperator op, const Universe::BigInteger& min, const Universe::BigInteger& max) override
void addCumulativeVariableLengthsConstantHeights(const std::vector<std::string>& origins, const std::vector<std::string>& lengths, const std::vector<std::string>& ends, const std::vector<Universe::BigInteger>& heights, Universe::UniverseSetBelongingOperator op, const Universe::BigInteger& min, const Universe::BigInteger& max) override
void addCumulativeVariableLengthsConstantHeights(const std::vector<std::string>& origins, const std::vector<std::string>& lengths, const std::vector<Universe::BigInteger>& heights, Universe::UniverseSetBelongingOperator op, const std::vector<Universe::BigInteger>& set) override
void addCumulativeVariableLengthsConstantHeights(const std::vector<std::string>& origins, const std::vector<std::string>& lengths, const std::vector<std::string>& ends, const std::vector<Universe::BigInteger>& heights, Universe::UniverseSetBelongingOperator op, const std::vector<Universe::BigInteger>& set) override
void addCumulativeVariableLengthsVariableHeights(const std::vector<std::string>& origins, const std::vector<std::string>& lengths, const std::vector<std::string>& heights, Universe::UniverseRelationalOperator op, const Universe::BigInteger& value) override
void addCumulativeVariableLengthsVariableHeights(const std::vector<std::string>& origins, const std::vector<std::string>& lengths, const std::vector<std::string>& ends, const std::vector<std::string>& heights, Universe::UniverseRelationalOperator op, const Universe::BigInteger& value) override
void addCumulativeVariableLengthsVariableHeights(const std::vector<std::string>& origins, const std::vector<std::string>& lengths, const std::vector<std::string>& heights, Universe::UniverseRelationalOperator op, const std::string& value) override
void addCumulativeVariableLengthsVariableHeights(const std::vector<std::string>& origins, const std::vector<std::string>& lengths, const std::vector<std::string>& ends, const std::vector<std::string>& heights, Universe::UniverseRelationalOperator op, const std::string& value) override
void addCumulativeVariableLengthsVariableHeights(const std::vector<std::string>& origins, const std::vector<std::string>& lengths, const std::vector<std::string>& heights, Universe::UniverseSetBelongingOperator op, const Universe::BigInteger& min, const Universe::BigInteger& max) override
void addCumulativeVariableLengthsVariableHeights(const std::vector<std::string>& origins, const std::vector<std::string>& lengths, const std::vector<std::string>& ends, const std::vector<std::string>& heights, Universe::UniverseSetBelongingOperator op, const Universe::BigInteger& min, const Universe::BigInteger& max) override
void addCumulativeVariableLengthsVariableHeights(const std::vector<std::string>& origins, const std::vector<std::string>& lengths, const std::vector<std::string>& heights, Universe::UniverseSetBelongingOperator op, const std::vector<Universe::BigInteger>& set) override
void addCumulativeVariableLengthsVariableHeights(const std::vector<std::string>& origins, const std::vector<std::string>& lengths, const std::vector<std::string>& ends, const std::vector<std::string>& heights, Universe::UniverseSetBelongingOperator op, const std::vector<Universe::BigInteger>& set) override
void addKnapsack(const std::vector<std::string>& variables, const std::vector<Universe::BigInteger>& weights, Universe::UniverseRelationalOperator wOperator, const Universe::BigInteger& wValue, const std::vector<Universe::BigInteger>& profits, Universe::UniverseRelationalOperator pOperator, const Universe::BigInteger& pValue) override
void addKnapsack(const std::vector<std::string>& variables, const std::vector<Universe::BigInteger>& weights, Universe::UniverseRelationalOperator wOperator, const Universe::BigInteger& wValue, const std::vector<Universe::BigInteger>& profits, Universe::UniverseRelationalOperator pOperator, const std::string& pVariable) override
void addKnapsack(const std::vector<std::string>& variables, const std::vector<Universe::BigInteger>& weights, Universe::UniverseRelationalOperator wOperator, const Universe::BigInteger& wValue, const std::vector<Universe::BigInteger>& profits, Universe::UniverseSetBelongingOperator pOperator, const Universe::BigInteger& pMin, const Universe::BigInteger& pMax) override
void addKnapsack(const std::vector<std::string>& variables, const std::vector<Universe::BigInteger>& weights, Universe::UniverseRelationalOperator wOperator, const Universe::BigInteger& wValue, const std::vector<Universe::BigInteger>& profits, Universe::UniverseSetBelongingOperator pOperator, const std::vector<Universe::BigInteger>& pSet) override
void addKnapsack(const std::vector<std::string>& variables, const std::vector<Universe::BigInteger>& weights, Universe::UniverseRelationalOperator wOperator, const std::string& wVariable, const std::vector<Universe::BigInteger>& profits, Universe::UniverseRelationalOperator pOperator, const Universe::BigInteger& pValue) override
void addKnapsack(const std::vector<std::string>& variables, const std::vector<Universe::BigInteger>& weights, Universe::UniverseRelationalOperator wOperator, const std::string& wVariable, const std::vector<Universe::BigInteger>& profits, Universe::UniverseRelationalOperator pOperator, const std::string& pVariable) override
void addKnapsack(const std::vector<std::string>& variables, const std::vector<Universe::BigInteger>& weights, Universe::UniverseRelationalOperator wOperator, const std::string& wVariable, const std::vector<Universe::BigInteger>& profits, Universe::UniverseSetBelongingOperator pOperator, const Universe::BigInteger& pMin, const Universe::BigInteger& pMax) override
void addKnapsack(const std::vector<std::string>& variables, const std::vector<Universe::BigInteger>& weights, Universe::UniverseRelationalOperator wOperator, const std::string& wVariable, const std::vector<Universe::BigInteger>& profits, Universe::UniverseSetBelongingOperator pOperator, const std::vector<Universe::BigInteger>& pSet) override
void addKnapsack(const std::vector<std::string>& variables, const std::vector<Universe::BigInteger>& weights, Universe::UniverseSetBelongingOperator wOperator, const Universe::BigInteger& wMin, const Universe::BigInteger& wMax, const std::vector<Universe::BigInteger>& profits, Universe::UniverseRelationalOperator pOperator, const Universe::BigInteger& pValue) override
void addKnapsack(const std::vector<std::string>& variables, const std::vector<Universe::BigInteger>& weights, Universe::UniverseSetBelongingOperator wOperator, const Universe::BigInteger& wMin, const Universe::BigInteger& wMax, const std::vector<Universe::BigInteger>& profits, Universe::UniverseRelationalOperator pOperator, const std::string& pVariable) override
void addKnapsack(const std::vector<std::string>& variables, const std::vector<Universe::BigInteger>& weights, Universe::UniverseSetBelongingOperator wOperator, const Universe::BigInteger& wMin, const Universe::BigInteger& wMax, const std::vector<Universe::BigInteger>& profits, Universe::UniverseSetBelongingOperator pOperator, const Universe::BigInteger& pMin, const Universe::BigInteger& pMax) override
void addKnapsack(const std::vector<std::string>& variables, const std::vector<Universe::BigInteger>& weights, Universe::UniverseSetBelongingOperator wOperator, const Universe::BigInteger& wMin, const Universe::BigInteger& wMax, const std::vector<Universe::BigInteger>& profits, Universe::UniverseSetBelongingOperator pOperator, const std::vector<Universe::BigInteger>& pSet) override
void addKnapsack(const std::vector<std::string>& variables, const std::vector<Universe::BigInteger>& weights, Universe::UniverseSetBelongingOperator wOperator, const std::vector<Universe::BigInteger>& wSet, const std::vector<Universe::BigInteger>& profits, Universe::UniverseRelationalOperator pOperator, const Universe::BigInteger& pValue) override
void addKnapsack(const std::vector<std::string>& variables, const std::vector<Universe::BigInteger>& weights, Universe::UniverseSetBelongingOperator wOperator, const std::vector<Universe::BigInteger>& wSet, const std::vector<Universe::BigInteger>& profits, Universe::UniverseRelationalOperator pOperator, const std::string& pVariable) override
void addKnapsack(const std::vector<std::string>& variables, const std::vector<Universe::BigInteger>& weights, Universe::UniverseSetBelongingOperator wOperator, const std::vector<Universe::BigInteger>& wSet, const std::vector<Universe::BigInteger>& profits, Universe::UniverseSetBelongingOperator pOperator, const Universe::BigInteger& pMin, const Universe::BigInteger& pMax) override
void addKnapsack(const std::vector<std::string>& variables, const std::vector<Universe::BigInteger>& weights, Universe::UniverseSetBelongingOperator wOperator, const std::vector<Universe::BigInteger>& wSet, const std::vector<Universe::BigInteger>& profits, Universe::UniverseSetBelongingOperator pOperator, const std::vector<Universe::BigInteger>& pSet) override
void addStretch(const std::vector<std::string>& variables, const std::vector<Universe::BigInteger>& values, const std::vector<Universe::BigInteger>& widthsMin, const std::vector<Universe::BigInteger>& widthsMax) override
void addStretch(const std::vector<std::string>& variables, const std::vector<Universe::BigInteger>& values, const std::vector<Universe::BigInteger>& widthsMin, const std::vector<Universe::BigInteger>& widthsMax, const std::vector<std::vector<Universe::BigInteger>>& patterns) override
void addElement(const std::vector<std::string>& variables, Universe::UniverseRelationalOperator op, const Universe::BigInteger& value) override
void addElement(const std::vector<std::string>& variables, Universe::UniverseRelationalOperator op, const std::string& value) override
void addElement(const std::vector<std::string>& variables, Universe::UniverseSetBelongingOperator op, const Universe::BigInteger& min, const Universe::BigInteger& max) override
void addElement(const std::vector<std::string>& variables, Universe::UniverseSetBelongingOperator op, const std::vector<Universe::BigInteger>& set) override
void addElementConstantValues(const std::vector<Universe::BigInteger>& values, int startIndex, const std::string& index, Universe::UniverseRelationalOperator op, const Universe::BigInteger& value) override
void addElementConstantValues(const std::vector<Universe::BigInteger>& values, int startIndex, const std::string& index, Universe::UniverseRelationalOperator op, const std::string& variable) override
void addElementConstantValues(const std::vector<Universe::BigInteger>& values, int startIndex, const std::string& index, Universe::UniverseSetBelongingOperator op, const Universe::BigInteger& min, const Universe::BigInteger& max) override
void addElementConstantValues(const std::vector<Universe::BigInteger>& values, int startIndex, const std::string& index, Universe::UniverseSetBelongingOperator op, const std::vector<Universe::BigInteger>& set) override
void addElement(const std::vector<std::string>& variables, int startIndex, const std::string& index, Universe::UniverseRelationalOperator op, const Universe::BigInteger& value) override
void addElement(const std::vector<std::string>& variables, int startIndex, const std::string& index, Universe::UniverseRelationalOperator op, const std::string& variable) override
void addElement(const std::vector<std::string>& variables, int startIndex, const std::string& index, Universe::UniverseSetBelongingOperator op, const Universe::BigInteger& min, const Universe::BigInteger& max) override
void addElement(const std::vector<std::string>& variables, int startIndex, const std::string& index, Universe::UniverseSetBelongingOperator op, const std::vector<Universe::BigInteger>& set) override
void addElementConstantMatrix(const std::vector<std::vector<Universe::BigInteger>>& matrix, int startRowIndex, const std::string& rowIndex, int startColIndex, const std::string& colIndex, Universe::UniverseRelationalOperator op, const Universe::BigInteger& value) override
void addElementConstantMatrix(const std::vector<std::vector<Universe::BigInteger>>& matrix, int startRowIndex, const std::string& rowIndex, int startColIndex, const std::string& colIndex, Universe::UniverseRelationalOperator op, const std::string& value) override
void addElementConstantMatrix(const std::vector<std::vector<Universe::BigInteger>>& matrix, int startRowIndex, const std::string& rowIndex, int startColIndex, const std::string& colIndex, Universe::UniverseSetBelongingOperator op, const Universe::BigInteger& min, const Universe::BigInteger& max) override
void addElementConstantMatrix(const std::vector<std::vector<Universe::BigInteger>>& matrix, int startRowIndex, const std::string& rowIndex, int startColIndex, const std::string& colIndex, Universe::UniverseSetBelongingOperator op, const std::vector<Universe::BigInteger>& set) override
void addElementMatrix(const std::vector<std::vector<std::string>>& matrix, int startRowIndex, const std::string& rowIndex, int startColIndex, const std::string& colIndex, Universe::UniverseRelationalOperator op, const Universe::BigInteger& value) override
void addElementMatrix(const std::vector<std::vector<std::string>>& matrix, int startRowIndex, const std::string& rowIndex, int startColIndex, const std::string& colIndex, Universe::UniverseRelationalOperator op, const std::string& value) override
void addElementMatrix(const std::vector<std::vector<std::string>>& matrix, int startRowIndex, const std::string& rowIndex, int startColIndex, const std::string& colIndex, Universe::UniverseSetBelongingOperator op, const Universe::BigInteger& min, const Universe::BigInteger& max) override
void addElementMatrix(const std::vector<std::vector<std::string>>& matrix, int startRowIndex, const std::string& rowIndex, int startColIndex, const std::string& colIndex, Universe::UniverseSetBelongingOperator op, const std::vector<Universe::BigInteger>& set) override
void addPrecedence(const std::vector<std::string>& variables) override
void addPrecedence(const std::vector<std::string>& variables, const std::vector<Universe::BigInteger>& values, bool covered) override
void addSupport(const std::string& variable, const std::vector<Universe::BigInteger>& allowedValues, bool hasStar) override
void addSupportSymbolic(const std::string& variable, const std::vector<std::string>& allowedValues, bool hasStar) override
void addSupport(const std::vector<std::string>& variableTuple, const std::vector<std::vector<Universe::BigInteger>>& allowedValues, bool hasStar) override
void addSupportSymbolic(const std::vector<std::string>& variableTuple, const std::vector<std::vector<std::string>>& allowedValues, bool hasStar) override
void addConflicts(const std::string& variable, const std::vector<Universe::BigInteger>& forbiddenValues, bool hasStar) override
void addConflictsSymbolic(const std::string& variable, const std::vector<std::string>& forbiddenValues, bool hasStar) override
void addConflicts(const std::vector<std::string>& variableTuple, const std::vector<std::vector<Universe::BigInteger>>& forbiddenValues, bool hasStar) override
void addConflictsSymbolic(const std::vector<std::string>& variableTuple, const std::vector<std::vector<std::string>>& forbiddenValues, bool hasStar) override
void addIntension(Universe::IUniverseIntensionConstraint* constr) override
void addPrimitive(const std::string& variable, Universe::UniverseRelationalOperator op, const Universe::BigInteger& value) override
void addPrimitive(const std::string& variable, Universe::UniverseArithmeticOperator arithOp, const Universe::BigInteger& leftHandSide, Universe::UniverseRelationalOperator relOp, const Universe::BigInteger& rightHandSide) override
void addPrimitive(const std::string& variable, Universe::UniverseArithmeticOperator arithOp, const std::string& leftHandSide, Universe::UniverseRelationalOperator relOp, const Universe::BigInteger& rightHandSide) override
void addPrimitive(const std::string& variable, Universe::UniverseArithmeticOperator arithOp, const Universe::BigInteger& leftHandSide, Universe::UniverseRelationalOperator relOp, const std::string& rightHandSide) override
void addPrimitive(const std::string& variable, Universe::UniverseArithmeticOperator arithOp, const std::string& leftHandSide, Universe::UniverseRelationalOperator relOp, const std::string& rightHandSide) override
void addPrimitive(Universe::UniverseArithmeticOperator arithOp, const std::string& variable, const std::string& rightHandSide) override
void addPrimitive(const std::string& variable, Universe::UniverseSetBelongingOperator op, const Universe::BigInteger& min, const Universe::BigInteger& max) override
void addPrimitive(const std::string& variable, Universe::UniverseSetBelongingOperator op, const std::vector<Universe::BigInteger>& values) override
void addMinimum(const std::vector<std::string>& variables, Universe::UniverseRelationalOperator op, const Universe::BigInteger& value) override
void addMinimum(const std::vector<std::string>& variables, Universe::UniverseRelationalOperator op, const std::string& value) override
void addMinimum(const std::vector<std::string>& variables, Universe::UniverseSetBelongingOperator op, const Universe::BigInteger& min, const Universe::BigInteger& max) override
void addMinimum(const std::vector<std::string>& variables, Universe::UniverseSetBelongingOperator op, const std::vector<Universe::BigInteger>& set) override
void addMinimumIndex(const std::vector<std::string>& variables, int startIndex, const std::string& index, Universe::UniverseRelationalOperator op, const Universe::BigInteger& value) override
void addMinimumIndex(const std::vector<std::string>& variables, int startIndex, const std::string& index, Universe::UniverseRelationalOperator op, const std::string& value) override
void addMinimumIndex(const std::vector<std::string>& variables, int startIndex, const std::string& index, Universe::UniverseSetBelongingOperator op, const Universe::BigInteger& min, const Universe::BigInteger& max) override
void addMinimumIndex(const std::vector<std::string>& variables, int startIndex, const std::string& index, Universe::UniverseSetBelongingOperator op, const std::vector<Universe::BigInteger>& set) override
void addMinimumIntension(const std::vector<Universe::IUniverseIntensionConstraint*>& intensionConstraints, Universe::UniverseRelationalOperator op, const Universe::BigInteger& value) override
void addMinimumIntension(const std::vector<Universe::IUniverseIntensionConstraint*>& intensionConstraints, Universe::UniverseRelationalOperator op, const std::string& value) override
void addMinimumIntension(const std::vector<Universe::IUniverseIntensionConstraint*>& intensionConstraints, Universe::UniverseSetBelongingOperator op, const Universe::BigInteger& min, const Universe::BigInteger& max) override
void addMinimumIntension(const std::vector<Universe::IUniverseIntensionConstraint*>& intensionConstraints, Universe::UniverseSetBelongingOperator op, const std::vector<Universe::BigInteger>& set) override
void addMinimumArg(const std::vector<std::string>& variables, Universe::UniverseRelationalOperator op, const Universe::BigInteger& value) override
void addMinimumArg(const std::vector<std::string>& variables, Universe::UniverseRelationalOperator op, const std::string& value) override
void addMinimumArg(const std::vector<std::string>& variables, Universe::UniverseSetBelongingOperator op, const Universe::BigInteger& min, const Universe::BigInteger& max) override
void addMinimumArg(const std::vector<std::string>& variables, Universe::UniverseSetBelongingOperator op, const std::vector<Universe::BigInteger>& set) override
void addMinimumArgIntension(const std::vector<Universe::IUniverseIntensionConstraint*>& intensionConstraints, Universe::UniverseRelationalOperator op, const Universe::BigInteger& value) override
void addMinimumArgIntension(const std::vector<Universe::IUniverseIntensionConstraint*>& intensionConstraints, Universe::UniverseRelationalOperator op, const std::string& value) override
void addMinimumArgIntension(const std::vector<Universe::IUniverseIntensionConstraint*>& intensionConstraints, Universe::UniverseSetBelongingOperator op, const Universe::BigInteger& min, const Universe::BigInteger& max) override
void addMinimumArgIntension(const std::vector<Universe::IUniverseIntensionConstraint*>& intensionConstraints, Universe::UniverseSetBelongingOperator op, const std::vector<Universe::BigInteger>& set) override
void addMaximum(const std::vector<std::string>& variables, Universe::UniverseRelationalOperator op, const Universe::BigInteger& value) override
void addMaximum(const std::vector<std::string>& variables, Universe::UniverseRelationalOperator op, const std::string& value) override
void addMaximum(const std::vector<std::string>& variables, Universe::UniverseSetBelongingOperator op, const Universe::BigInteger& min, const Universe::BigInteger& max) override
void addMaximum(const std::vector<std::string>& variables, Universe::UniverseSetBelongingOperator op, const std::vector<Universe::BigInteger>& set) override
void addMaximumIndex(const std::vector<std::string>& variables, int startIndex, const std::string& index, Universe::UniverseRelationalOperator op, const Universe::BigInteger& value) override
void addMaximumIndex(const std::vector<std::string>& variables, int startIndex, const std::string& index, Universe::UniverseRelationalOperator op, const std::string& value) override
void addMaximumIndex(const std::vector<std::string>& variables, int startIndex, const std::string& index, Universe::UniverseSetBelongingOperator op, const Universe::BigInteger& min, const Universe::BigInteger& max) override
void addMaximumIndex(const std::vector<std::string>& variables, int startIndex, const std::string& index, Universe::UniverseSetBelongingOperator op, const std::vector<Universe::BigInteger>& set) override
void addMaximumIntension(const std::vector<Universe::IUniverseIntensionConstraint*>& intensionConstraints, Universe::UniverseRelationalOperator op, const Universe::BigInteger& value) override
void addMaximumIntension(const std::vector<Universe::IUniverseIntensionConstraint*>& intensionConstraints, Universe::UniverseRelationalOperator op, const std::string& value) override
void addMaximumIntension(const std::vector<Universe::IUniverseIntensionConstraint*>& intensionConstraints, Universe::UniverseSetBelongingOperator op, const Universe::BigInteger& min, const Universe::BigInteger& max) override
void addMaximumIntension(const std::vector<Universe::IUniverseIntensionConstraint*>& intensionConstraints, Universe::UniverseSetBelongingOperator op, const std::vector<Universe::BigInteger>& set) override
void addMaximumArg(const std::vector<std::string>& variables, Universe::UniverseRelationalOperator op, const Universe::BigInteger& value) override
void addMaximumArg(const std::vector<std::string>& variables, Universe::UniverseRelationalOperator op, const std::string& value) override
void addMaximumArg(const std::vector<std::string>& variables, Universe::UniverseSetBelongingOperator op, const Universe::BigInteger& min, const Universe::BigInteger& max) override
void addMaximumArg(const std::vector<std::string>& variables, Universe::UniverseSetBelongingOperator op, const std::vector<Universe::BigInteger>& set) override
void addMaximumArgIntension(const std::vector<Universe::IUniverseIntensionConstraint*>& intensionConstraints, Universe::UniverseRelationalOperator op, const Universe::BigInteger& value) override
void addMaximumArgIntension(const std::vector<Universe::IUniverseIntensionConstraint*>& intensionConstraints, Universe::UniverseRelationalOperator op, const std::string& value) override
void addMaximumArgIntension(const std::vector<Universe::IUniverseIntensionConstraint*>& intensionConstraints, Universe::UniverseSetBelongingOperator op, const Universe::BigInteger& min, const Universe::BigInteger& max) override
void addMaximumArgIntension(const std::vector<Universe::IUniverseIntensionConstraint*>& intensionConstraints, Universe::UniverseSetBelongingOperator op, const std::vector<Universe::BigInteger>& set) override
void addNoOverlap(const std::vector<std::string>& variables, const std::vector<Universe::BigInteger>& length) override
void addNoOverlap(const std::vector<std::string>& variables, const std::vector<Universe::BigInteger>& length, bool zeroIgnored) override
void addNoOverlapVariableLength(const std::vector<std::string>& variables, const std::vector<std::string>& length) override
void addNoOverlapVariableLength(const std::vector<std::string>& variables, const std::vector<std::string>& length, bool zeroIgnored) override
void addBiDimensionalNoOverlap(const std::vector<std::string>& xVariables, const std::vector<std::string>& yVariables, const std::vector<std::string>& xLength, const std::vector<Universe::BigInteger>& yLength) override
void addBiDimensionalNoOverlap(const std::vector<std::string>& xVariables, const std::vector<std::string>& yVariables, const std::vector<std::string>& xLength, const std::vector<Universe::BigInteger>& yLength, bool zeroIgnored) override
void addMultiDimensionalNoOverlap(const std::vector<std::vector<std::string>>& variables, const std::vector<std::vector<Universe::BigInteger>>& length) override
void addMultiDimensionalNoOverlap(const std::vector<std::vector<std::string>>& variables, const std::vector<std::vector<Universe::BigInteger>>& length, bool zeroIgnored) override
void addMultiDimensionalNoOverlapVariableLength(const std::vector<std::vector<std::string>>& variables, const std::vector<std::vector<std::string>>& length) override
void addMultiDimensionalNoOverlapVariableLength(const std::vector<std::vector<std::string>>& variables, const std::vector<std::vector<std::string>>& length, bool zeroIgnored) override
void addOrdered(const std::vector<std::string>& variables, Universe::UniverseRelationalOperator op) override
void addOrderedWithConstantLength(const std::vector<std::string>& variables, const std::vector<Universe::BigInteger>& lengths, Universe::UniverseRelationalOperator op) override
void addOrderedWithVariableLength(const std::vector<std::string>& variables, const std::vector<std::string>& lengths, Universe::UniverseRelationalOperator op) override
void addAllEqual(const std::vector<std::string>& variables) override
void addAllEqualIntension(const std::vector<Universe::IUniverseIntensionConstraint*>& expressions) override
void addNotAllEqual(const std::vector<std::string>& variables) override
void addLex(const std::vector<std::vector<std::string>>& tuples, Universe::UniverseRelationalOperator op) override
void addLex(const std::vector<std::vector<std::string>>& variables, const std::vector<std::vector<Universe::BigInteger>>& limit, Universe::UniverseRelationalOperator op) override
void addLexMatrix(const std::vector<std::vector<std::string>>& matrix, Universe::UniverseRelationalOperator op) override
void addSum(const std::vector<std::string>& variables, Universe::UniverseRelationalOperator op, const Universe::BigInteger& value) override
void addSum(const std::vector<std::string>& variables, Universe::UniverseRelationalOperator op, const std::string& rightVariable) override
void addSum(const std::vector<std::string>& variables, Universe::UniverseSetBelongingOperator op, const Universe::BigInteger& min, const Universe::BigInteger& max) override
void addSum(const std::vector<std::string>& variables, Universe::UniverseSetBelongingOperator op, const std::vector<Universe::BigInteger>& values) override
void addSum(const std::vector<std::string>& variables, const std::vector<Universe::BigInteger>& coefficients, Universe::UniverseRelationalOperator op, const Universe::BigInteger& value) override
void addSum(const std::vector<std::string>& variables, const std::vector<Universe::BigInteger>& coefficients, Universe::UniverseRelationalOperator op, const std::string& rightVariable) override
void addSum(const std::vector<std::string>& variables, const std::vector<Universe::BigInteger>& coefficients, Universe::UniverseSetBelongingOperator op, const Universe::BigInteger& min, const Universe::BigInteger& max) override
void addSum(const std::vector<std::string>& variables, const std::vector<Universe::BigInteger>& coefficients, Universe::UniverseSetBelongingOperator op, const std::vector<Universe::BigInteger>& values) override
void addSumIntension(const std::vector<Universe::IUniverseIntensionConstraint*>& expressions, Universe::UniverseRelationalOperator op, const Universe::BigInteger& value) override
void addSumIntension(const std::vector<Universe::IUniverseIntensionConstraint*>& expressions, Universe::UniverseRelationalOperator op, const std::string& rightVariable) override
void addSumIntension(const std::vector<Universe::IUniverseIntensionConstraint*>& expressions, Universe::UniverseSetBelongingOperator op, const Universe::BigInteger& min, const Universe::BigInteger& max) override
void addSumIntension(const std::vector<Universe::IUniverseIntensionConstraint*>& expressions, Universe::UniverseSetBelongingOperator op, const std::vector<Universe::BigInteger>& values) override
void addSumIntension(const std::vector<Universe::IUniverseIntensionConstraint*>& expressions, const std::vector<Universe::BigInteger>& coefficients, Universe::UniverseRelationalOperator op, const Universe::BigInteger& value) override
void addSumIntension(const std::vector<Universe::IUniverseIntensionConstraint*>& expressions, const std::vector<Universe::BigInteger>& coefficients, Universe::UniverseRelationalOperator op, const std::string& rightVariable) override
void addSumIntension(const std::vector<Universe::IUniverseIntensionConstraint*>& expressions, const std::vector<Universe::BigInteger>& coefficients, Universe::UniverseSetBelongingOperator op, const Universe::BigInteger& min, const Universe::BigInteger& max) override
void addSumIntension(const std::vector<Universe::IUniverseIntensionConstraint*>& expressions, const std::vector<Universe::BigInteger>& coefficients, Universe::UniverseSetBelongingOperator op, const std::vector<Universe::BigInteger>& values) override
void addSumWithVariableCoefficients(const std::vector<std::string>& variables, const std::vector<std::string>& coefficients, Universe::UniverseRelationalOperator op, const Universe::BigInteger& value) override
void addSumWithVariableCoefficients(const std::vector<std::string>& variables, const std::vector<std::string>& coefficients, Universe::UniverseRelationalOperator op, const std::string& rightVariable) override
void addSumWithVariableCoefficients(const std::vector<std::string>& variables, const std::vector<std::string>& coefficients, Universe::UniverseSetBelongingOperator op, const Universe::BigInteger& min, const Universe::BigInteger& max) override
void addSumWithVariableCoefficients(const std::vector<std::string>& variables, const std::vector<std::string>& coefficients, Universe::UniverseSetBelongingOperator op, const std::vector<Universe::BigInteger>& values) override
void addSumIntensionWithVariableCoefficients(const std::vector<Universe::IUniverseIntensionConstraint*>& expressions, const std::vector<std::string>& coefficients, Universe::UniverseRelationalOperator op, const Universe::BigInteger& value) override
void addSumIntensionWithVariableCoefficients(const std::vector<Universe::IUniverseIntensionConstraint*>& expressions, const std::vector<std::string>& coefficients, Universe::UniverseRelationalOperator op, const std::string& rightVariable) override
void addSumIntensionWithVariableCoefficients(const std::vector<Universe::IUniverseIntensionConstraint*>& expressions, const std::vector<std::string>& coefficients, Universe::UniverseSetBelongingOperator op, const Universe::BigInteger& min, const Universe::BigInteger& max) override
void addSumIntensionWithVariableCoefficients(const std::vector<Universe::IUniverseIntensionConstraint*>& expressions, const std::vector<std::string>& coefficients, Universe::UniverseSetBelongingOperator op, const std::vector<Universe::BigInteger>& values) override
void addCircuit(const std::vector<std::string>& variables, int startIndex) override
void addCircuit(const std::vector<std::string>& variables, int startIndex, const Universe::BigInteger& size) override
void addCircuit(const std::vector<std::string>& variables, int startIndex, const std::string& size) override
void addMDD(const std::vector<std::string>& variables, const std::vector<UniverseTransition>& transitions) override
void addRegular(const std::vector<std::string>& variables, const std::vector<UniverseTransition>& transitions, const std::string& startState, const std::vector<std::string>& finalStates) override
void addFlow(const std::vector<std::string>& variables, const std::vector<Universe::BigInteger>& balance, const std::vector<std::vector<Universe::BigInteger>>& edges) override
void addFlow(const std::vector<std::string>& variables, const std::vector<Universe::BigInteger>& balance, const std::vector<std::vector<Universe::BigInteger>>& edges, const std::vector<Universe::BigInteger>& weights, Universe::UniverseRelationalOperator op, const Universe::BigInteger& totalCost) override
void addFlow(const std::vector<std::string>& variables, const std::vector<Universe::BigInteger>& balance, const std::vector<std::vector<Universe::BigInteger>>& edges, const std::vector<Universe::BigInteger>& weights, Universe::UniverseRelationalOperator op, const std::string& totalCost) override
void addFlow(const std::vector<std::string>& variables, const std::vector<Universe::BigInteger>& balance, const std::vector<std::vector<Universe::BigInteger>>& edges, const std::vector<Universe::BigInteger>& weights, Universe::UniverseSetBelongingOperator op, const Universe::BigInteger& min, const Universe::BigInteger& max) override
void addFlow(const std::vector<std::string>& variables, const std::vector<Universe::BigInteger>& balance, const std::vector<std::vector<Universe::BigInteger>>& edges, const std::vector<Universe::BigInteger>& weights, Universe::UniverseSetBelongingOperator op, const std::vector<Universe::BigInteger>& set) override
void minimizeVariable(const std::string& variable) override
void minimizeExpression(Universe::IUniverseIntensionConstraint* expression) override
void maximizeVariable(const std::string& variable) override
void maximizeExpression(Universe::IUniverseIntensionConstraint* expression) override
void minimizeSum(const std::vector<std::string>& variables) override
void minimizeSum(const std::vector<std::string>& variables, const std::vector<Universe::BigInteger>& coefficients) override
void minimizeExpressionSum(const std::vector<Universe::IUniverseIntensionConstraint*>& expressions) override
void minimizeExpressionSum(const std::vector<Universe::IUniverseIntensionConstraint*>& expressions, const std::vector<Universe::BigInteger>& coefficients) override
void maximizeSum(const std::vector<std::string>& variables) override
void maximizeSum(const std::vector<std::string>& variables, const std::vector<Universe::BigInteger>& coefficients) override
void maximizeExpressionSum(const std::vector<Universe::IUniverseIntensionConstraint*>& expressions) override
void maximizeExpressionSum(const std::vector<Universe::IUniverseIntensionConstraint*>& expressions, const std::vector<Universe::BigInteger>& coefficients) override
void minimizeProduct(const std::vector<std::string>& variables) override
void minimizeProduct(const std::vector<std::string>& variables, const std::vector<Universe::BigInteger>& coefficients) override
void minimizeExpressionProduct(const std::vector<Universe::IUniverseIntensionConstraint*>& expressions) override
void minimizeExpressionProduct(const std::vector<Universe::IUniverseIntensionConstraint*>& expressions, const std::vector<Universe::BigInteger>& coefficients) override
void maximizeProduct(const std::vector<std::string>& variables) override
void maximizeProduct(const std::vector<std::string>& variables, const std::vector<Universe::BigInteger>& coefficients) override
void maximizeExpressionProduct(const std::vector<Universe::IUniverseIntensionConstraint*>& expressions) override
void maximizeExpressionProduct(const std::vector<Universe::IUniverseIntensionConstraint*>& expressions, const std::vector<Universe::BigInteger>& coefficients) override
void minimizeMinimum(const std::vector<std::string>& variables) override
void minimizeMinimum(const std::vector<std::string>& variables, const std::vector<Universe::BigInteger>& coefficients) override
void minimizeExpressionMinimum(const std::vector<Universe::IUniverseIntensionConstraint*>& expressions) override
void minimizeExpressionMinimum(const std::vector<Universe::IUniverseIntensionConstraint*>& expressions, const std::vector<Universe::BigInteger>& coefficients) override
void maximizeMinimum(const std::vector<std::string>& variables) override
void maximizeMinimum(const std::vector<std::string>& variables, const std::vector<Universe::BigInteger>& coefficients) override
void maximizeExpressionMinimum(const std::vector<Universe::IUniverseIntensionConstraint*>& expressions) override
void maximizeExpressionMinimum(const std::vector<Universe::IUniverseIntensionConstraint*>& expressions, const std::vector<Universe::BigInteger>& coefficients) override
void minimizeMaximum(const std::vector<std::string>& variables) override
void minimizeMaximum(const std::vector<std::string>& variables, const std::vector<Universe::BigInteger>& coefficients) override
void minimizeExpressionMaximum(const std::vector<Universe::IUniverseIntensionConstraint*>& expressions) override
void minimizeExpressionMaximum(const std::vector<Universe::IUniverseIntensionConstraint*>& expressions, const std::vector<Universe::BigInteger>& coefficients) override
void maximizeMaximum(const std::vector<std::string>& variables) override
void maximizeMaximum(const std::vector<std::string>& variables, const std::vector<Universe::BigInteger>& coefficients) override
void maximizeExpressionMaximum(const std::vector<Universe::IUniverseIntensionConstraint*>& expressions) override
void maximizeExpressionMaximum(const std::vector<Universe::IUniverseIntensionConstraint*>& expressions, const std::vector<Universe::BigInteger>& coefficients) override
void minimizeNValues(const std::vector<std::string>& variables) override
void minimizeNValues(const std::vector<std::string>& variables, const std::vector<Universe::BigInteger>& coefficients) override
void minimizeExpressionNValues(const std::vector<Universe::IUniverseIntensionConstraint*>& expressions) override
void minimizeExpressionNValues(const std::vector<Universe::IUniverseIntensionConstraint*>& expressions, const std::vector<Universe::BigInteger>& coefficients) override
void maximizeNValues(const std::vector<std::string>& variables) override
void maximizeNValues(const std::vector<std::string>& variables, const std::vector<Universe::BigInteger>& coefficients) override
void maximizeExpressionNValues(const std::vector<Universe::IUniverseIntensionConstraint*>& expressions) override
void maximizeExpressionNValues(const std::vector<Universe::IUniverseIntensionConstraint*>& expressions, const std::vector<Universe::BigInteger>& coefficients) override
auto solveDimacs(const std::vector<int>& assumptions) -> UniverseSolverResult override
auto solveBoolean(const std::vector<UniverseAssumption<bool>>& assumptions) -> UniverseSolverResult override
auto solve(const std::vector<UniverseAssumption<BigInteger>>& assumptions) -> UniverseSolverResult override

Protected static functions

static auto toJavaTransition(const Universe::UniverseTransition& transition) -> easyjni::JavaObject
static auto toJavaBooleanOperator(Universe::UniverseBooleanOperator op) -> easyjni::JavaObject
static auto toJavaArithmeticOperator(Universe::UniverseArithmeticOperator op) -> easyjni::JavaObject
static auto toJavaRelationalOperator(Universe::UniverseRelationalOperator op) -> easyjni::JavaObject
static auto toJavaSetBelongingOperator(Universe::UniverseSetBelongingOperator op) -> easyjni::JavaObject
static auto asList(const std::vector<std::vector<Universe::BigInteger>>& matrix) -> Universe::JavaList
static auto asList(const std::vector<std::string>& strings) -> Universe::JavaList
static auto asList(const std::vector<std::vector<std::string>>& matrix) -> Universe::JavaList
static auto asList(const std::vector<Universe::IUniverseIntensionConstraint*>& constraints) -> Universe::JavaList

Function documentation

Universe::UniverseJavaCspSolver::UniverseJavaCspSolver(easyjni::JavaClass* interface, const easyjni::JavaObject& object)

Parameters
interface	The Java interface corresponding to IUniverseCspSolver.
object	The Java object to adapt.

Creates a UniverseJavaCspSolver.

Universe::UniverseJavaCspSolver::~UniverseJavaCspSolver() override defaulted

Destroys this UniverseJavaCspSolver.

void Universe::UniverseJavaCspSolver::newVariable(const std::string& id, int min, int max) override

Parameters
id	The identifier of the variable to create.
min	The minimum value of the domain of the variable.
max	The maximum value of the domain of the variable.

Adds a new variable to this solver.

void Universe::UniverseJavaCspSolver::newVariable(const std::string& id, const Universe::BigInteger& min, const Universe::BigInteger& max) override

Parameters
id	The identifier of the variable to create.
min	The minimum value of the domain of the variable.
max	The maximum value of the domain of the variable.

Adds a new variable to this solver.

void Universe::UniverseJavaCspSolver::newVariable(const std::string& id, const std::vector<int>& values) override

Parameters
id	The identifier of the variable to create.
values	The values of the domain of the variable.

Adds a new variable to this solver.

void Universe::UniverseJavaCspSolver::newVariable(const std::string& id, const std::vector<Universe::BigInteger>& values) override

Parameters
id	The identifier of the variable to create.
values	The values of the domain of the variable.

Adds a new variable to this solver.

void Universe::UniverseJavaCspSolver::newVariableSymbolic(const std::string& id, const std::vector<std::string>& values) override

Parameters
id	The identifier of the variable to create.
values	The values of the domain of the variable.

Adds a new symbolic variable to this solver.

void Universe::UniverseJavaCspSolver::addInstantiation(const std::string& variable, int value) override

Parameters
variable	The variable to assign.
value	The value to assign to the variable.
Exceptions
UniverseContradictionException	If adding the constraint results in a trivial inconsistency.

Adds to this solver an instantiation constraint.

void Universe::UniverseJavaCspSolver::addInstantiation(const std::string& variable, const Universe::BigInteger& value) override

Parameters
variable	The variable to assign.
value	The value to assign to the variable.
Exceptions
UniverseContradictionException	If adding the constraint results in a trivial inconsistency.

Adds to this solver an instantiation constraint.

void Universe::UniverseJavaCspSolver::addInstantiation(const std::string& variable, const std::string& value) override

Parameters
variable	The variable to assign.
value	The value to assign to the variable.
Exceptions
UniverseContradictionException	If adding the constraint results in a trivial inconsistency.

Adds to this solver an instantiation constraint.

void Universe::UniverseJavaCspSolver::addInstantiation(const std::vector<std::string>& variables, const std::vector<int>& values) override

Parameters
variables	The variables to assign.
values	The values to assign to the variables.
Exceptions
UniverseContradictionException	If adding the constraint results in a trivial inconsistency.

Adds to this solver an instantiation constraint.

void Universe::UniverseJavaCspSolver::addInstantiation(const std::vector<std::string>& variables, const std::vector<Universe::BigInteger>& values) override

Parameters
variables	The variables to assign.
values	The values to assign to the variables.
Exceptions
UniverseContradictionException	If adding the constraint results in a trivial inconsistency.

Adds to this solver an instantiation constraint.

void Universe::UniverseJavaCspSolver::addInstantiationSymbolic(const std::vector<std::string>& variables, const std::vector<std::string>& values) override

Parameters
variables	The variables to assign.
values	The values to assign to the variables.
Exceptions
UniverseContradictionException	If adding the constraint results in a trivial inconsistency.

Adds to this solver an instantiation constraint.

void Universe::UniverseJavaCspSolver::addClause(const std::vector<std::string>& positive, const std::vector<std::string>& negative) override

Parameters
positive	The (Boolean) variables appearing positively in the clause.
negative	The (Boolean) variables appearing negatively in the clause.
Exceptions
UniverseContradictionException	If adding the constraint results in a trivial inconsistency.

Adds to this solver a clause constraint.

void Universe::UniverseJavaCspSolver::addLogical(Universe::UniverseBooleanOperator op, const std::vector<std::string>& variables) override

Parameters
op	The Boolean operator to apply on the variables.
variables	The (Boolean) variables on which the operator is applied.
Exceptions
UniverseContradictionException	If adding the constraint results in a trivial inconsistency.

Adds to this solver a logical constraint.

void Universe::UniverseJavaCspSolver::addLogical(const std::string& variable, bool equiv, Universe::UniverseBooleanOperator op, const std::vector<std::string>& variables) override

Parameters
variable	The (Boolean) variable whose assignment depends on the truth value of the logical operation.
equiv	Whether variable must be equivalent to the truth value of the logical operation.
op	The Boolean operator to apply on the variables.
variables	The (Boolean) variables on which the operator is applied.
Exceptions
UniverseContradictionException	If adding the constraint results in a trivial inconsistency.

Adds to this solver a logical constraint.

void Universe::UniverseJavaCspSolver::addLogical(const std::string& variable, const std::string& left, Universe::UniverseRelationalOperator op, const Universe::BigInteger& right) override

Parameters
variable	The (Boolean) variable whose assignment depends on the truth value of the comparison between left and right.
left	The variable on the left-hand side of the comparison.
op	The relational operator used to compare left and right.
right	The value on the right-hand side of the comparison.
Exceptions
UniverseContradictionException	If adding the constraint results in a trivial inconsistency.

Adds to this solver a logical constraint.

void Universe::UniverseJavaCspSolver::addLogical(const std::string& variable, const std::string& left, Universe::UniverseRelationalOperator op, const std::string& right) override

Parameters
variable	The (Boolean) variable whose assignment depends on the truth value of the comparison between left and right.
left	The variable on the left-hand side of the comparison.
op	The relational operator used to compare left and right.
right	The variable on the right-hand side of the comparison.
Exceptions
UniverseContradictionException	If adding the constraint results in a trivial inconsistency.

Adds to this solver a logical constraint.

void Universe::UniverseJavaCspSolver::addAllDifferent(const std::vector<std::string>& variables) override

Parameters
variables	The variables that should all be different.
Exceptions
UniverseContradictionException	If adding the constraint results in a trivial inconsistency.

Adds to this solver an all-different constraint.

void Universe::UniverseJavaCspSolver::addAllDifferent(const std::vector<std::string>& variables, const std::vector<Universe::BigInteger>& except) override

Parameters
variables	The variables that should all be different.
except	The values not to consider in the constraint.
Exceptions
UniverseContradictionException	If adding the constraint results in a trivial inconsistency.

Adds to this solver an all-different constraint.

void Universe::UniverseJavaCspSolver::addAllDifferentMatrix(const std::vector<std::vector<std::string>>& variableMatrix) override

Parameters
variableMatrix	The matrix of variables that should all be different.
Exceptions
UniverseContradictionException	If adding the constraint results in a trivial inconsistency.

Adds to this solver an all-different constraint.

void Universe::UniverseJavaCspSolver::addAllDifferentMatrix(const std::vector<std::vector<std::string>>& variableMatrix, const std::vector<Universe::BigInteger>& except) override

Parameters
variableMatrix	The matrix of variables that should all be different.
except	The values not to consider in the constraint.
Exceptions
UniverseContradictionException	If adding the constraint results in a trivial inconsistency.

Adds to this solver an all-different constraint.

void Universe::UniverseJavaCspSolver::addAllDifferentList(const std::vector<std::vector<std::string>>& variableLists) override

Parameters
variableLists	The lists of variables that should all be different.
Exceptions
UniverseContradictionException	If adding the constraint results in a trivial inconsistency.

Adds to this solver an all-different constraint.

void Universe::UniverseJavaCspSolver::addAllDifferentList(const std::vector<std::vector<std::string>>& variableLists, const std::vector<std::vector<Universe::BigInteger>>& except) override

Parameters
variableLists	The lists of variables that should all be different.
except	The values not to consider in the constraint.
Exceptions
UniverseContradictionException	If adding the constraint results in a trivial inconsistency.

Adds to this solver an all-different constraint.

void Universe::UniverseJavaCspSolver::addAllDifferentIntension(const std::vector<Universe::IUniverseIntensionConstraint*>& intensionConstraints) override

Parameters
intensionConstraints	The intension constraints that should all be different.
Exceptions
UniverseContradictionException	If adding the constraint results in a trivial inconsistency.

Adds to this solver an all-different constraint.

void Universe::UniverseJavaCspSolver::addChannel(const std::vector<std::string>& variables, int startIndex) override

Parameters
variables	The variables appearing in the constraint.
startIndex	The index at which the constraint starts.
Exceptions
UniverseContradictionException	If adding the constraint results in a trivial inconsistency.

Adds to this solver a channel constraint.

void Universe::UniverseJavaCspSolver::addChannel(const std::vector<std::string>& variables, int startIndex, const std::string& value) override

Parameters
variables	The variables among which exactly one should be satisfied starting from the given index.
startIndex	The index at which the constraint starts.
value	The variable containing the index of the satisfied variable.
Exceptions
UniverseContradictionException	If adding the constraint results in a trivial inconsistency.

Adds to this solver a channel constraint.

void Universe::UniverseJavaCspSolver::addChannel(const std::vector<std::string>& variables, int startIndex, const std::vector<std::string>& otherVariables, int otherStartIndex) override

Parameters
variables	The variables appearing in the constraint.
startIndex	The index at which the constraint starts on the first vector of variables.
otherVariables	The variables with which to channel the variables of the first vector.
otherStartIndex	The index at which the constraint starts on the second vector of variables.
Exceptions
UniverseContradictionException	If adding the constraint results in a trivial inconsistency.

Adds to this solver a channel constraint.

void Universe::UniverseJavaCspSolver::addCardinalityWithConstantValuesAndConstantCounts(const std::vector<std::string>& variables, const std::vector<Universe::BigInteger>& values, const std::vector<Universe::BigInteger>& occurs, bool closed) override

Parameters
variables	The variables to count the assignments of.
values	The assignable values to count.
occurs	The number of times each value can be assigned.
closed	Whether only the values in value can be assigned to the variables.
Exceptions
UniverseContradictionException	If adding the constraint results in a trivial inconsistency.

Adds to this solver a cardinality constraint.

void Universe::UniverseJavaCspSolver::addCardinalityWithConstantValuesAndConstantIntervalCounts(const std::vector<std::string>& variables, const std::vector<Universe::BigInteger>& values, const std::vector<Universe::BigInteger>& occursMin, const std::vector<Universe::BigInteger>& occursMax, bool closed) override

Parameters
variables	The variables to count the assignments of.
values	The assignable values to count.
occursMin	The minimum number of times each value can be assigned.
occursMax	The maximum number of times each value can be assigned.
closed	Whether only the values in value can be assigned to the variables.
Exceptions
UniverseContradictionException	If adding the constraint results in a trivial inconsistency.

Adds to this solver a cardinality constraint.

void Universe::UniverseJavaCspSolver::addCardinalityWithConstantValuesAndVariableCounts(const std::vector<std::string>& variables, const std::vector<Universe::BigInteger>& values, const std::vector<std::string>& occurs, bool closed) override

Parameters
variables	The variables to count the assignments of.
values	The assignable values to count.
occurs	The variables encoding the number of times each value can be assigned.
closed	Whether only the values in value can be assigned to the variables.
Exceptions
UniverseContradictionException	If adding the constraint results in a trivial inconsistency.

Adds to this solver a cardinality constraint.

void Universe::UniverseJavaCspSolver::addCardinalityWithVariableValuesAndConstantCounts(const std::vector<std::string>& variables, const std::vector<std::string>& values, const std::vector<Universe::BigInteger>& occurs, bool closed) override

Parameters
variables	The variables to count the assignments of.
values	The variables encoding the assignable values to count.
occurs	The number of times each value can be assigned.
closed	Whether only the values in value can be assigned to the variables.
Exceptions
UniverseContradictionException	If adding the constraint results in a trivial inconsistency.

Adds to this solver a cardinality constraint.

void Universe::UniverseJavaCspSolver::addCardinalityWithVariableValuesAndConstantIntervalCounts(const std::vector<std::string>& variables, const std::vector<std::string>& values, const std::vector<Universe::BigInteger>& occursMin, const std::vector<Universe::BigInteger>& occursMax, bool closed) override

Parameters
variables	The variables to count the assignments of.
values	The variables encoding the assignable values to count.
occursMin	The minimum number of times each value can be assigned.
occursMax	The maximum number of times each value can be assigned.
closed	Whether only the values in value can be assigned to the variables.
Exceptions
UniverseContradictionException	If adding the constraint results in a trivial inconsistency.

Adds to this solver a cardinality constraint.

void Universe::UniverseJavaCspSolver::addCardinalityWithVariableValuesAndVariableCounts(const std::vector<std::string>& variables, const std::vector<std::string>& values, const std::vector<std::string>& occurs, bool closed) override

Parameters
variables	The variables to count the assignments of.
values	The variables encoding the assignable values to count.
occurs	The variables encoding the number of times each value can be assigned.
closed	Whether only the values in value can be assigned to the variables.
Exceptions
UniverseContradictionException	If adding the constraint results in a trivial inconsistency.

Adds to this solver a cardinality constraint.

void Universe::UniverseJavaCspSolver::addAtLeast(const std::vector<std::string>& variables, const Universe::BigInteger& value, const Universe::BigInteger& count) override

Parameters
variables	The variables to count the assignments of.
value	The value to count the assignments of.
count	The minimum number of times the value can be assigned among the variables.
Exceptions
UniverseContradictionException	If adding the constraint results in a trivial inconsistency.

Adds to this solver an at-least constraint.

void Universe::UniverseJavaCspSolver::addExactly(const std::vector<std::string>& variables, const Universe::BigInteger& value, const Universe::BigInteger& count) override

Parameters
variables	The variables to count the assignments of.
value	The value to count the assignments of.
count	The number of times the value can be assigned among the variables.
Exceptions
UniverseContradictionException	If adding the constraint results in a trivial inconsistency.

Adds to this solver an exactly constraint.

void Universe::UniverseJavaCspSolver::addExactly(const std::vector<std::string>& variables, const Universe::BigInteger& value, const std::string& count) override

Parameters
variables	The variables to count the assignments of.
value	The value to count the assignments of.
count	The variable encoding the number of times the value can be assigned among the variables.
Exceptions
UniverseContradictionException	If adding the constraint results in a trivial inconsistency.

Adds to this solver an exactly constraint.

void Universe::UniverseJavaCspSolver::addAmong(const std::vector<std::string>& variables, const std::vector<Universe::BigInteger>& values, const Universe::BigInteger& count) override

Parameters
variables	The variables to count the assignments of.
values	The values to count the assignments of.
count	The number of times the value can be assigned among the variables.
Exceptions
UniverseContradictionException	If adding the constraint results in a trivial inconsistency.

Adds to this solver an among constraint.

void Universe::UniverseJavaCspSolver::addAmong(const std::vector<std::string>& variables, const std::vector<Universe::BigInteger>& values, const std::string& count) override

Parameters
variables	The variables to count the assignments of.
values	The values to count the assignments of.
count	The variable encoding the number of times the values can be assigned among the variables.
Exceptions
UniverseContradictionException	If adding the constraint results in a trivial inconsistency.

Adds to this solver an among constraint.

void Universe::UniverseJavaCspSolver::addAtMost(const std::vector<std::string>& variables, const Universe::BigInteger& value, const Universe::BigInteger& count) override

Parameters
variables	The variables to count the assignments of.
value	The value to count the assignments of.
count	The maximum number of times the value can be assigned among the variables.
Exceptions
UniverseContradictionException	If adding the constraint results in a trivial inconsistency.

Adds to this solver an at-most constraint.

void Universe::UniverseJavaCspSolver::addCountWithConstantValues(const std::vector<std::string>& variables, const std::vector<Universe::BigInteger>& values, Universe::UniverseRelationalOperator op, const Universe::BigInteger& count) override

Parameters
variables	The variables to count the assignments of.
values	The values to count the assignments of.
op	The operator to use to compare the number of assignments to their expected count.
count	The number of times the values can be assigned among the variables.
Exceptions
UniverseContradictionException	If adding the constraint results in a trivial inconsistency.

Adds to this solver a count constraint.

void Universe::UniverseJavaCspSolver::addCountWithConstantValues(const std::vector<std::string>& variables, const std::vector<Universe::BigInteger>& values, Universe::UniverseRelationalOperator op, const std::string& count) override

Parameters
variables	The variables to count the assignments of.
values	The values to count the assignments of.
op	The operator to use to compare the number of assignments to their expected count.
count	The variable encoding the number of times the values can be assigned among the variables.
Exceptions
UniverseContradictionException	If adding the constraint results in a trivial inconsistency.

Adds to this solver a count constraint.

void Universe::UniverseJavaCspSolver::addCountWithConstantValues(const std::vector<std::string>& variables, const std::vector<Universe::BigInteger>& values, Universe::UniverseSetBelongingOperator op, const Universe::BigInteger& min, const Universe::BigInteger& max) override

Parameters
variables	The variables to count the assignments of.
values	The values to count the assignments of.
op	The operator to use to check whether the number of assignments is within a range.
min	The minimum number of times the value can be assigned among the variables.
max	The maximum number of times the value can be assigned among the variables.
Exceptions
UniverseContradictionException	If adding the constraint results in a trivial inconsistency.

Adds to this solver a count constraint.

void Universe::UniverseJavaCspSolver::addCountWithConstantValues(const std::vector<std::string>& variables, const std::vector<Universe::BigInteger>& values, Universe::UniverseSetBelongingOperator op, const std::vector<Universe::BigInteger>& set) override

Parameters
variables	The variables to count the assignments of.
values	The values to count the assignments of.
op	The operator to use to check whether the number of assignments is within a set.
set	The set containing the allowed numbers of times the values can be assigned among the variables.
Exceptions
UniverseContradictionException	If adding the constraint results in a trivial inconsistency.

Adds to this solver a count constraint.

void Universe::UniverseJavaCspSolver::addCountWithVariableValues(const std::vector<std::string>& variables, const std::vector<std::string>& values, Universe::UniverseRelationalOperator op, const Universe::BigInteger& count) override

Parameters
variables	The variables to count the assignments of.
values	The variables encoding the values to count the assignments of.
op	The operator to use to compare the number of assignments to their expected count.
count	The number of times the values can be assigned among the variables.
Exceptions
UniverseContradictionException	If adding the constraint results in a trivial inconsistency.

Adds to this solver a count constraint.

void Universe::UniverseJavaCspSolver::addCountWithVariableValues(const std::vector<std::string>& variables, const std::vector<std::string>& values, Universe::UniverseRelationalOperator op, const std::string& count) override

Parameters
variables	The variables to count the assignments of.
values	The variables encoding the values to count the assignments of.
op	The operator to use to compare the number of assignments to their expected count.
count	The variable encoding the number of times the values can be assigned among the variables.
Exceptions
UniverseContradictionException	If adding the constraint results in a trivial inconsistency.

Adds to this solver a count constraint.

void Universe::UniverseJavaCspSolver::addCountWithVariableValues(const std::vector<std::string>& variables, const std::vector<std::string>& values, Universe::UniverseSetBelongingOperator op, const Universe::BigInteger& min, const Universe::BigInteger& max) override

Parameters
variables	The variables to count the assignments of.
values	The variables encoding the values to count the assignments of.
op	The operator to use to check whether the number of assignments is within a range.
min	The minimum number of times the value can be assigned among the variables.
max	The maximum number of times the value can be assigned among the variables.
Exceptions
UniverseContradictionException	If adding the constraint results in a trivial inconsistency.

Adds to this solver a count constraint.

void Universe::UniverseJavaCspSolver::addCountWithVariableValues(const std::vector<std::string>& variables, const std::vector<std::string>& values, Universe::UniverseSetBelongingOperator op, const std::vector<Universe::BigInteger>& set) override

Parameters
variables	The variables to count the assignments of.
values	The variables encoding the values to count the assignments of.
op	The operator to use to check whether the number of assignments is within a set.
set	The set containing the allowed numbers of times the values can be assigned among the variables.
Exceptions
UniverseContradictionException	If adding the constraint results in a trivial inconsistency.

Adds to this solver a count constraint.

void Universe::UniverseJavaCspSolver::addCountIntensionWithConstantValues(const std::vector<Universe::IUniverseIntensionConstraint*>& expressions, const std::vector<Universe::BigInteger>& values, Universe::UniverseRelationalOperator op, const Universe::BigInteger& count) override

Parameters
expressions	The expressions to count the assignments of.
values	The values to count the assignments of.
op	The operator to use to compare the number of assignments to their expected count.
count	The variable encoding the number of times the values can be assigned among the variables.
Exceptions
UniverseContradictionException	If adding the constraint results in a trivial inconsistency.

Adds to this solver a count constraint.

void Universe::UniverseJavaCspSolver::addCountIntensionWithConstantValues(const std::vector<Universe::IUniverseIntensionConstraint*>& expressions, const std::vector<Universe::BigInteger>& values, Universe::UniverseRelationalOperator op, const std::string& count) override

Parameters
expressions	The expressions to count the assignments of.
values	The values to count the assignments of.
op	The operator to use to compare the number of assignments to their expected count.
count	The variable encoding the number of times the values can be assigned among the variables.
Exceptions
UniverseContradictionException	If adding the constraint results in a trivial inconsistency.

Adds to this solver a count constraint.

void Universe::UniverseJavaCspSolver::addCountIntensionWithConstantValues(const std::vector<Universe::IUniverseIntensionConstraint*>& expressions, const std::vector<Universe::BigInteger>& values, Universe::UniverseSetBelongingOperator op, const Universe::BigInteger& min, const Universe::BigInteger& max) override

Parameters
expressions	The expressions to count the assignments of.
values	The values to count the assignments of.
op	The operator to use to check whether the number of assignments is within a range.
min	The minimum number of times the value can be assigned among the variables.
max	The maximum number of times the value can be assigned among the variables.
Exceptions
UniverseContradictionException	If adding the constraint results in a trivial inconsistency.

Adds to this solver a count constraint.

void Universe::UniverseJavaCspSolver::addCountIntensionWithConstantValues(const std::vector<Universe::IUniverseIntensionConstraint*>& expressions, const std::vector<Universe::BigInteger>& values, Universe::UniverseSetBelongingOperator op, const std::vector<Universe::BigInteger>& set) override

Parameters
expressions	The expressions to count the assignments of.
values	The values to count the assignments of.
op	The operator to use to check whether the number of assignments is within a set.
set	The set containing the allowed numbers of times the values can be assigned among the variables.
Exceptions
UniverseContradictionException	If adding the constraint results in a trivial inconsistency.

Adds to this solver a count constraint.

void Universe::UniverseJavaCspSolver::addNValues(const std::vector<std::string>& variables, Universe::UniverseRelationalOperator op, const Universe::BigInteger& nb) override

Parameters
variables	The variables appearing in the constraint.
op	The relational operator used in the constraint.
nb	The number of distinct values to count.
Exceptions
UniverseContradictionException	If adding the constraint results in a trivial inconsistency.

Adds to this solver an n-values constraint.

void Universe::UniverseJavaCspSolver::addNValuesExcept(const std::vector<std::string>& variables, Universe::UniverseRelationalOperator op, const Universe::BigInteger& nb, const std::vector<Universe::BigInteger>& except) override

Parameters
variables	The variables appearing in the constraint.
op	The relational operator used in the constraint.
nb	The number of distinct values to count.
except	The values that should not be counted.
Exceptions
UniverseContradictionException	If adding the constraint results in a trivial inconsistency.

Adds to this solver an n-values constraint.

void Universe::UniverseJavaCspSolver::addNValues(const std::vector<std::string>& variables, Universe::UniverseRelationalOperator op, const std::string& nb) override

Parameters
variables	The variables appearing in the constraint.
op	The relational operator used in the constraint.
nb	The variable counting the number of distinct values.
Exceptions
UniverseContradictionException	If adding the constraint results in a trivial inconsistency.

Adds to this solver an n-values constraint.

void Universe::UniverseJavaCspSolver::addNValuesExcept(const std::vector<std::string>& variables, Universe::UniverseRelationalOperator op, const std::string& nb, const std::vector<Universe::BigInteger>& except) override

Parameters
variables	The variables appearing in the constraint.
op	The relational operator used in the constraint.
nb	The variable counting the number of distinct values.
except	The values that should not be counted.
Exceptions
UniverseContradictionException	If adding the constraint results in a trivial inconsistency.

Adds to this solver an n-values constraint.

void Universe::UniverseJavaCspSolver::addNValues(const std::vector<std::string>& variables, Universe::UniverseSetBelongingOperator op, const Universe::BigInteger& min, const Universe::BigInteger& max) override

Parameters
variables	The variables appearing in the constraint.
op
min	The minimum number of distinct values to count.
max	The maximum number of distinct values to count.
Exceptions
UniverseContradictionException	If adding the constraint results in a trivial inconsistency.

Adds to this solver an n-values constraint.

void Universe::UniverseJavaCspSolver::addNValuesExcept(const std::vector<std::string>& variables, Universe::UniverseSetBelongingOperator op, const Universe::BigInteger& min, const Universe::BigInteger& max, const std::vector<Universe::BigInteger>& except) override

Parameters
variables	The variables appearing in the constraint.
op
min	The minimum number of distinct values to count.
max	The maximum number of distinct values to count.
except	The values that should not be counted.
Exceptions
UniverseContradictionException	If adding the constraint results in a trivial inconsistency.

Adds to this solver an n-values constraint.

void Universe::UniverseJavaCspSolver::addNValues(const std::vector<std::string>& variables, Universe::UniverseSetBelongingOperator op, const std::vector<Universe::BigInteger>& set) override

Parameters
variables	The variables appearing in the constraint.
op	The set operator used in the constraint.
set	The allowed numbers of distinct values.
Exceptions
UniverseContradictionException	If adding the constraint results in a trivial inconsistency.

Adds to this solver an n-values constraint.

void Universe::UniverseJavaCspSolver::addNValuesExcept(const std::vector<std::string>& variables, Universe::UniverseSetBelongingOperator op, const std::vector<Universe::BigInteger>& set, const std::vector<Universe::BigInteger>& except) override

Parameters
variables	The variables appearing in the constraint.
op	The set operator used in the constraint.
set	The allowed numbers of distinct values.
except	The values that should not be counted.
Exceptions
UniverseContradictionException	If adding the constraint results in a trivial inconsistency.

Adds to this solver an n-values constraint.

void Universe::UniverseJavaCspSolver::addNValuesIntension(const std::vector<Universe::IUniverseIntensionConstraint*>& expressions, Universe::UniverseRelationalOperator op, const Universe::BigInteger& nb) override

Parameters
expressions	The expressions appearing in the constraint.
op	The relational operator used in the constraint.
nb	The number of distinct values to count.
Exceptions
UniverseContradictionException	If adding the constraint results in a trivial inconsistency.

Adds to this solver an n-values constraint.

void Universe::UniverseJavaCspSolver::addNValuesIntension(const std::vector<Universe::IUniverseIntensionConstraint*>& expressions, Universe::UniverseRelationalOperator op, const std::string& nb) override

Parameters
expressions	The expressions appearing in the constraint.
op	The relational operator used in the constraint.
nb	The variable counting the number of distinct values.
Exceptions
UniverseContradictionException	If adding the constraint results in a trivial inconsistency.

Adds to this solver an n-values constraint.

void Universe::UniverseJavaCspSolver::addNValuesIntension(const std::vector<Universe::IUniverseIntensionConstraint*>& expressions, Universe::UniverseSetBelongingOperator op, const Universe::BigInteger& min, const Universe::BigInteger& max) override

Parameters
expressions	The expressions appearing in the constraint.
op	The set operator used in the constraint.
min	The minimum number of distinct values to count.
max	The maximum number of distinct values to count.
Exceptions
UniverseContradictionException	If adding the constraint results in a trivial inconsistency.

Adds to this solver an n-values constraint.

void Universe::UniverseJavaCspSolver::addNValuesIntension(const std::vector<Universe::IUniverseIntensionConstraint*>& expressions, Universe::UniverseSetBelongingOperator op, const std::vector<Universe::BigInteger>& set) override

Parameters
expressions	The expressions appearing in the constraint.
op	The set operator used in the constraint.
set	The allowed numbers of distinct values.
Exceptions
UniverseContradictionException	If adding the constraint results in a trivial inconsistency.

Adds to this solver an n-values constraint.

void Universe::UniverseJavaCspSolver::addBinPacking(const std::vector<std::string>& variables, const std::vector<Universe::BigInteger>& sizes, Universe::UniverseRelationalOperator op, const Universe::BigInteger& value) override

Parameters
variables	The variables appearing in the constraint.
sizes	The sizes of the elements to pack.
op	The operator used to ensure the capacity of the bin.
value	The value of the bins capacity.
Exceptions
UniverseContradictionException	If adding the constraint results in a trivial inconsistency.

Adds to this solver a bin-packing constraint.

void Universe::UniverseJavaCspSolver::addBinPacking(const std::vector<std::string>& variables, const std::vector<Universe::BigInteger>& sizes, Universe::UniverseRelationalOperator op, const std::string& variable) override

Parameters
variables	The variables appearing in the constraint.
sizes	The sizes of the elements to pack.
op	The operator used to ensure the capacity of the bins.
variable	The variable encoding the bins capacity.
Exceptions
UniverseContradictionException	If adding the constraint results in a trivial inconsistency.

Adds to this solver a bin-packing constraint.

void Universe::UniverseJavaCspSolver::addBinPacking(const std::vector<std::string>& variables, const std::vector<Universe::BigInteger>& sizes, Universe::UniverseSetBelongingOperator op, const Universe::BigInteger& min, const Universe::BigInteger& max) override

Parameters
variables	The variables appearing in the constraint.
sizes	The sizes of the elements to pack.
op	The operator used to ensure the capacity of the bins.
min	The minimum capacity of the bins.
max	The maximum capacity of the bins.
Exceptions
UniverseContradictionException	If adding the constraint results in a trivial inconsistency.

Adds to this solver a bin-packing constraint.

void Universe::UniverseJavaCspSolver::addBinPacking(const std::vector<std::string>& variables, const std::vector<Universe::BigInteger>& sizes, Universe::UniverseSetBelongingOperator op, const std::vector<Universe::BigInteger>& set) override

Parameters
variables	The variables appearing in the constraint.
sizes	The sizes of the elements to pack.
op	The operator used to ensure the capacity of the bins.
set	The allowed capacities for the bins.
Exceptions
UniverseContradictionException	If adding the constraint results in a trivial inconsistency.

Adds to this solver a bin-packing constraint.

void Universe::UniverseJavaCspSolver::addBinPackingWithConstantCapacities(const std::vector<std::string>& variables, const std::vector<Universe::BigInteger>& sizes, const std::vector<Universe::BigInteger>& capacities, bool loads) override

Parameters
variables	The variables appearing in the constraint.
sizes	The sizes of the elements to pack.
capacities	The capacities of each bin.
loads	Whether bin loads should be computed.
Exceptions
UniverseContradictionException	If adding the constraint results in a trivial inconsistency.

Adds to this solver a bin-packing constraint.

void Universe::UniverseJavaCspSolver::addBinPackingWithVariableCapacities(const std::vector<std::string>& variables, const std::vector<Universe::BigInteger>& sizes, const std::vector<std::string>& capacities, bool loads) override

Parameters
variables	The variables appearing in the constraint.
sizes	The sizes of the elements to pack.
capacities	The variables encoding the capacities of each bin.
loads	Whether bin loads should be computed.
Exceptions
UniverseContradictionException	If adding the constraint results in a trivial inconsistency.

Adds to this solver a bin-packing constraint.