Uses of Class
org.smtlib.impl.Response.ProofResponse

Packages that use Response.ProofResponse

Package	Description
org.smtlib.impl	This package is an implementation of the interfaces defined in org.smtlib.

Uses of Response.ProofResponse in org.smtlib.impl

Methods in org.smtlib.impl that return Response.ProofResponse

Modifier and Type	Method	Description
Response.ProofResponse	Response.Factory.get_proof_response(ISexpr proof)