IExpr.IAttributedExpr

All Superinterfaces:: IAttributeValue, IExpr, INode, IPos.IPosable, IResponse

All Known Implementing Classes:: SMTExpr.AttributedExpr

Enclosing interface:: IExpr

public static interface IExpr.IAttributedExpr extends IExpr

This interface represents an SMT-LIB expression with attributes.

Nested Class Summary

Nested classes/interfaces inherited from interface org.smtlib.IExpr
IExpr.IAsIdentifier, IExpr.IAttribute<TT extends IAttributeValue>, IExpr.IAttributedExpr, IExpr.IBinaryLiteral, IExpr.IBinding, IExpr.IConstructor, IExpr.IDecimal, IExpr.IDeclaration, IExpr.IError, IExpr.IExists, IExpr.IFactory, IExpr.IFcnExpr, IExpr.IForall, IExpr.IFunctionDeclaration, IExpr.IHexLiteral, IExpr.IIdentifier, IExpr.IIndex, IExpr.IKeyword, IExpr.ILambda, IExpr.ILet, IExpr.ILiteral, IExpr.IMatch, IExpr.IMatchCase, IExpr.INumeral, IExpr.IParameterizedIdentifier, IExpr.IPattern, IExpr.IPatternTerms, IExpr.IQualifiedIdentifier, IExpr.ISelector, IExpr.ISortDeclaration, IExpr.IStringLiteral, IExpr.ISymbol

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

Modifier and Type

Method

Description

List<IExpr.IAttribute<?>>

attributes()

IExpr

expr()

Methods inherited from interface org.smtlib.IAttributeValue
isOK

Methods inherited from interface org.smtlib.IExpr
isError, setSort, sort

Methods inherited from interface org.smtlib.INode
accept

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

Method Details
- expr
  
  IExpr expr()
- attributes
  
  List<IExpr.IAttribute<?>> attributes()