Uses of Interface
org.smtlib.IExpr.ILiteral

Packages that use IExpr.ILiteral

Package	Description
org.smtlib	This package contains the main classes and abstract interfaces for this SMT-LIB tool; the tool provides a stand-alone SMT-LIB-compliant command-line application, an application that responds to SMT-LIB commands over a network port, and an SMT-LIB Java API.
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 IExpr.ILiteral in org.smtlib

Subinterfaces of IExpr.ILiteral in org.smtlib

Modifier and Type	Interface	Description
static interface	IExpr.IBinaryLiteral	This interface represents SMT-LIB binary literals
static interface	IExpr.IDecimal	This interface represents non-negative decimal numbers of arbitrary size (i.e.
static interface	IExpr.IHexLiteral	This interface represents SMT-LIB hex literals
static interface	IExpr.INumeral	This interface represents non-negative integers of arbitrary size.
static interface	IExpr.IStringLiteral	This interface represents SMT-LIB string literals

Methods in org.smtlib that return IExpr.ILiteral

Modifier and Type	Method	Description
IExpr.ILiteral	IParser.parseLiteral()	Parse an SMT-LIB literal of any kind; return null and log an error response if there is no literal

Uses of IExpr.ILiteral in org.smtlib.impl

Classes in org.smtlib.impl that implement IExpr.ILiteral

Modifier and Type	Class	Description
static class	SMTExpr.BinaryLiteral	Represents an SMT-LIB binary literal (e.g.
static class	SMTExpr.Decimal	This class represents an SMT Decimal literal expression or syntax token
static class	SMTExpr.HexLiteral	Represents an SMT-LIB hex literal (e.g.
static class	SMTExpr.Numeral	This class represents an SMT Numeral expression or syntax token
static class	SMTExpr.StringLiteral	This class represents an SMT String literal expression or syntax token

Uses of IExpr.ILiteral in org.smtlib.sexpr

Methods in org.smtlib.sexpr that return IExpr.ILiteral

Modifier and Type	Method	Description
IExpr.ILiteral	Parser.parseLiteral()	Parses a literal, returning null with error messages if an error occurs.