org.sosy_lab.solver

Interface FormulaManagerFactory.SolverFactory

Enclosing class:

FormulaManagerFactory

public 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.

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

Method Summary

Modifier and Type	Method and Description
FormulaManager	create(Configuration config, LogManager logger, ShutdownNotifier pShutdownNotifier, PathCounterTemplate solverLogfile, long randomSeed)

Method Detail

create

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

Throws:

InvalidConfigurationException