Uses of Interface
org.smtlib.CharSequenceInfinite.IPrompter

Packages that use CharSequenceInfinite.IPrompter

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.

Uses of CharSequenceInfinite.IPrompter in org.smtlib

Classes in org.smtlib that implement CharSequenceInfinite.IPrompter

Modifier and Type	Class	Description
static class	SMT.Prompter	This class is a prompter used when more data is needed from a data source

Fields in org.smtlib declared as CharSequenceInfinite.IPrompter

Modifier and Type	Field	Description
CharSequenceInfinite.IPrompter	CharSequenceInfinite.prompter	The prompter object