Uses of Class
org.smtlib.sexpr.Lexer.LexToken

Packages that use Lexer.LexToken

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

Uses of Lexer.LexToken in org.smtlib.sexpr

Methods in org.smtlib.sexpr that return Lexer.LexToken

Modifier and Type	Method	Description
Lexer.LexToken	Lexer.EOD(int cpos)	Creates a lexical token for a end-of-data at the given position
Lexer.LexToken	Lexer.LP(int cpos)	Creates a lexical token for a left parenthesis at the given position
Lexer.LexToken	Lexer.RP(int cpos)	Creates a lexical token for a right parenthesis at the given position