Module fr.univartois.cril.juniverse
Package fr.univartois.cril.juniverse.utils

Interface IUniverseSolverFactory

public interface IUniverseSolverFactory
The IUniverseSolverFactory defines an abstract factory for instantiating solvers implementing different interfaces.

  • Method Details

    • createSatSolver

      IUniverseSatSolver createSatSolver()
      Creates a SAT solver implementing JUniverse's interface.
      Returns:
      The created solver.

    • createPseudoBooleanSolver

      IUniversePseudoBooleanSolver createPseudoBooleanSolver()
      Creates a pseudo-Boolean solver implementing JUniverse's interface.
      Returns:
      The created solver.

    • createCspSolver

      IUniverseCSPSolver createCspSolver()
      Creates a CSP solver implementing JUniverse's interface.
      Returns:
      The created solver.

    • toString

      String toString()
      Gives a String representation of this factory, allowing to easily identify which solvers are instantiated by this factory. All implementations of IUniverseSolverFactory should redefine toString().
      Overrides:
      toString in class Object
      Returns:
      The String representation of this factory.