Package org.smtlib

Interface IExpr.IParameterizedIdentifier

All Superinterfaces:

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

All Known Implementing Classes:

SMTExpr.ParameterizedIdentifier

Enclosing interface:

IExpr

public static interface IExpr.IParameterizedIdentifier
extends IExpr.IIdentifier

This interface represents SMT-LIB parameterized 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	head()	The head symbol of the identifier
List<IExpr.IIndex>	indices()	All indices of the identifier: INumeral or ISymbol, or the literals IIndex describes.

Methods inherited from interface org.smtlib.IAttributeValue

isOK

Methods inherited from interface org.smtlib.IExpr

isError, setSort, sort

Methods inherited from interface org.smtlib.IExpr.IIdentifier

headSymbol

Methods inherited from interface org.smtlib.INode

accept

Methods inherited from interface org.smtlib.IPos.IPosable

pos, setPos

Method Details

head

IExpr.ISymbol head()

The head symbol of the identifier

indices

List<IExpr.IIndex> indices()

All indices of the identifier: INumeral or ISymbol, or the literals IIndex describes. Symbol indices are allowed only in SMT-LIB V2.5 and later.