IExpr.IFcnExpr

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

All Known Implementing Classes:: SMTExpr.FcnExpr

Enclosing interface:: IExpr

public static interface IExpr.IFcnExpr extends IExpr

This interface represents SMT-LIB expressions that are a function identifier applied to one or more arguments.

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>

args()

The arguments of the function

IExpr.IQualifiedIdentifier

head()

The function identifier

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
- head
  
  IExpr.IQualifiedIdentifier head()
  
  The function identifier
- args
  
  List<IExpr> args()
  
  The arguments of the function