org.sosy_lab.solver

Class FormulaManagerFactory

java.lang.Object

org.sosy_lab.solver.SolverContextFactory

public class FormulaManagerFactory
extends Object

Factory class for loading and instantiating SMT solvers: instantiates and loads a FormulaManager corresponding to the chosen solver.

Main entry point.

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static interface	FormulaManagerFactory.SolverFactory Interface for completely encapsulating all accesses to a solver's package to decouple the solver's package from the rest of the code.
static class	FormulaManagerFactory.Solvers

Constructor Summary

Constructors

Constructor and Description
FormulaManagerFactory(Configuration config, LogManager pLogger, ShutdownNotifier pShutdownNotifier)

Method Summary

Modifier and Type	Method and Description
static FormulaManager	createFormulaManager(Configuration config, LogManager logger, ShutdownNotifier shutdownNotifier) Shortcut for getting a FormulaManager.
FormulaManager	getFormulaManager()
FormulaManager	getFormulaManagerForInterpolation()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

FormulaManagerFactory

public FormulaManagerFactory(Configuration config,
                             LogManager pLogger,
                             ShutdownNotifier pShutdownNotifier)
                      throws InvalidConfigurationException

Throws:

InvalidConfigurationException

Method Detail

createFormulaManager

public static FormulaManager createFormulaManager(Configuration config,
                                                  LogManager logger,
                                                  ShutdownNotifier shutdownNotifier)
                                           throws InvalidConfigurationException

Shortcut for getting a FormulaManager.

See FormulaManagerFactory(Configuration, LogManager, ShutdownNotifier) for documentation of accepted parameters.

Throws:

InvalidConfigurationException

getFormulaManager

public FormulaManager getFormulaManager()

getFormulaManagerForInterpolation

public FormulaManager getFormulaManagerForInterpolation()