IExpr.IQualifiedIdentifier

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

All Known Subinterfaces:: IExpr.IAsIdentifier, IExpr.IIdentifier, IExpr.IParameterizedIdentifier, IExpr.ISymbol

All Known Implementing Classes:: SMTExpr.AsIdentifier, SMTExpr.ParameterizedIdentifier, SMTExpr.Symbol

Enclosing interface:: IExpr

public static interface IExpr.IQualifiedIdentifier extends IExpr

This interface represents SMT-LIB identifiers for function ids (either ids or parameterized ids or as-type identifiers)

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

IExpr.ISymbol

headSymbol()

The head symbol of the 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
- headSymbol
  
  IExpr.ISymbol headSymbol()
  
  The head symbol of the identifier