org.sosy_lab.solver

Class SolverContextFactory

java.lang.Object

org.sosy_lab.solver.SolverContextFactory

public class SolverContextFactory
extends Object

Factory class for loading and generating solver contexts. Generates a SolverContext corresponding to the chosen solver.

Main entry point.

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static interface	SolverContextFactory.InnerUtilFactory 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	SolverContextFactory.Solvers

Constructor Summary

Constructors

Constructor and Description
SolverContextFactory(Configuration pConfig, LogManager pLogger, ShutdownNotifier pShutdownNotifier)

Method Summary

Methods

Modifier and Type	Method and Description
static SolverContext	createSolverContext(Configuration config, LogManager logger, ShutdownNotifier shutdownNotifier) Shortcut for getting a SolverContext, the solver is selected using configuration.
static SolverContext	createSolverContext(Configuration config, LogManager logger, ShutdownNotifier shutdownNotifier, SolverContextFactory.Solvers solver) Shortcut for getting a SolverContext, the solver is selected using an argument.
SolverContext	generateContext() Create new context with solver chosen according to the supplied configuration.
SolverContext	generateContext(SolverContextFactory.Solvers solverToCreate) Create new context with solver name supplied.

Methods inherited from class java.lang.Object

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

Constructor Detail

SolverContextFactory

public SolverContextFactory(Configuration pConfig,
                    LogManager pLogger,
                    ShutdownNotifier pShutdownNotifier)
                     throws InvalidConfigurationException

Throws:

InvalidConfigurationException

Method Detail

generateContext

public SolverContext generateContext()
                              throws InvalidConfigurationException

Create new context with solver chosen according to the supplied configuration.

Throws:

InvalidConfigurationException

generateContext

public SolverContext generateContext(SolverContextFactory.Solvers solverToCreate)
                              throws InvalidConfigurationException

Create new context with solver name supplied.

Throws:

InvalidConfigurationException

createSolverContext

public static SolverContext createSolverContext(Configuration config,
                                LogManager logger,
                                ShutdownNotifier shutdownNotifier)
                                         throws InvalidConfigurationException

Shortcut for getting a SolverContext, the solver is selected using configuration.

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

Throws:

InvalidConfigurationException

createSolverContext

public static SolverContext createSolverContext(Configuration config,
                                LogManager logger,
                                ShutdownNotifier shutdownNotifier,
                                SolverContextFactory.Solvers solver)
                                         throws InvalidConfigurationException

Shortcut for getting a SolverContext, the solver is selected using an argument.

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

Throws:

InvalidConfigurationException