org.sosy_lab.solver.z3java

Class Z3JavaLoadingFactory

java.lang.Object

org.sosy_lab.solver.SolverContextFactory.InnerUtilFactory

org.sosy_lab.solver.z3java.Z3JavaLoadingFactory

public class Z3JavaLoadingFactory
extends SolverContextFactory.InnerUtilFactory

Entry point for loading Z3Java.

Do not access this class directly, it needs to be loaded via SolverContextFactory because Z3Java needs to have its own class loader.

Constructor Summary

Constructors

Constructor and Description
Z3JavaLoadingFactory()

Method Summary

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

Methods inherited from class org.sosy_lab.solver.SolverContextFactory.InnerUtilFactory

create

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

Z3JavaLoadingFactory

public Z3JavaLoadingFactory()

Method Detail

generateSolverContext

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

Specified by:

generateSolverContext in class SolverContextFactory.InnerUtilFactory

Throws:

InvalidConfigurationException