Uses of Interface
org.smtlib.IExpr.IHexLiteral

Packages that use IExpr.IHexLiteral

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.
org.smtlib.solvers	This package implements various instances of org.smtlib.ISolver, which are specific solvers that wrap and interact with various off-the-shelf SMT solvers currently available.

Uses of IExpr.IHexLiteral in org.smtlib

Methods in org.smtlib that return IExpr.IHexLiteral

Modifier and Type	Method	Description
IExpr.IHexLiteral	IExpr.IFactory.hex(String v)	Creates an IHexLiteral object from a string of hex digits (either case).
IExpr.IHexLiteral	IParser.parseHex()	Parse an SMT-LIB hex literal; return null and log an error response if there is no numeral

Methods in org.smtlib with parameters of type IExpr.IHexLiteral

Modifier and Type	Method	Description
T	IVisitor.TreeVisitor.visit(IExpr.IHexLiteral e)
T	IVisitor.visit(IExpr.IHexLiteral e)
ISort	TypeChecker.visit(IExpr.IHexLiteral e)

Uses of IExpr.IHexLiteral in org.smtlib.impl

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

Modifier and Type	Class	Description
static class	SMTExpr.HexLiteral	Represents an SMT-LIB hex literal (e.g.

Methods in org.smtlib.impl that return IExpr.IHexLiteral

Modifier and Type	Method	Description
IExpr.IHexLiteral	Factory.hex(String v)

Uses of IExpr.IHexLiteral in org.smtlib.sexpr

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

Modifier and Type	Method	Description
IExpr.IHexLiteral	Parser.parseHex()	Parses a hex literal, returning null with the given message if an error occurs; if the next token is not a hex literal, the token is not consumed,

Methods in org.smtlib.sexpr with parameters of type IExpr.IHexLiteral

Modifier and Type	Method	Description
Void	Printer.visit(IExpr.IHexLiteral e)

Uses of IExpr.IHexLiteral in org.smtlib.solvers

Methods in org.smtlib.solvers with parameters of type IExpr.IHexLiteral

Modifier and Type	Method	Description
String	Solver_simplify.Translator.visit(IExpr.IHexLiteral e)