Package org.smtlib.sexpr

Interface ISexpr.IToken<T>

All Superinterfaces:

IAttributeValue, INode, IPos.IPosable, IResponse, ISexpr

All Known Implementing Classes:

Sexpr.Token

Enclosing interface:

ISexpr

public static interface ISexpr.IToken<T>
extends ISexpr

Represents a single S-expression token

Nested Class Summary

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

Nested classes/interfaces inherited from interface org.smtlib.sexpr.ISexpr

ISexpr.ISeq, ISexpr.IToken<T>

Method Summary

Modifier and Type	Method	Description
T	value()

Methods inherited from interface org.smtlib.IAttributeValue

isError, isOK

Methods inherited from interface org.smtlib.INode

accept

Methods inherited from interface org.smtlib.IPos.IPosable

pos, setPos

Methods inherited from interface org.smtlib.sexpr.ISexpr

kind

Method Details

value

T value()