Files

• dir crillab-universe
  • dir config
    • file IUniverseConfigurableSolver.hpp Defines an interface for a solver that can be configured.
    • file UniverseConfiguration.hpp Provides all information for configuring a particular element of a solver.
  • dir core
    • dir problem
      • file IUniverseConstraint.hpp Defines an interface for the constraints in a problem.
      • file IUniverseDomain.hpp Defines an interface for the domain of the variables in a problem.
      • file IUniverseProblem.hpp Defines an interface for the problems to solve.
      • file IUniverseVariable.hpp Defines an interface for the variables in a problem.
      • file UniverseJavaConstraint.hpp Defines an implementation of an IUniverseConstraint in Java (using JNI).
      • file UniverseJavaDomain.hpp Defines an implementation of an IUniverseDomain in Java (using JNI).
      • file UniverseJavaProblem.hpp Defines an implementation of an IUniverseProblem in Java (using JNI).
      • file UniverseJavaVariable.hpp Defines an implementation of an IUniverseVariable in Java (using JNI).
    • file IUniverseSolver.hpp Defines an interface for any kind of solvers.
    • file UniverseAssumption.hpp Defines an object representing a solving assumption.
    • file UniverseContradictionException.hpp Defines an exception thrown when encountering a trivial inconsistency.
    • file UniverseJavaSolver.hpp Defines an implementation of an IUniverseSolver in Java (using JNI).
    • file UniverseSolverResult.hpp Defines an enumeration of all possible results produced by a solver.
    • file UniverseType.hpp Defines various aliases for types used throughout Universe.
  • dir csp
    • dir intension
      • file AbstractUniverseIntensionConstraintFactory.hpp Defines an abstract class for instantiating intension constraints.
      • file IUniverseIntensionConstraint.hpp Defines an interface for representing intension constraints.
      • file IUniverseIntensionConstraintVisitor.hpp Defines an interface for visiting intension constraints.
      • file UniverseBinaryIntensionConstraint.hpp An intension constraint that applies an operator on two intension constraints.
      • file UniverseConstantIntensionConstraint.hpp An intension constraint representing a constant value.
      • file UniverseIfThenElseIntensionConstraint.hpp An intension constraint representing an if-then-else (ternary) constraint.
      • file UniverseIntensionConstraintFactory.hpp Defines a factory class for instantiating native intension constraints.
      • file UniverseJavaIntensionConstraint.hpp An adapter for a Java implementation of an intension constraint.
      • file UniverseJavaIntensionConstraintFactory.hpp Defines a factory class for instantiating Java intension constraints.
      • file UniverseNaryIntensionConstraint.hpp
      • file UniverseOperatorIntensionConstraint.hpp Defines the parent class for intension constraints applying operators.
      • file UniverseRangeIntensionConstraint.hpp An intension constraint representing a range of values.
      • file UniverseSetIntensionConstraint.hpp An intension constraint representing a set of intension constraints.
      • file UniverseUnaryIntensionConstraint.hpp An intension constraint that applies an operator on a single intension constraint.
      • file UniverseVariableIntensionConstraint.hpp An intension constraint representing a variable.
    • dir operator
      • file UniverseArithmeticOperator.hpp Enumerates all possible arithmetic operators.
      • file UniverseBooleanOperator.hpp Enumerates all possible operators on Boolean variables.
      • file UniverseRelationalOperator.hpp Enumerates all possible relational operators.
      • file UniverseSetBelongingOperator.hpp Enumerates all possible set-belonging operators.
    • file IUniverseCspSolver.hpp Defines an interface for CSP solvers.
    • file UniverseJavaCspSolver.hpp Defines an implementation of an IUniverseCspSolver in Java (using JNI).
    • file UniverseTransition.hpp Provides the information about a transition in an automaton-based constraint.
  • dir java
    • file JavaBigInteger.hpp Provides a wrapper for instances of Java's BigInteger.
    • file JavaIterator.hpp Provides a wrapper for instances of Java's Iterator.
    • file JavaList.hpp Provides a wrapper for instances of Java's List.
    • file JavaMapOfString.hpp Provides a wrapper for instances of Java's Map using strings as keys.
  • dir listener
    • file IUniverseSearchListener.hpp Defines an interface for listening to search events occurring in the solver.
    • file UniverseJavaSearchListener.hpp Defines an implementation of an IUniverseSearchListener in Java (using JNI).
  • dir optim
    • file IOptimizationSolver.hpp Defines an interface for optimization solvers.
    • file JavaOptimizationSolver.hpp Defines an implementation of an IOptimizationSolver in Java (using JNI).
  • dir pb
    • file IUniversePseudoBooleanSolver.hpp Defines an interface for pseudo-Boolean solvers.
    • file UniverseJavaPseudoBooleanSolver.hpp Defines an implementation of an IUniversePseudoBooleanSolver in Java (using JNI).
  • dir sat
    • file IUniverseSatSolver.hpp Defines an interface for SAT solvers.
    • file UniverseJavaSatSolver.hpp Defines an implementation of an IUniverseSatSolver in Java (using JNI).
  • dir utils
    • file IUniverseSolverFactory.hpp Defines an abstract factory for instantiating solvers.
    • file UniverseJavaSolverFactory.hpp Defines an implementation of a UniverseSolverFactory in Java (using JNI).
• dir docs
  • dir pages
• file about.dox
• file README.md