Uses of Interface
org.smtlib.IExpr.IPatternTerms

Packages that use IExpr.IPatternTerms

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

Methods in org.smtlib that return IExpr.IPatternTerms

Modifier and Type	Method	Description
IExpr.IPatternTerms	IExpr.IFactory.patternTerms(List<IExpr> terms)	Creates the value of a :pattern attribute: the given terms as one (multi-)pattern.

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

Modifier and Type	Method	Description
T	IVisitor.TreeVisitor.visit(IExpr.IPatternTerms e)
default T	IVisitor.visit(IExpr.IPatternTerms e)	Visits the value of a programmatically built :pattern attribute; by default does nothing.

Uses of IExpr.IPatternTerms in org.smtlib.impl

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

Modifier and Type	Class	Description
static class	SMTExpr.PatternTerms	Represents the value of a :pattern attribute: a list of trigger terms.

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

Modifier and Type	Method	Description
IExpr.IPatternTerms	Factory.patternTerms(List<IExpr> terms)

Uses of IExpr.IPatternTerms in org.smtlib.sexpr

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

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