org.sosy_lab.solver

Interface SolverContextFactory.InnerUtilFactory

Enclosing class:

SolverContextFactory

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

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

Method Summary

Methods

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

Method Detail

create

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

Throws:

InvalidConfigurationException