Overview | Package | Class | Use | Tree | Deprecated | Index | Help
| GNU Prolog for Java
PREV CLASS NEXT CLASS | FRAMES NO FRAMES
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD

## gnu.prolog.io
Class ReadOptions

    java.lang.Object
      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` Current operator set to use in write term.
`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(OperatorSet opSet)`

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

### singletons

    public final Map<String,VariableTerm> singletons

  'singletons' ISO Prolog options it is not used currently.

### operatorSet

    public OperatorSet operatorSet

  Current operator set to use in write term. User need to set this variable if ignore ops is true.

Constructor Detail

### ReadOptions

    public ReadOptions(OperatorSet opSet)

Parameters:
  `opSet` -

Overview | Package | Class | Use | Tree | Deprecated | Index | Help
| GNU Prolog for Java
PREV CLASS NEXT CLASS | FRAMES NO FRAMES
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD