Universe namespace

Classes

class IUniverseConfigurableSolver

class UniverseConfiguration

class IUniverseSolver

class IUniverseConstraint

class IUniverseDomain

class IUniverseProblem

class IUniverseVariable

class UniverseJavaConstraint

class UniverseJavaDomain

class UniverseJavaProblem

class UniverseJavaVariable

template<typename T>

class UniverseAssumption

class UniverseContradictionException

class UniverseJavaSolver

class AbstractUniverseIntensionConstraintFactory

class IUniverseIntensionConstraint

class IUniverseIntensionConstraintVisitor

class UniverseBinaryIntensionConstraint

class UniverseConstantIntensionConstraint

class UniverseIfThenElseIntensionConstraint

class UniverseIntensionConstraintFactory

class UniverseJavaIntensionConstraint

class UniverseJavaIntensionConstraintFactory

class UniverseNaryIntensionConstraint

class UniverseOperatorIntensionConstraint

class UniverseRangeIntensionConstraint

class UniverseSetIntensionConstraint

class UniverseUnaryIntensionConstraint

class UniverseVariableIntensionConstraint

class IUniverseCspSolver

class UniverseJavaCspSolver

class UniverseTransition

class JavaBigInteger

class JavaIterator

class JavaList

class JavaMapOfString

class IUniverseSearchListener

class UniverseJavaSearchListener

class IOptimizationSolver

class JavaOptimizationSolver

class IUniversePseudoBooleanSolver

class UniverseJavaPseudoBooleanSolver

class IUniverseSatSolver

class UniverseJavaSatSolver

class IUniverseSolverFactory

class UniverseJavaSolverFactory

Enums

enum class UniverseSolverResult { UNSATISFIABLE, SATISFIABLE, OPTIMUM_FOUND, UNKNOWN, UNSUPPORTED }

enum UniverseArithmeticOperator { NEG = 0, ABS, ADD, SUB, MULT, DIV, MOD, SQR, POW, MIN, MAX, DIST }

enum UniverseBooleanOperator { NOT = 100, AND, OR, XOR, EQUIV, IMPL }

enum UniverseRelationalOperator { LT = 200, LE, EQ, NEQ, GE, GT }

enum UniverseSetBelongingOperator { IN = 300, NOT_IN }

Typedefs

using BigInteger = long long

using UniverseOperator = int

Functions

auto toString(const Universe::BigInteger& i) -> std::string

auto bigIntegerValueOf(const std::string& s) -> Universe::BigInteger

Enum documentation

Typedef documentation

Function documentation