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

Packages that use SMTExpr.Symbol

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

Uses of SMTExpr.Symbol in org.smtlib.impl

Fields in org.smtlib.impl declared as SMTExpr.Symbol

Modifier and Type	Field	Description
static final SMTExpr.Symbol	Response.CONTINUED_EXECUTION
static final SMTExpr.Symbol	Response.EMPTY
static final SMTExpr.Symbol	Response.IMMEDIATE_EXIT
static final SMTExpr.Symbol	Response.INCOMPLETE
static final SMTExpr.Symbol	Response.MEMOUT
static final SMTExpr.Symbol	Response.SAT
static final SMTExpr.Symbol	Response.SUCCESS
static final SMTExpr.Symbol	Response.TIMEOUT
static final SMTExpr.Symbol	Response.UNKNOWN
static final SMTExpr.Symbol	Response.UNSAT
static final SMTExpr.Symbol	Response.UNSUPPORTED

Uses of SMTExpr.Symbol in org.smtlib.sexpr

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

Modifier and Type	Method	Description
SMTExpr.Symbol	Parser.parseSymbol()	Parses a symbol, returning null with messages and not advancing the parser if an error occurs
SMTExpr.Symbol	Parser.parseSymbol(String msg)	Parses a symbol (but not a reserved word unless the configuration field 'relax' is true), returning null with messages if an error occurs; the parser is advanced only if an actual symbol is parsed.
SMTExpr.Symbol	Parser.parseSymbolOrReservedWord(String msg)	Parses a symbol or a reserved word, returning null with messages if an error occurs.