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

Contents

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

Derived classes

class UniverseJavaSolverFactory

Constructors, destructors, conversion operators

~IUniverseSolverFactory() defaulted virtual

Public functions

auto createSatSolver() -> IUniverseSatSolver* pure virtual
auto createPseudoBooleanSolver() -> IUniversePseudoBooleanSolver* pure virtual
auto createCspSolver() -> IUniverseCspSolver* pure virtual

Function documentation

Universe::IUniverseSolverFactory::~IUniverseSolverFactory() virtual defaulted

Destroys this IUniverseSolverFactory.

IUniverseSatSolver* Universe::IUniverseSolverFactory::createSatSolver() pure virtual

Returns The created solver.

Creates a SAT solver implementing Universe's interface.

IUniversePseudoBooleanSolver* Universe::IUniverseSolverFactory::createPseudoBooleanSolver() pure virtual

Returns The created solver.

Creates a pseudo-Boolean solver implementing Universe's interface.

IUniverseCspSolver* Universe::IUniverseSolverFactory::createCspSolver() pure virtual

Returns The created solver.

Creates a CSP solver implementing Universe's interface.