All Classes and Interfaces
Class
Description
The IUniverseConfigurableSolver interface defines the contract of a solver that can be
configured.
The IUniverseConstraint represents a constraint in constraint problem.
The IUniverseCSPSolver interface defines the contract for CSP solvers.
The IUniverseDomain represents the domain of a
IUniverseVariable in
a constraint problem.The IUniverseIntensionConstraint defines an interface for representing the abstract
syntax tree of an intension constraint.
The IUniverseIntensionConstraintVisitor allows visiting intension constraints to
discover its semantics.
The IUniversePseudoBooleanSolver interface defines the contract for optimization
solvers.
The IUniverseProblem represents a constraint problem to solve.
The IUniversePseudoBooleanSolver interface defines the contract for
pseudo-Boolean solvers.
The IUniverseSatSolver interface defines the contract for SAT solvers.
The IUniverseSearchListener interface defines a listener for listening to the events
occurring during the search performed by a solver.
The IUniverseSolver interface is the root interface defining the base contract
for all solvers.
The IUniverseSolverFactory defines an abstract factory for instantiating solvers
implementing different interfaces.
The IUniverseVariable represents a variable in a constraint problem.
The SolverFactoryLoader loads all implementations of
IUniverseSolverFactory
that are present in the classpath.The ArithmeticOperator enumerates all possible arithmetic operators.
The UniverseAssumption represents a solving assumption, i.e., an hypothesis made about
the assignment of a variable.
The UniverseBinaryIntensionConstraint is an
IUniverseIntensionConstraint that
applies an operator on two intension constraints.The BooleanOperator enumerates all operators on Boolean variables.
The UniverseConfiguration provides all information for configuring a particular element
of an
IUniverseConfigurableSolver.The UniverseConstantIntensionConstraint is an
IUniverseIntensionConstraint that
represents a constant value.The UniverseContradictionException is an exception that is thrown when a trivial
inconsistency is detected by the solver.
The UniverseIfThenElseIntensionConstraint is an
IUniverseIntensionConstraint
that represents an if-then-else (ternary) constraint.The UniverseIntensionConstraintFactory makes easier the construction of
intension
constraints from the solver's API, by providing a functional notation.The UniverseOperatorIntensionConstraint is an
IUniverseIntensionConstraint that
applies an operator on several intension constraints.The Operator interface is a marker interface for all kinds of operators that can appear
in a constraint.
The UniverseOperatorIntensionConstraint is the parent class of all the implementations
of
IUniverseIntensionConstraint that apply an operator on some other intension
constraint(s).The UniverseRangeIntensionConstraint is an
IUniverseIntensionConstraint that
represents a range of values.The RelationalOperator enumerates all possible relational operators.
The SetBelongingOperator enumerates all possible operators for set-belonging
operations.
The UniverseSetIntensionConstraint is an
IUniverseIntensionConstraint that
represents a set of intension constraints.The UniverseSolverResult represents the result returned by the solver at the end of its
execution.
The UniverseTransition represents a transition in a constraint representing an
automaton.
The UniverseUnaryIntensionConstraint is an
IUniverseIntensionConstraint that
applies an operator on a single intension constraint.The UniverseVariableIntensionConstraint is an
IUniverseIntensionConstraint that
represents a variable.