GNU Prolog for Java

gnu.prolog.io
Class ReadOptions

java.lang.Object
  extended by gnu.prolog.io.ReadOptions

public class ReadOptions
extends Object

this class contains representation of ISO prolog read options.

Version:
0.0.1
Author:
Constantine Plotnikov

Field Summary
 OperatorSet operatorSet
          operator set
 Map<String,VariableTerm> singletons
          'singletons' ISO Prolog options it is not used currently.
 Map<String,VariableTerm> variableNames
          'variable_names' ISO Prolog options
 List<Term> variables
          'variables' ISO Prolog options
 
Constructor Summary
ReadOptions()
           
 
Method Summary
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

variables

public final List<Term> variables
'variables' ISO Prolog options


variableNames

public final Map<String,VariableTerm> variableNames
'variable_names' ISO Prolog options


operatorSet

public OperatorSet operatorSet
operator set


singletons

public final Map<String,VariableTerm> singletons
'singletons' ISO Prolog options it is not used currently.

Constructor Detail

ReadOptions

public ReadOptions()

GNU Prolog for Java