public class Z3JavaLoadingFactory extends SolverContextFactory.InnerUtilFactory
Do not access this class directly, it needs to be loaded via
SolverContextFactory
because Z3Java needs to have its own class loader.
| Constructor and Description |
|---|
Z3JavaLoadingFactory() |
| Modifier and Type | Method and Description |
|---|---|
SolverContext |
generateSolverContext(Configuration config,
LogManager logger,
ShutdownNotifier pShutdownNotifier,
PathCounterTemplate solverLogfile,
long randomSeed) |
createpublic SolverContext generateSolverContext(Configuration config, LogManager logger, ShutdownNotifier pShutdownNotifier, @Nullable PathCounterTemplate solverLogfile, long randomSeed) throws InvalidConfigurationException
generateSolverContext in class SolverContextFactory.InnerUtilFactoryInvalidConfigurationException