SMT.Prompter

java.lang.Object

org.smtlib.SMT.Prompter

All Implemented Interfaces:: CharSequenceInfinite.IPrompter

Enclosing class:: SMT

public static class SMT.Prompter extends Object implements CharSequenceInfinite.IPrompter

This class is a prompter used when more data is needed from a data source

Field Summary

Fields

Modifier and Type

Field

Description

SMT.Configuration

smtConfig
Constructor Summary

Constructors

Constructor

Description

Prompter(SMT.Configuration smtConfig)

Creates a prompter object - the object knows how to prompt for input based on current settings and state
Method Summary

Modifier and Type

Method

Description

void

prompt()

Prints out the prompt (with no new-line), if a prompt is wanted

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Details
- smtConfig
  
  public SMT.Configuration smtConfig
Constructor Details
- Prompter
  
  public Prompter(SMT.Configuration smtConfig)
  
  Creates a prompter object - the object knows how to prompt for input based on current settings and state
Method Details
- prompt
  
  public void prompt()
  
  Prints out the prompt (with no new-line), if a prompt is wanted
  
  Specified by:
  
  prompt in interface CharSequenceInfinite.IPrompter