IResponse.IUnsatAssumptionsResponse

All Superinterfaces:: INode, IResponse

All Known Implementing Classes:: Response.UnsatAssumptionsResponse

Enclosing interface:: IResponse

public static interface IResponse.IUnsatAssumptionsResponse extends IResponse

Response type for get-unsat-assumptions, carrying the assumptions (terms, e.g. (not q)) in the unsat core.

Nested Class Summary

Nested classes/interfaces inherited from interface org.smtlib.IResponse
IResponse.IAssertionsResponse, IResponse.IAssignmentResponse, IResponse.IAttributeList, IResponse.IError, IResponse.IFactory, IResponse.IPair<T1,T2>, IResponse.IProofResponse, IResponse.IUnsatAssumptionsResponse, IResponse.IUnsatCoreResponse, IResponse.IValueResponse
Method Summary

Modifier and Type

Method

Description

List<IExpr>

assumptions()

Methods inherited from interface org.smtlib.INode
accept

Methods inherited from interface org.smtlib.IResponse
isError, isOK

Method Details
- assumptions
  
  List<IExpr> assumptions()