Package org.sosy_lab.java_smt.basicimpl.withAssumptionsWrapper

Wrapper-classes to guarantee identical behavior for all solvers.

See: Description

Class Summary

Class	Description
BasicProverWithAssumptionsWrapper<T,P extends BasicProverEnvironment<T>>
InterpolatingProverWithAssumptionsWrapper<T>
ProverWithAssumptionsWrapper

Package org.sosy_lab.java_smt.basicimpl.withAssumptionsWrapper Description

Wrapper-classes to guarantee identical behavior for all solvers.