public static interface SolverContextFactory.InnerUtilFactory
This interface is only meant to be implemented by SMT solvers and used by this class, not by other classes.
| Modifier and Type | Method and Description |
|---|---|
SolverContext |
create(Configuration config,
LogManager logger,
ShutdownNotifier pShutdownNotifier,
PathCounterTemplate solverLogfile,
long randomSeed) |
SolverContext create(Configuration config, LogManager logger, ShutdownNotifier pShutdownNotifier, @Nullable PathCounterTemplate solverLogfile, long randomSeed) throws InvalidConfigurationException
InvalidConfigurationException