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

Reference

The IUniverseCspSolver interface defines the contract for CSP solvers.

Base classes

class IUniversePseudoBooleanSolver virtual

Derived classes

class UniverseJavaCspSolver

Public functions

void newVariable(const std::string& id, int min, int max) pure virtual
void newVariable(const std::string& id, const Universe::BigInteger& min, const Universe::BigInteger& max) pure virtual
void newVariable(const std::string& id, const std::vector<int>& values) pure virtual
void newVariable(const std::string& id, const std::vector<Universe::BigInteger>& values) pure virtual
void newVariableSymbolic(const std::string& id, const std::vector<std::string>& values) pure virtual
void addInstantiation(const std::string& variable, int value) pure virtual
void addInstantiation(const std::string& variable, const Universe::BigInteger& value) pure virtual
void addInstantiation(const std::string& variable, const std::string& value) pure virtual
void addInstantiation(const std::vector<std::string>& variables, const std::vector<int>& values) pure virtual
void addInstantiation(const std::vector<std::string>& variables, const std::vector<Universe::BigInteger>& values) pure virtual
void addInstantiationSymbolic(const std::vector<std::string>& variables, const std::vector<std::string>& values) pure virtual
void addClause(const std::vector<std::string>& positive, const std::vector<std::string>& negative) pure virtual
void addLogical(Universe::UniverseBooleanOperator op, const std::vector<std::string>& variables) pure virtual
void addLogical(const std::string& variable, bool equiv, Universe::UniverseBooleanOperator op, const std::vector<std::string>& variables) pure virtual
void addLogical(const std::string& variable, const std::string& left, Universe::UniverseRelationalOperator op, const Universe::BigInteger& right) pure virtual
void addLogical(const std::string& variable, const std::string& left, Universe::UniverseRelationalOperator op, const std::string& right) pure virtual
void addAllDifferent(const std::vector<std::string>& variables) pure virtual
void addAllDifferent(const std::vector<std::string>& variables, const std::vector<Universe::BigInteger>& except) pure virtual
void addAllDifferentMatrix(const std::vector<std::vector<std::string>>& variableMatrix) pure virtual
void addAllDifferentMatrix(const std::vector<std::vector<std::string>>& variableMatrix, const std::vector<Universe::BigInteger>& except) pure virtual
void addAllDifferentList(const std::vector<std::vector<std::string>>& variableLists) pure virtual
void addAllDifferentList(const std::vector<std::vector<std::string>>& variableLists, const std::vector<std::vector<Universe::BigInteger>>& except) pure virtual
void addAllDifferentIntension(const std::vector<Universe::IUniverseIntensionConstraint*>& intensionConstraints) pure virtual
void addChannel(const std::vector<std::string>& variables, int startIndex) pure virtual
void addChannel(const std::vector<std::string>& variables, int startIndex, const std::string& value) pure virtual
void addChannel(const std::vector<std::string>& variables, int startIndex, const std::vector<std::string>& otherVariables, int otherStartIndex) pure virtual
void addCardinalityWithConstantValuesAndConstantCounts(const std::vector<std::string>& variables, const std::vector<Universe::BigInteger>& values, const std::vector<Universe::BigInteger>& occurs, bool closed) pure virtual
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) pure virtual
void addCardinalityWithConstantValuesAndVariableCounts(const std::vector<std::string>& variables, const std::vector<Universe::BigInteger>& values, const std::vector<std::string>& occurs, bool closed) pure virtual
void addCardinalityWithVariableValuesAndConstantCounts(const std::vector<std::string>& variables, const std::vector<std::string>& values, const std::vector<Universe::BigInteger>& occurs, bool closed) pure virtual
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) pure virtual
void addCardinalityWithVariableValuesAndVariableCounts(const std::vector<std::string>& variables, const std::vector<std::string>& values, const std::vector<std::string>& occurs, bool closed) pure virtual
void addAtLeast(const std::vector<std::string>& variables, const Universe::BigInteger& value, const Universe::BigInteger& count) pure virtual
void addExactly(const std::vector<std::string>& variables, const Universe::BigInteger& value, const Universe::BigInteger& count) pure virtual
void addExactly(const std::vector<std::string>& variables, const Universe::BigInteger& value, const std::string& count) pure virtual
void addAmong(const std::vector<std::string>& variables, const std::vector<Universe::BigInteger>& values, const Universe::BigInteger& count) pure virtual
void addAmong(const std::vector<std::string>& variables, const std::vector<Universe::BigInteger>& values, const std::string& count) pure virtual
void addAtMost(const std::vector<std::string>& variables, const Universe::BigInteger& value, const Universe::BigInteger& count) pure virtual
void addCountWithConstantValues(const std::vector<std::string>& variables, const std::vector<Universe::BigInteger>& values, Universe::UniverseRelationalOperator op, const Universe::BigInteger& count) pure virtual
void addCountWithConstantValues(const std::vector<std::string>& variables, const std::vector<Universe::BigInteger>& values, Universe::UniverseRelationalOperator op, const std::string& count) pure virtual
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) pure virtual
void addCountWithConstantValues(const std::vector<std::string>& variables, const std::vector<Universe::BigInteger>& values, Universe::UniverseSetBelongingOperator op, const std::vector<Universe::BigInteger>& set) pure virtual
void addCountWithVariableValues(const std::vector<std::string>& variables, const std::vector<std::string>& values, Universe::UniverseRelationalOperator op, const Universe::BigInteger& count) pure virtual
void addCountWithVariableValues(const std::vector<std::string>& variables, const std::vector<std::string>& values, Universe::UniverseRelationalOperator op, const std::string& count) pure virtual
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) pure virtual
void addCountWithVariableValues(const std::vector<std::string>& variables, const std::vector<std::string>& values, Universe::UniverseSetBelongingOperator op, const std::vector<Universe::BigInteger>& set) pure virtual
void addCountIntensionWithConstantValues(const std::vector<Universe::IUniverseIntensionConstraint*>& expressions, const std::vector<Universe::BigInteger>& values, Universe::UniverseRelationalOperator op, const Universe::BigInteger& count) pure virtual
void addCountIntensionWithConstantValues(const std::vector<Universe::IUniverseIntensionConstraint*>& expressions, const std::vector<Universe::BigInteger>& values, Universe::UniverseRelationalOperator op, const std::string& count) pure virtual
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) pure virtual
void addCountIntensionWithConstantValues(const std::vector<Universe::IUniverseIntensionConstraint*>& expressions, const std::vector<Universe::BigInteger>& values, Universe::UniverseSetBelongingOperator op, const std::vector<Universe::BigInteger>& set) pure virtual
void addNValues(const std::vector<std::string>& variables, Universe::UniverseRelationalOperator op, const Universe::BigInteger& nb) pure virtual
void addNValuesExcept(const std::vector<std::string>& variables, Universe::UniverseRelationalOperator op, const Universe::BigInteger& nb, const std::vector<Universe::BigInteger>& except) pure virtual
void addNValues(const std::vector<std::string>& variables, Universe::UniverseRelationalOperator op, const std::string& nb) pure virtual
void addNValuesExcept(const std::vector<std::string>& variables, Universe::UniverseRelationalOperator op, const std::string& nb, const std::vector<Universe::BigInteger>& except) pure virtual
void addNValues(const std::vector<std::string>& variables, Universe::UniverseSetBelongingOperator op, const Universe::BigInteger& min, const Universe::BigInteger& max) pure virtual
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) pure virtual
void addNValues(const std::vector<std::string>& variables, Universe::UniverseSetBelongingOperator op, const std::vector<Universe::BigInteger>& set) pure virtual
void addNValuesExcept(const std::vector<std::string>& variables, Universe::UniverseSetBelongingOperator op, const std::vector<Universe::BigInteger>& set, const std::vector<Universe::BigInteger>& except) pure virtual
void addNValuesIntension(const std::vector<Universe::IUniverseIntensionConstraint*>& expressions, Universe::UniverseRelationalOperator op, const Universe::BigInteger& nb) pure virtual
void addNValuesIntension(const std::vector<Universe::IUniverseIntensionConstraint*>& expressions, Universe::UniverseRelationalOperator op, const std::string& nb) pure virtual
void addNValuesIntension(const std::vector<Universe::IUniverseIntensionConstraint*>& expressions, Universe::UniverseSetBelongingOperator op, const Universe::BigInteger& min, const Universe::BigInteger& max) pure virtual
void addNValuesIntension(const std::vector<Universe::IUniverseIntensionConstraint*>& expressions, Universe::UniverseSetBelongingOperator op, const std::vector<Universe::BigInteger>& set) pure virtual
void addBinPacking(const std::vector<std::string>& variables, const std::vector<Universe::BigInteger>& sizes, Universe::UniverseRelationalOperator op, const Universe::BigInteger& value) pure virtual
void addBinPacking(const std::vector<std::string>& variables, const std::vector<Universe::BigInteger>& sizes, Universe::UniverseRelationalOperator op, const std::string& variable) pure virtual
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) pure virtual
void addBinPacking(const std::vector<std::string>& variables, const std::vector<Universe::BigInteger>& sizes, Universe::UniverseSetBelongingOperator op, const std::vector<Universe::BigInteger>& set) pure virtual
void addBinPackingWithConstantCapacities(const std::vector<std::string>& variables, const std::vector<Universe::BigInteger>& sizes, const std::vector<Universe::BigInteger>& capacities, bool loads) pure virtual
void addBinPackingWithVariableCapacities(const std::vector<std::string>& variables, const std::vector<Universe::BigInteger>& sizes, const std::vector<std::string>& capacities, bool loads) pure virtual
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) pure virtual
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) pure virtual
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) pure virtual
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) pure virtual
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) pure virtual
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) pure virtual
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) pure virtual
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) pure virtual
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) pure virtual
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) pure virtual
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) pure virtual
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) pure virtual
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) pure virtual
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) pure virtual
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) pure virtual
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) pure virtual
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) pure virtual
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) pure virtual
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) pure virtual
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) pure virtual
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) pure virtual
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) pure virtual
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) pure virtual
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) pure virtual
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) pure virtual
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) pure virtual
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) pure virtual
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) pure virtual
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) pure virtual
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) pure virtual
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) pure virtual
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) pure virtual
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) pure virtual
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) pure virtual
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) pure virtual
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) pure virtual
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) pure virtual
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) pure virtual
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) pure virtual
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) pure virtual
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) pure virtual
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) pure virtual
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) pure virtual
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) pure virtual
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) pure virtual
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) pure virtual
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) pure virtual
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) pure virtual
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) pure virtual
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) pure virtual
void addElement(const std::vector<std::string>& variables, Universe::UniverseRelationalOperator op, const Universe::BigInteger& value) pure virtual
void addElement(const std::vector<std::string>& variables, Universe::UniverseRelationalOperator op, const std::string& value) pure virtual
void addElement(const std::vector<std::string>& variables, Universe::UniverseSetBelongingOperator op, const Universe::BigInteger& min, const Universe::BigInteger& max) pure virtual
void addElement(const std::vector<std::string>& variables, Universe::UniverseSetBelongingOperator op, const std::vector<Universe::BigInteger>& set) pure virtual
void addElementConstantValues(const std::vector<Universe::BigInteger>& values, int startIndex, const std::string& index, Universe::UniverseRelationalOperator op, const Universe::BigInteger& value) pure virtual
void addElementConstantValues(const std::vector<Universe::BigInteger>& values, int startIndex, const std::string& index, Universe::UniverseRelationalOperator op, const std::string& variable) pure virtual
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) pure virtual
void addElementConstantValues(const std::vector<Universe::BigInteger>& values, int startIndex, const std::string& index, Universe::UniverseSetBelongingOperator op, const std::vector<Universe::BigInteger>& set) pure virtual
void addElement(const std::vector<std::string>& variables, int startIndex, const std::string& index, Universe::UniverseRelationalOperator op, const Universe::BigInteger& value) pure virtual
void addElement(const std::vector<std::string>& variables, int startIndex, const std::string& index, Universe::UniverseRelationalOperator op, const std::string& variable) pure virtual
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) pure virtual
void addElement(const std::vector<std::string>& variables, int startIndex, const std::string& index, Universe::UniverseSetBelongingOperator op, const std::vector<Universe::BigInteger>& set) pure virtual
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) pure virtual
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) pure virtual
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) pure virtual
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) pure virtual
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) pure virtual
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) pure virtual
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) pure virtual
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) pure virtual
void addPrecedence(const std::vector<std::string>& variables) pure virtual
void addPrecedence(const std::vector<std::string>& variables, const std::vector<Universe::BigInteger>& values, bool covered) pure virtual
void addSupport(const std::string& variable, const std::vector<Universe::BigInteger>& allowedValues, bool hasStar) pure virtual
void addSupportSymbolic(const std::string& variable, const std::vector<std::string>& allowedValues, bool hasStar) pure virtual
void addSupport(const std::vector<std::string>& variableTuple, const std::vector<std::vector<Universe::BigInteger>>& allowedValues, bool hasStar) pure virtual
void addSupportSymbolic(const std::vector<std::string>& variableTuple, const std::vector<std::vector<std::string>>& allowedValues, bool hasStar) pure virtual
void addConflicts(const std::string& variable, const std::vector<Universe::BigInteger>& forbiddenValues, bool hasStar) pure virtual
void addConflictsSymbolic(const std::string& variable, const std::vector<std::string>& forbiddenValues, bool hasStar) pure virtual
void addConflicts(const std::vector<std::string>& variableTuple, const std::vector<std::vector<Universe::BigInteger>>& forbiddenValues, bool hasStar) pure virtual
void addConflictsSymbolic(const std::vector<std::string>& variableTuple, const std::vector<std::vector<std::string>>& forbiddenValues, bool hasStar) pure virtual
void addIntension(Universe::IUniverseIntensionConstraint* constr) pure virtual
void addPrimitive(const std::string& variable, Universe::UniverseRelationalOperator op, const Universe::BigInteger& value) pure virtual
void addPrimitive(const std::string& variable, Universe::UniverseArithmeticOperator arithOp, const Universe::BigInteger& leftHandSide, Universe::UniverseRelationalOperator relOp, const Universe::BigInteger& rightHandSide) pure virtual
void addPrimitive(const std::string& variable, Universe::UniverseArithmeticOperator arithOp, const std::string& leftHandSide, Universe::UniverseRelationalOperator relOp, const Universe::BigInteger& rightHandSide) pure virtual
void addPrimitive(const std::string& variable, Universe::UniverseArithmeticOperator arithOp, const Universe::BigInteger& leftHandSide, Universe::UniverseRelationalOperator relOp, const std::string& rightHandSide) pure virtual
void addPrimitive(const std::string& variable, Universe::UniverseArithmeticOperator arithOp, const std::string& leftHandSide, Universe::UniverseRelationalOperator relOp, const std::string& rightHandSide) pure virtual
void addPrimitive(Universe::UniverseArithmeticOperator arithOp, const std::string& variable, const std::string& rightHandSide) pure virtual
void addPrimitive(const std::string& variable, Universe::UniverseSetBelongingOperator op, const Universe::BigInteger& min, const Universe::BigInteger& max) pure virtual
void addPrimitive(const std::string& variable, Universe::UniverseSetBelongingOperator op, const std::vector<Universe::BigInteger>& values) pure virtual
void addMinimum(const std::vector<std::string>& variables, Universe::UniverseRelationalOperator op, const Universe::BigInteger& value) pure virtual
void addMinimum(const std::vector<std::string>& variables, Universe::UniverseRelationalOperator op, const std::string& value) pure virtual
void addMinimum(const std::vector<std::string>& variables, Universe::UniverseSetBelongingOperator op, const Universe::BigInteger& min, const Universe::BigInteger& max) pure virtual
void addMinimum(const std::vector<std::string>& variables, Universe::UniverseSetBelongingOperator op, const std::vector<Universe::BigInteger>& set) pure virtual
void addMinimumIndex(const std::vector<std::string>& variables, int startIndex, const std::string& index, Universe::UniverseRelationalOperator op, const Universe::BigInteger& value) pure virtual
void addMinimumIndex(const std::vector<std::string>& variables, int startIndex, const std::string& index, Universe::UniverseRelationalOperator op, const std::string& value) pure virtual
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) pure virtual
void addMinimumIndex(const std::vector<std::string>& variables, int startIndex, const std::string& index, Universe::UniverseSetBelongingOperator op, const std::vector<Universe::BigInteger>& set) pure virtual
void addMinimumIntension(const std::vector<Universe::IUniverseIntensionConstraint*>& intensionConstraints, Universe::UniverseRelationalOperator op, const Universe::BigInteger& value) pure virtual
void addMinimumIntension(const std::vector<Universe::IUniverseIntensionConstraint*>& intensionConstraints, Universe::UniverseRelationalOperator op, const std::string& value) pure virtual
void addMinimumIntension(const std::vector<Universe::IUniverseIntensionConstraint*>& intensionConstraints, Universe::UniverseSetBelongingOperator op, const Universe::BigInteger& min, const Universe::BigInteger& max) pure virtual
void addMinimumIntension(const std::vector<Universe::IUniverseIntensionConstraint*>& intensionConstraints, Universe::UniverseSetBelongingOperator op, const std::vector<Universe::BigInteger>& set) pure virtual
void addMinimumArg(const std::vector<std::string>& variables, Universe::UniverseRelationalOperator op, const Universe::BigInteger& value) pure virtual
void addMinimumArg(const std::vector<std::string>& variables, Universe::UniverseRelationalOperator op, const std::string& value) pure virtual
void addMinimumArg(const std::vector<std::string>& variables, Universe::UniverseSetBelongingOperator op, const Universe::BigInteger& min, const Universe::BigInteger& max) pure virtual
void addMinimumArg(const std::vector<std::string>& variables, Universe::UniverseSetBelongingOperator op, const std::vector<Universe::BigInteger>& set) pure virtual
void addMinimumArgIntension(const std::vector<Universe::IUniverseIntensionConstraint*>& intensionConstraints, Universe::UniverseRelationalOperator op, const Universe::BigInteger& value) pure virtual
void addMinimumArgIntension(const std::vector<Universe::IUniverseIntensionConstraint*>& intensionConstraints, Universe::UniverseRelationalOperator op, const std::string& value) pure virtual
void addMinimumArgIntension(const std::vector<Universe::IUniverseIntensionConstraint*>& intensionConstraints, Universe::UniverseSetBelongingOperator op, const Universe::BigInteger& min, const Universe::BigInteger& max) pure virtual
void addMinimumArgIntension(const std::vector<Universe::IUniverseIntensionConstraint*>& intensionConstraints, Universe::UniverseSetBelongingOperator op, const std::vector<Universe::BigInteger>& set) pure virtual
void addMaximum(const std::vector<std::string>& variables, Universe::UniverseRelationalOperator op, const Universe::BigInteger& value) pure virtual
void addMaximum(const std::vector<std::string>& variables, Universe::UniverseRelationalOperator op, const std::string& value) pure virtual
void addMaximum(const std::vector<std::string>& variables, Universe::UniverseSetBelongingOperator op, const Universe::BigInteger& min, const Universe::BigInteger& max) pure virtual
void addMaximum(const std::vector<std::string>& variables, Universe::UniverseSetBelongingOperator op, const std::vector<Universe::BigInteger>& set) pure virtual
void addMaximumIndex(const std::vector<std::string>& variables, int startIndex, const std::string& index, Universe::UniverseRelationalOperator op, const Universe::BigInteger& value) pure virtual
void addMaximumIndex(const std::vector<std::string>& variables, int startIndex, const std::string& index, Universe::UniverseRelationalOperator op, const std::string& value) pure virtual
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) pure virtual
void addMaximumIndex(const std::vector<std::string>& variables, int startIndex, const std::string& index, Universe::UniverseSetBelongingOperator op, const std::vector<Universe::BigInteger>& set) pure virtual
void addMaximumIntension(const std::vector<Universe::IUniverseIntensionConstraint*>& intensionConstraints, Universe::UniverseRelationalOperator op, const Universe::BigInteger& value) pure virtual
void addMaximumIntension(const std::vector<Universe::IUniverseIntensionConstraint*>& intensionConstraints, Universe::UniverseRelationalOperator op, const std::string& value) pure virtual
void addMaximumIntension(const std::vector<Universe::IUniverseIntensionConstraint*>& intensionConstraints, Universe::UniverseSetBelongingOperator op, const Universe::BigInteger& min, const Universe::BigInteger& max) pure virtual
void addMaximumIntension(const std::vector<Universe::IUniverseIntensionConstraint*>& intensionConstraints, Universe::UniverseSetBelongingOperator op, const std::vector<Universe::BigInteger>& set) pure virtual
void addMaximumArg(const std::vector<std::string>& variables, Universe::UniverseRelationalOperator op, const Universe::BigInteger& value) pure virtual
void addMaximumArg(const std::vector<std::string>& variables, Universe::UniverseRelationalOperator op, const std::string& value) pure virtual
void addMaximumArg(const std::vector<std::string>& variables, Universe::UniverseSetBelongingOperator op, const Universe::BigInteger& min, const Universe::BigInteger& max) pure virtual
void addMaximumArg(const std::vector<std::string>& variables, Universe::UniverseSetBelongingOperator op, const std::vector<Universe::BigInteger>& set) pure virtual
void addMaximumArgIntension(const std::vector<Universe::IUniverseIntensionConstraint*>& intensionConstraints, Universe::UniverseRelationalOperator op, const Universe::BigInteger& value) pure virtual
void addMaximumArgIntension(const std::vector<Universe::IUniverseIntensionConstraint*>& intensionConstraints, Universe::UniverseRelationalOperator op, const std::string& value) pure virtual
void addMaximumArgIntension(const std::vector<Universe::IUniverseIntensionConstraint*>& intensionConstraints, Universe::UniverseSetBelongingOperator op, const Universe::BigInteger& min, const Universe::BigInteger& max) pure virtual
void addMaximumArgIntension(const std::vector<Universe::IUniverseIntensionConstraint*>& intensionConstraints, Universe::UniverseSetBelongingOperator op, const std::vector<Universe::BigInteger>& set) pure virtual
void addNoOverlap(const std::vector<std::string>& variables, const std::vector<Universe::BigInteger>& length) pure virtual
void addNoOverlap(const std::vector<std::string>& variables, const std::vector<Universe::BigInteger>& length, bool zeroIgnored) pure virtual
void addNoOverlapVariableLength(const std::vector<std::string>& variables, const std::vector<std::string>& length) pure virtual
void addNoOverlapVariableLength(const std::vector<std::string>& variables, const std::vector<std::string>& length, bool zeroIgnored) pure virtual
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) pure virtual
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) pure virtual
void addMultiDimensionalNoOverlap(const std::vector<std::vector<std::string>>& variables, const std::vector<std::vector<Universe::BigInteger>>& length) pure virtual
void addMultiDimensionalNoOverlap(const std::vector<std::vector<std::string>>& variables, const std::vector<std::vector<Universe::BigInteger>>& length, bool zeroIgnored) pure virtual
void addMultiDimensionalNoOverlapVariableLength(const std::vector<std::vector<std::string>>& variables, const std::vector<std::vector<std::string>>& length) pure virtual
void addMultiDimensionalNoOverlapVariableLength(const std::vector<std::vector<std::string>>& variables, const std::vector<std::vector<std::string>>& length, bool zeroIgnored) pure virtual
void addOrdered(const std::vector<std::string>& variables, Universe::UniverseRelationalOperator op) pure virtual
void addOrderedWithConstantLength(const std::vector<std::string>& variables, const std::vector<Universe::BigInteger>& lengths, Universe::UniverseRelationalOperator op) pure virtual
void addOrderedWithVariableLength(const std::vector<std::string>& variables, const std::vector<std::string>& lengths, Universe::UniverseRelationalOperator op) pure virtual
void addAllEqual(const std::vector<std::string>& variables) pure virtual
void addAllEqualIntension(const std::vector<Universe::IUniverseIntensionConstraint*>& expressions) pure virtual
void addNotAllEqual(const std::vector<std::string>& variables) pure virtual
void addLex(const std::vector<std::vector<std::string>>& tuples, Universe::UniverseRelationalOperator op) pure virtual
void addLex(const std::vector<std::vector<std::string>>& variables, const std::vector<std::vector<Universe::BigInteger>>& limit, Universe::UniverseRelationalOperator op) pure virtual
void addLexMatrix(const std::vector<std::vector<std::string>>& matrix, Universe::UniverseRelationalOperator op) pure virtual
void addSum(const std::vector<std::string>& variables, Universe::UniverseRelationalOperator op, const Universe::BigInteger& value) pure virtual
void addSum(const std::vector<std::string>& variables, Universe::UniverseRelationalOperator op, const std::string& rightVariable) pure virtual
void addSum(const std::vector<std::string>& variables, Universe::UniverseSetBelongingOperator op, const Universe::BigInteger& min, const Universe::BigInteger& max) pure virtual
void addSum(const std::vector<std::string>& variables, Universe::UniverseSetBelongingOperator op, const std::vector<Universe::BigInteger>& values) pure virtual
void addSum(const std::vector<std::string>& variables, const std::vector<Universe::BigInteger>& coefficients, Universe::UniverseRelationalOperator op, const Universe::BigInteger& value) pure virtual
void addSum(const std::vector<std::string>& variables, const std::vector<Universe::BigInteger>& coefficients, Universe::UniverseRelationalOperator op, const std::string& rightVariable) pure virtual
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) pure virtual
void addSum(const std::vector<std::string>& variables, const std::vector<Universe::BigInteger>& coefficients, Universe::UniverseSetBelongingOperator op, const std::vector<Universe::BigInteger>& values) pure virtual
void addSumIntension(const std::vector<Universe::IUniverseIntensionConstraint*>& expressions, Universe::UniverseRelationalOperator op, const Universe::BigInteger& value) pure virtual
void addSumIntension(const std::vector<Universe::IUniverseIntensionConstraint*>& expressions, Universe::UniverseRelationalOperator op, const std::string& rightVariable) pure virtual
void addSumIntension(const std::vector<Universe::IUniverseIntensionConstraint*>& expressions, Universe::UniverseSetBelongingOperator op, const Universe::BigInteger& min, const Universe::BigInteger& max) pure virtual
void addSumIntension(const std::vector<Universe::IUniverseIntensionConstraint*>& expressions, Universe::UniverseSetBelongingOperator op, const std::vector<Universe::BigInteger>& values) pure virtual
void addSumIntension(const std::vector<Universe::IUniverseIntensionConstraint*>& expressions, const std::vector<Universe::BigInteger>& coefficients, Universe::UniverseRelationalOperator op, const Universe::BigInteger& value) pure virtual
void addSumIntension(const std::vector<Universe::IUniverseIntensionConstraint*>& expressions, const std::vector<Universe::BigInteger>& coefficients, Universe::UniverseRelationalOperator op, const std::string& rightVariable) pure virtual
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) pure virtual
void addSumIntension(const std::vector<Universe::IUniverseIntensionConstraint*>& expressions, const std::vector<Universe::BigInteger>& coefficients, Universe::UniverseSetBelongingOperator op, const std::vector<Universe::BigInteger>& values) pure virtual
void addSumWithVariableCoefficients(const std::vector<std::string>& variables, const std::vector<std::string>& coefficients, Universe::UniverseRelationalOperator op, const Universe::BigInteger& value) pure virtual
void addSumWithVariableCoefficients(const std::vector<std::string>& variables, const std::vector<std::string>& coefficients, Universe::UniverseRelationalOperator op, const std::string& rightVariable) pure virtual
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) pure virtual
void addSumWithVariableCoefficients(const std::vector<std::string>& variables, const std::vector<std::string>& coefficients, Universe::UniverseSetBelongingOperator op, const std::vector<Universe::BigInteger>& values) pure virtual
void addSumIntensionWithVariableCoefficients(const std::vector<Universe::IUniverseIntensionConstraint*>& expressions, const std::vector<std::string>& coefficients, Universe::UniverseRelationalOperator op, const Universe::BigInteger& value) pure virtual
void addSumIntensionWithVariableCoefficients(const std::vector<Universe::IUniverseIntensionConstraint*>& expressions, const std::vector<std::string>& coefficients, Universe::UniverseRelationalOperator op, const std::string& rightVariable) pure virtual
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) pure virtual
void addSumIntensionWithVariableCoefficients(const std::vector<Universe::IUniverseIntensionConstraint*>& expressions, const std::vector<std::string>& coefficients, Universe::UniverseSetBelongingOperator op, const std::vector<Universe::BigInteger>& values) pure virtual
void addCircuit(const std::vector<std::string>& variables, int startIndex) pure virtual
void addCircuit(const std::vector<std::string>& variables, int startIndex, const Universe::BigInteger& size) pure virtual
void addCircuit(const std::vector<std::string>& variables, int startIndex, const std::string& size) pure virtual
void addMDD(const std::vector<std::string>& variables, const std::vector<UniverseTransition>& transitions) pure virtual
void addRegular(const std::vector<std::string>& variables, const std::vector<UniverseTransition>& transitions, const std::string& startState, const std::vector<std::string>& finalStates) pure virtual
void addFlow(const std::vector<std::string>& variables, const std::vector<Universe::BigInteger>& balance, const std::vector<std::vector<Universe::BigInteger>>& edges) pure virtual
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) pure virtual
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) pure virtual
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) pure virtual
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) pure virtual
void minimizeVariable(const std::string& variable) pure virtual
void minimizeExpression(Universe::IUniverseIntensionConstraint* expression) pure virtual
void maximizeVariable(const std::string& variable) pure virtual
void maximizeExpression(Universe::IUniverseIntensionConstraint* expression) pure virtual
void minimizeSum(const std::vector<std::string>& variables) pure virtual
void minimizeSum(const std::vector<std::string>& variables, const std::vector<Universe::BigInteger>& coefficients) pure virtual
void minimizeExpressionSum(const std::vector<Universe::IUniverseIntensionConstraint*>& expressions) pure virtual
void minimizeExpressionSum(const std::vector<Universe::IUniverseIntensionConstraint*>& expressions, const std::vector<Universe::BigInteger>& coefficients) pure virtual
void maximizeSum(const std::vector<std::string>& variables) pure virtual
void maximizeSum(const std::vector<std::string>& variables, const std::vector<Universe::BigInteger>& coefficients) pure virtual
void maximizeExpressionSum(const std::vector<Universe::IUniverseIntensionConstraint*>& expressions) pure virtual
void maximizeExpressionSum(const std::vector<Universe::IUniverseIntensionConstraint*>& expressions, const std::vector<Universe::BigInteger>& coefficients) pure virtual
void minimizeProduct(const std::vector<std::string>& variables) pure virtual
void minimizeProduct(const std::vector<std::string>& variables, const std::vector<Universe::BigInteger>& coefficients) pure virtual
void minimizeExpressionProduct(const std::vector<Universe::IUniverseIntensionConstraint*>& expressions) pure virtual
void minimizeExpressionProduct(const std::vector<Universe::IUniverseIntensionConstraint*>& expressions, const std::vector<Universe::BigInteger>& coefficients) pure virtual
void maximizeProduct(const std::vector<std::string>& variables) pure virtual
void maximizeProduct(const std::vector<std::string>& variables, const std::vector<Universe::BigInteger>& coefficients) pure virtual
void maximizeExpressionProduct(const std::vector<Universe::IUniverseIntensionConstraint*>& expressions) pure virtual
void maximizeExpressionProduct(const std::vector<Universe::IUniverseIntensionConstraint*>& expressions, const std::vector<Universe::BigInteger>& coefficients) pure virtual
void minimizeMinimum(const std::vector<std::string>& variables) pure virtual
void minimizeMinimum(const std::vector<std::string>& variables, const std::vector<Universe::BigInteger>& coefficients) pure virtual
void minimizeExpressionMinimum(const std::vector<Universe::IUniverseIntensionConstraint*>& expressions) pure virtual
void minimizeExpressionMinimum(const std::vector<Universe::IUniverseIntensionConstraint*>& expressions, const std::vector<Universe::BigInteger>& coefficients) pure virtual
void maximizeMinimum(const std::vector<std::string>& variables) pure virtual
void maximizeMinimum(const std::vector<std::string>& variables, const std::vector<Universe::BigInteger>& coefficients) pure virtual
void maximizeExpressionMinimum(const std::vector<Universe::IUniverseIntensionConstraint*>& expressions) pure virtual
void maximizeExpressionMinimum(const std::vector<Universe::IUniverseIntensionConstraint*>& expressions, const std::vector<Universe::BigInteger>& coefficients) pure virtual
void minimizeMaximum(const std::vector<std::string>& variables) pure virtual
void minimizeMaximum(const std::vector<std::string>& variables, const std::vector<Universe::BigInteger>& coefficients) pure virtual
void minimizeExpressionMaximum(const std::vector<Universe::IUniverseIntensionConstraint*>& expressions) pure virtual
void minimizeExpressionMaximum(const std::vector<Universe::IUniverseIntensionConstraint*>& expressions, const std::vector<Universe::BigInteger>& coefficients) pure virtual
void maximizeMaximum(const std::vector<std::string>& variables) pure virtual
void maximizeMaximum(const std::vector<std::string>& variables, const std::vector<Universe::BigInteger>& coefficients) pure virtual
void maximizeExpressionMaximum(const std::vector<Universe::IUniverseIntensionConstraint*>& expressions) pure virtual
void maximizeExpressionMaximum(const std::vector<Universe::IUniverseIntensionConstraint*>& expressions, const std::vector<Universe::BigInteger>& coefficients) pure virtual
void minimizeNValues(const std::vector<std::string>& variables) pure virtual
void minimizeNValues(const std::vector<std::string>& variables, const std::vector<Universe::BigInteger>& coefficients) pure virtual
void minimizeExpressionNValues(const std::vector<Universe::IUniverseIntensionConstraint*>& expressions) pure virtual
void minimizeExpressionNValues(const std::vector<Universe::IUniverseIntensionConstraint*>& expressions, const std::vector<Universe::BigInteger>& coefficients) pure virtual
void maximizeNValues(const std::vector<std::string>& variables) pure virtual
void maximizeNValues(const std::vector<std::string>& variables, const std::vector<Universe::BigInteger>& coefficients) pure virtual
void maximizeExpressionNValues(const std::vector<Universe::IUniverseIntensionConstraint*>& expressions) pure virtual
void maximizeExpressionNValues(const std::vector<Universe::IUniverseIntensionConstraint*>& expressions, const std::vector<Universe::BigInteger>& coefficients) pure virtual

Function documentation

void Universe::IUniverseCspSolver::newVariable(const std::string& id, int min, int max) pure virtual

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::IUniverseCspSolver::newVariable(const std::string& id, const Universe::BigInteger& min, const Universe::BigInteger& max) pure virtual

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::IUniverseCspSolver::newVariable(const std::string& id, const std::vector<int>& values) pure virtual

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::IUniverseCspSolver::newVariable(const std::string& id, const std::vector<Universe::BigInteger>& values) pure virtual

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::IUniverseCspSolver::newVariableSymbolic(const std::string& id, const std::vector<std::string>& values) pure virtual

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::IUniverseCspSolver::addInstantiation(const std::string& variable, int value) pure virtual

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::IUniverseCspSolver::addInstantiation(const std::string& variable, const Universe::BigInteger& value) pure virtual

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::IUniverseCspSolver::addInstantiation(const std::string& variable, const std::string& value) pure virtual

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::IUniverseCspSolver::addInstantiation(const std::vector<std::string>& variables, const std::vector<int>& values) pure virtual

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::IUniverseCspSolver::addInstantiation(const std::vector<std::string>& variables, const std::vector<Universe::BigInteger>& values) pure virtual

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::IUniverseCspSolver::addInstantiationSymbolic(const std::vector<std::string>& variables, const std::vector<std::string>& values) pure virtual

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::IUniverseCspSolver::addClause(const std::vector<std::string>& positive, const std::vector<std::string>& negative) pure virtual

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::IUniverseCspSolver::addLogical(Universe::UniverseBooleanOperator op, const std::vector<std::string>& variables) pure virtual

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::IUniverseCspSolver::addLogical(const std::string& variable, bool equiv, Universe::UniverseBooleanOperator op, const std::vector<std::string>& variables) pure virtual

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::IUniverseCspSolver::addLogical(const std::string& variable, const std::string& left, Universe::UniverseRelationalOperator op, const Universe::BigInteger& right) pure virtual

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::IUniverseCspSolver::addLogical(const std::string& variable, const std::string& left, Universe::UniverseRelationalOperator op, const std::string& right) pure virtual

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::IUniverseCspSolver::addAllDifferent(const std::vector<std::string>& variables) pure virtual

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::IUniverseCspSolver::addAllDifferent(const std::vector<std::string>& variables, const std::vector<Universe::BigInteger>& except) pure virtual

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::IUniverseCspSolver::addAllDifferentMatrix(const std::vector<std::vector<std::string>>& variableMatrix) pure virtual

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::IUniverseCspSolver::addAllDifferentMatrix(const std::vector<std::vector<std::string>>& variableMatrix, const std::vector<Universe::BigInteger>& except) pure virtual

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::IUniverseCspSolver::addAllDifferentList(const std::vector<std::vector<std::string>>& variableLists) pure virtual

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::IUniverseCspSolver::addAllDifferentList(const std::vector<std::vector<std::string>>& variableLists, const std::vector<std::vector<Universe::BigInteger>>& except) pure virtual

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::IUniverseCspSolver::addAllDifferentIntension(const std::vector<Universe::IUniverseIntensionConstraint*>& intensionConstraints) pure virtual

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::IUniverseCspSolver::addChannel(const std::vector<std::string>& variables, int startIndex) pure virtual

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::IUniverseCspSolver::addChannel(const std::vector<std::string>& variables, int startIndex, const std::string& value) pure virtual

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::IUniverseCspSolver::addChannel(const std::vector<std::string>& variables, int startIndex, const std::vector<std::string>& otherVariables, int otherStartIndex) pure virtual

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::IUniverseCspSolver::addCardinalityWithConstantValuesAndConstantCounts(const std::vector<std::string>& variables, const std::vector<Universe::BigInteger>& values, const std::vector<Universe::BigInteger>& occurs, bool closed) pure virtual

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::IUniverseCspSolver::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) pure virtual

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::IUniverseCspSolver::addCardinalityWithConstantValuesAndVariableCounts(const std::vector<std::string>& variables, const std::vector<Universe::BigInteger>& values, const std::vector<std::string>& occurs, bool closed) pure virtual

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::IUniverseCspSolver::addCardinalityWithVariableValuesAndConstantCounts(const std::vector<std::string>& variables, const std::vector<std::string>& values, const std::vector<Universe::BigInteger>& occurs, bool closed) pure virtual

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::IUniverseCspSolver::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) pure virtual

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::IUniverseCspSolver::addCardinalityWithVariableValuesAndVariableCounts(const std::vector<std::string>& variables, const std::vector<std::string>& values, const std::vector<std::string>& occurs, bool closed) pure virtual

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::IUniverseCspSolver::addAtLeast(const std::vector<std::string>& variables, const Universe::BigInteger& value, const Universe::BigInteger& count) pure virtual

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::IUniverseCspSolver::addExactly(const std::vector<std::string>& variables, const Universe::BigInteger& value, const Universe::BigInteger& count) pure virtual

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::IUniverseCspSolver::addExactly(const std::vector<std::string>& variables, const Universe::BigInteger& value, const std::string& count) pure virtual

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::IUniverseCspSolver::addAmong(const std::vector<std::string>& variables, const std::vector<Universe::BigInteger>& values, const Universe::BigInteger& count) pure virtual

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::IUniverseCspSolver::addAmong(const std::vector<std::string>& variables, const std::vector<Universe::BigInteger>& values, const std::string& count) pure virtual

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::IUniverseCspSolver::addAtMost(const std::vector<std::string>& variables, const Universe::BigInteger& value, const Universe::BigInteger& count) pure virtual

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::IUniverseCspSolver::addCountWithConstantValues(const std::vector<std::string>& variables, const std::vector<Universe::BigInteger>& values, Universe::UniverseRelationalOperator op, const Universe::BigInteger& count) pure virtual

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::IUniverseCspSolver::addCountWithConstantValues(const std::vector<std::string>& variables, const std::vector<Universe::BigInteger>& values, Universe::UniverseRelationalOperator op, const std::string& count) pure virtual

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::IUniverseCspSolver::addCountWithConstantValues(const std::vector<std::string>& variables, const std::vector<Universe::BigInteger>& values, Universe::UniverseSetBelongingOperator op, const Universe::BigInteger& min, const Universe::BigInteger& max) pure virtual

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::IUniverseCspSolver::addCountWithConstantValues(const std::vector<std::string>& variables, const std::vector<Universe::BigInteger>& values, Universe::UniverseSetBelongingOperator op, const std::vector<Universe::BigInteger>& set) pure virtual

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::IUniverseCspSolver::addCountWithVariableValues(const std::vector<std::string>& variables, const std::vector<std::string>& values, Universe::UniverseRelationalOperator op, const Universe::BigInteger& count) pure virtual

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::IUniverseCspSolver::addCountWithVariableValues(const std::vector<std::string>& variables, const std::vector<std::string>& values, Universe::UniverseRelationalOperator op, const std::string& count) pure virtual

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::IUniverseCspSolver::addCountWithVariableValues(const std::vector<std::string>& variables, const std::vector<std::string>& values, Universe::UniverseSetBelongingOperator op, const Universe::BigInteger& min, const Universe::BigInteger& max) pure virtual

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::IUniverseCspSolver::addCountWithVariableValues(const std::vector<std::string>& variables, const std::vector<std::string>& values, Universe::UniverseSetBelongingOperator op, const std::vector<Universe::BigInteger>& set) pure virtual

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::IUniverseCspSolver::addCountIntensionWithConstantValues(const std::vector<Universe::IUniverseIntensionConstraint*>& expressions, const std::vector<Universe::BigInteger>& values, Universe::UniverseRelationalOperator op, const Universe::BigInteger& count) pure virtual

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::IUniverseCspSolver::addCountIntensionWithConstantValues(const std::vector<Universe::IUniverseIntensionConstraint*>& expressions, const std::vector<Universe::BigInteger>& values, Universe::UniverseRelationalOperator op, const std::string& count) pure virtual

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::IUniverseCspSolver::addCountIntensionWithConstantValues(const std::vector<Universe::IUniverseIntensionConstraint*>& expressions, const std::vector<Universe::BigInteger>& values, Universe::UniverseSetBelongingOperator op, const Universe::BigInteger& min, const Universe::BigInteger& max) pure virtual

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::IUniverseCspSolver::addCountIntensionWithConstantValues(const std::vector<Universe::IUniverseIntensionConstraint*>& expressions, const std::vector<Universe::BigInteger>& values, Universe::UniverseSetBelongingOperator op, const std::vector<Universe::BigInteger>& set) pure virtual

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::IUniverseCspSolver::addNValues(const std::vector<std::string>& variables, Universe::UniverseRelationalOperator op, const Universe::BigInteger& nb) pure virtual

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::IUniverseCspSolver::addNValuesExcept(const std::vector<std::string>& variables, Universe::UniverseRelationalOperator op, const Universe::BigInteger& nb, const std::vector<Universe::BigInteger>& except) pure virtual

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::IUniverseCspSolver::addNValues(const std::vector<std::string>& variables, Universe::UniverseRelationalOperator op, const std::string& nb) pure virtual

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::IUniverseCspSolver::addNValuesExcept(const std::vector<std::string>& variables, Universe::UniverseRelationalOperator op, const std::string& nb, const std::vector<Universe::BigInteger>& except) pure virtual

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::IUniverseCspSolver::addNValues(const std::vector<std::string>& variables, Universe::UniverseSetBelongingOperator op, const Universe::BigInteger& min, const Universe::BigInteger& max) pure virtual

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::IUniverseCspSolver::addNValuesExcept(const std::vector<std::string>& variables, Universe::UniverseSetBelongingOperator op, const Universe::BigInteger& min, const Universe::BigInteger& max, const std::vector<Universe::BigInteger>& except) pure virtual

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::IUniverseCspSolver::addNValues(const std::vector<std::string>& variables, Universe::UniverseSetBelongingOperator op, const std::vector<Universe::BigInteger>& set) pure virtual

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::IUniverseCspSolver::addNValuesExcept(const std::vector<std::string>& variables, Universe::UniverseSetBelongingOperator op, const std::vector<Universe::BigInteger>& set, const std::vector<Universe::BigInteger>& except) pure virtual

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::IUniverseCspSolver::addNValuesIntension(const std::vector<Universe::IUniverseIntensionConstraint*>& expressions, Universe::UniverseRelationalOperator op, const Universe::BigInteger& nb) pure virtual

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::IUniverseCspSolver::addNValuesIntension(const std::vector<Universe::IUniverseIntensionConstraint*>& expressions, Universe::UniverseRelationalOperator op, const std::string& nb) pure virtual

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::IUniverseCspSolver::addNValuesIntension(const std::vector<Universe::IUniverseIntensionConstraint*>& expressions, Universe::UniverseSetBelongingOperator op, const Universe::BigInteger& min, const Universe::BigInteger& max) pure virtual

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::IUniverseCspSolver::addNValuesIntension(const std::vector<Universe::IUniverseIntensionConstraint*>& expressions, Universe::UniverseSetBelongingOperator op, const std::vector<Universe::BigInteger>& set) pure virtual

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::IUniverseCspSolver::addBinPacking(const std::vector<std::string>& variables, const std::vector<Universe::BigInteger>& sizes, Universe::UniverseRelationalOperator op, const Universe::BigInteger& value) pure virtual

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::IUniverseCspSolver::addBinPacking(const std::vector<std::string>& variables, const std::vector<Universe::BigInteger>& sizes, Universe::UniverseRelationalOperator op, const std::string& variable) pure virtual

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::IUniverseCspSolver::addBinPacking(const std::vector<std::string>& variables, const std::vector<Universe::BigInteger>& sizes, Universe::UniverseSetBelongingOperator op, const Universe::BigInteger& min, const Universe::BigInteger& max) pure virtual

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::IUniverseCspSolver::addBinPacking(const std::vector<std::string>& variables, const std::vector<Universe::BigInteger>& sizes, Universe::UniverseSetBelongingOperator op, const std::vector<Universe::BigInteger>& set) pure virtual

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::IUniverseCspSolver::addBinPackingWithConstantCapacities(const std::vector<std::string>& variables, const std::vector<Universe::BigInteger>& sizes, const std::vector<Universe::BigInteger>& capacities, bool loads) pure virtual

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::IUniverseCspSolver::addBinPackingWithVariableCapacities(const std::vector<std::string>& variables, const std::vector<Universe::BigInteger>& sizes, const std::vector<std::string>& capacities, bool loads) pure virtual

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.