org.sosy_lab.solver

Class SolverContextFactory.InnerUtilFactory

java.lang.Object

org.sosy_lab.solver.SolverContextFactory.InnerUtilFactory

Enclosing class:

SolverContextFactory

public abstract static class SolverContextFactory.InnerUtilFactory
extends Object

Interface for completely encapsulating all accesses to a solver's package to decouple the solver's package from the rest of the code.

This interface is only meant to be implemented by SMT solvers and used by this class, not by other classes.

Constructor Summary

Constructors

Constructor and Description
InnerUtilFactory()

Method Summary

Modifier and Type	Method and Description
SolverContext	create(Configuration config, LogManager logger, ShutdownNotifier pShutdownNotifier, PathCounterTemplate solverLogfile, long randomSeed)
protected abstract SolverContext	generateSolverContext(Configuration config, LogManager logger, ShutdownNotifier pShutdownNotifier, PathCounterTemplate solverLogfile, long randomSeed)

Methods inherited from class java.lang.Object

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

Constructor Detail

InnerUtilFactory

public InnerUtilFactory()

Method Detail

create

public SolverContext create(Configuration config,
                            LogManager logger,
                            ShutdownNotifier pShutdownNotifier,
                            @Nullable
                            PathCounterTemplate solverLogfile,
                            long randomSeed)
                     throws InvalidConfigurationException

Throws:

InvalidConfigurationException

generateSolverContext

protected abstract SolverContext generateSolverContext(Configuration config,
                                                       LogManager logger,
                                                       ShutdownNotifier pShutdownNotifier,
                                                       @Nullable
                                                       PathCounterTemplate solverLogfile,
                                                       long randomSeed)
                                                throws InvalidConfigurationException

Throws:

InvalidConfigurationException