@CheckReturnValue @ParametersAreNonnullByDefault @FieldsAreNonnullByDefault @ReturnValuesAreNonnullByDefault

Package org.sosy_lab.java_smt.delegating.locking

Wrapping layer around an arbitrary SMT solver.

See: Description

Class Summary

Class	Description
SynchronizedIntegerFormulaManager
SynchronizedInterpolatingProverEnvironment<T>
SynchronizedNumeralFormulaManager<T extends NumeralFormulaManager<ParamFormulaType,ResultFormulaType>,ParamFormulaType extends NumeralFormula,ResultFormulaType extends NumeralFormula>
SynchronizedQuantifiedFormulaManager
SynchronizedRationalFormulaManager
SynchronizedSolverContext

Package org.sosy_lab.java_smt.delegating.locking Description

Wrapping layer around an arbitrary SMT solver. Guarantees synchronized access to all methods.