IExpr.IAttribute

All Superinterfaces:: INode, IPos.IPosable, IResponse

All Known Implementing Classes:: SMTExpr.Attribute

Enclosing interface:: IExpr

public static interface IExpr.IAttribute<TT extends IAttributeValue> extends INode, IPos.IPosable, IResponse

This interface represents an SMT-LIB attribute-value pair; the value may be null (keyword-only attribute).

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

TT

attrValue()

IExpr.IKeyword

keyword()

Methods inherited from interface org.smtlib.INode
accept

Methods inherited from interface org.smtlib.IPos.IPosable
pos, setPos

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

Method Details
- keyword
  
  IExpr.IKeyword keyword()
- attrValue
  
  TT attrValue()