Uses of Class
org.smtlib.sexpr.Sexpr.Seq

Packages that use Sexpr.Seq

Package	Description
org.smtlib.sexpr	This package is a concrete implementation of a particular concrete syntax for the abstract SMT-LIB semantics.

Uses of Sexpr.Seq in org.smtlib.sexpr

Methods in org.smtlib.sexpr that return Sexpr.Seq

Modifier and Type	Method	Description
Sexpr.Seq	Parser.parseSeq(ILexToken lp)	Parses and adds Sexpr to a list until parseSexpr returns null (indicating a RightParen has been seen or end of input or an error)