Package org.smtlib

Interface IExpr.ISymbol

All Superinterfaces:

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

All Known Implementing Classes:

SMTExpr.Symbol

Enclosing interface:

IExpr

public static interface IExpr.ISymbol
extends IAttributeValue, IExpr.IIdentifier, IExpr.IIndex

This interface represents SMT-LIB ids; equal ids have equal (using .equals) values of value().

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.IError, IResponse.IFactory, IResponse.IPair<T1,T2>, IResponse.IProofResponse, IResponse.IUnsatAssumptionsResponse, IResponse.IUnsatCoreResponse, IResponse.IValueResponse

Method Summary

Modifier and Type	Method	Description
String	toString()	A printable String giving the original text of this symbol.
String	value()	A String giving the canonical value of symbol.

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

value

String value()

A String giving the canonical value of symbol.

toString

String toString()

A printable String giving the original text of this symbol.

Overrides:

toString in class Object