Package org.smtlib

Interface IExpr.IAsIdentifier

All Superinterfaces:

IAttributeValue, IExpr, IExpr.IQualifiedIdentifier, INode, IPos.IPosable, IResponse

All Known Implementing Classes:

SMTExpr.AsIdentifier

Enclosing interface:

IExpr

public static interface IExpr.IAsIdentifier
extends IExpr.IQualifiedIdentifier

This interface represents SMT-LIB identifiers that are sort qualifiers on function 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.IIdentifier	head()	The head of the identifier
IExpr.ISymbol	headSymbol()	The head symbol of the identifier
ISort	qualifier()	The Sort qualifier

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.IIdentifier head()

The head of the identifier

headSymbol

IExpr.ISymbol headSymbol()

The head symbol of the identifier

Specified by:

headSymbol in interface IExpr.IQualifiedIdentifier

qualifier

ISort qualifier()

The Sort qualifier