Uses of Interface
org.smtlib.IExpr.IPattern

Packages that use IExpr.IPattern

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

Methods in org.smtlib that return IExpr.IPattern

Modifier and Type	Method	Description
IExpr.IPattern	IExpr.IFactory.pattern(IExpr.ISymbol constructor, List<IExpr.ISymbol> params)	Creates a match pattern.
IExpr.IPattern	IExpr.IMatchCase.pattern()

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

Modifier and Type	Method	Description
IExpr.IMatchCase	IExpr.IFactory.matchCase(IExpr.IPattern pattern, IExpr body)	Creates a single match case.
T	IVisitor.TreeVisitor.visit(IExpr.IPattern e)
T	IVisitor.visit(IExpr.IPattern e)
ISort	TypeChecker.visit(IExpr.IPattern e)

Uses of IExpr.IPattern in org.smtlib.impl

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

Modifier and Type	Class	Description
static class	SMTExpr.Pattern	Represents a match pattern: a constructor name applied to zero or more variable symbols.

Fields in org.smtlib.impl declared as IExpr.IPattern

Modifier and Type	Field	Description
protected IExpr.IPattern	SMTExpr.MatchCase.pattern

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

Modifier and Type	Method	Description
IExpr.IPattern	Factory.pattern(IExpr.ISymbol constructor, List<IExpr.ISymbol> params)
IExpr.IPattern	SMTExpr.MatchCase.pattern()

Methods in org.smtlib.impl with parameters of type IExpr.IPattern

Modifier and Type	Method	Description
IExpr.IMatchCase	Factory.matchCase(IExpr.IPattern pattern, IExpr body)

Constructors in org.smtlib.impl with parameters of type IExpr.IPattern

Modifier	Constructor	Description
	MatchCase(IExpr.IPattern pattern, IExpr body)	Creates a match case from the given pattern and body expression.

Uses of IExpr.IPattern in org.smtlib.sexpr

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

Modifier and Type	Method	Description
IExpr.IPattern	Parser.parsePattern()	Parses a match pattern: either a bare symbol (or wildcard _) or "(symbol symbol*)" where params may include _

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

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

Uses of IExpr.IPattern in org.smtlib.solvers

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

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