ISexpr.ISeq

All Superinterfaces:: IAttributeValue, INode, IPos.IPosable, IResponse, ISexpr

All Known Implementing Classes:: Sexpr.Seq

Enclosing interface:: ISexpr

public static interface ISexpr.ISeq extends ISexpr

Represents a sequence of S-expressions

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

List<ISexpr>

sexprs()

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
- sexprs
  
  List<ISexpr> sexprs()