org.sosy_lab.java_smt.basicimpl.withAssumptionsWrapper

Class ProverWithAssumptionsWrapper

java.lang.Object

org.sosy_lab.java_smt.basicimpl.withAssumptionsWrapper.BasicProverWithAssumptionsWrapper<Void,ProverEnvironment>

org.sosy_lab.java_smt.basicimpl.withAssumptionsWrapper.ProverWithAssumptionsWrapper

All Implemented Interfaces:

AutoCloseable, BasicProverEnvironment<Void>, ProverEnvironment

public class ProverWithAssumptionsWrapper
extends BasicProverWithAssumptionsWrapper<Void,ProverEnvironment>
implements ProverEnvironment

Nested Class Summary

Nested classes/interfaces inherited from interface org.sosy_lab.java_smt.api.BasicProverEnvironment

BasicProverEnvironment.AllSatCallback<R>

Field Summary

Fields inherited from class org.sosy_lab.java_smt.basicimpl.withAssumptionsWrapper.BasicProverWithAssumptionsWrapper

delegate, solverAssumptionsAsFormula

Fields inherited from interface org.sosy_lab.java_smt.api.BasicProverEnvironment

NO_MODEL_HELP

Constructor Summary

Constructors

Constructor and Description
ProverWithAssumptionsWrapper(ProverEnvironment pDelegate)

Method Summary

Methods inherited from class org.sosy_lab.java_smt.basicimpl.withAssumptionsWrapper.BasicProverWithAssumptionsWrapper

addConstraint, allSat, clearAssumptions, close, getModel, getModelAssignments, getUnsatCore, isUnsat, isUnsatWithAssumptions, pop, push, registerPushedFormula, unsatCoreOverAssumptions

Methods inherited from class java.lang.Object

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

Methods inherited from interface org.sosy_lab.java_smt.api.BasicProverEnvironment

addConstraint, allSat, close, getModel, getModelAssignments, getUnsatCore, isUnsat, isUnsatWithAssumptions, pop, push, push, unsatCoreOverAssumptions

Constructor Detail

ProverWithAssumptionsWrapper

public ProverWithAssumptionsWrapper(ProverEnvironment pDelegate)