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

Packages that use SMTExpr.StringLiteral

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.StringLiteral in org.smtlib.sexpr

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

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