public abstract static class SolverContextFactory.InnerUtilFactory extends Object
This interface is only meant to be implemented by SMT solvers and used by this class, not by other classes.
| Constructor and Description |
|---|
InnerUtilFactory() |
| Modifier and Type | Method and Description |
|---|---|
protected abstract SolverContext |
generateSolverContext(Configuration config,
LogManager logger,
ShutdownNotifier pShutdownNotifier,
@Nullable PathCounterTemplate solverLogfile,
long randomSeed,
FloatingPointRoundingMode pFloatingPointRoundingMode,
AbstractNumeralFormulaManager.NonLinearArithmetic pNonLinearArithmetic) |
protected abstract SolverContext generateSolverContext(Configuration config, LogManager logger, ShutdownNotifier pShutdownNotifier, @Nullable PathCounterTemplate solverLogfile, long randomSeed, FloatingPointRoundingMode pFloatingPointRoundingMode, AbstractNumeralFormulaManager.NonLinearArithmetic pNonLinearArithmetic) throws InvalidConfigurationException
InvalidConfigurationException