Uses of Class
org.smtlib.impl.SMTExpr.Keyword

Packages that use SMTExpr.Keyword

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

Uses of SMTExpr.Keyword in org.smtlib.sexpr

Methods in org.smtlib.sexpr that return SMTExpr.Keyword

Modifier and Type	Method	Description
SMTExpr.Keyword	Parser.parseKeyword()	Parses a keyword, returning null with an error message if an error occurs; if the next token is not a keyword, the token is not consumed.