IExpr.IIdentifier

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

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

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

Enclosing interface:: IExpr

public static interface IExpr.IIdentifier extends IExpr.IQualifiedIdentifier

This interface represents SMT-LIB identifiers (either ids or parameterized ids)

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
  
  Specified by:
  
  headSymbol in interface IExpr.IQualifiedIdentifier