Serialized Form (prolobjectlink-jpi-jtrolog 1.2-SNAPSHOT API)

Package jTrolog.engine

Class jTrolog.engine.Prolog extends Object implements Serializable

Serialized Fields

libraryAndTheoryManager

jTrolog.engine.LibraryAndTheoryManager libraryAndTheoryManager

opTable
```
jTrolog.engine.OperatorTable opTable
```
currentPS
```
PrintStream currentPS
```
currentQuery
```
Struct currentQuery
```
currentEngine
```
jTrolog.engine.Engine currentEngine
```
directives
```
HashMap<K,V> directives
```
The Primitives system
expressions
```
HashMap<K,V> expressions
```
warnings
```
List<E> warnings
```
The Warning system
flags
```
HashMap<K,V> flags
```
The Flag system

Package jTrolog.errors
- Class jTrolog.errors.InvalidLibraryException extends PrologException implements Serializable
  - Serialized Fields
    - libraryName
```
String libraryName
```
    - rootCause
```
PrologException rootCause
```
- Class jTrolog.errors.InvalidTermException extends RuntimeException implements Serializable
- Class jTrolog.errors.NoMorePrologSolutions extends PrologException implements Serializable
- Class jTrolog.errors.PrologException extends Exception implements Serializable
Package jTrolog.lib
- Class jTrolog.lib.BasicLibrary extends Library implements Serializable
  - Serialized Fields
    - map
```
HashMap<K,V> map
```
- Class jTrolog.lib.BuiltIn extends Library implements Serializable
  - Serialized Fields
    - engine
```
Prolog engine
```
- Class jTrolog.lib.DCGLibrary extends Library implements Serializable
- Class jTrolog.lib.IOLibrary extends Library implements Serializable
  - Serialized Fields
    - streams
```
HashMap<K,V> streams
```
    - in
```
String in
```
    - out
```
String out
```
    - gen
```
Random gen
```
- Class jTrolog.lib.ISOLibrary extends Library implements Serializable
- Class jTrolog.lib.Library extends Object implements Serializable
  - Serialized Fields
    - engine
```
Prolog engine
```
      prolog core which loaded the library
Package jTrolog.parser
- Class jTrolog.parser.Parser extends Object implements Serializable
  - Serialized Fields
    - dqFlag
```
int dqFlag
```
    - tokenizer
```
jTrolog.parser.Tokenizer tokenizer
```
    - engine
```
Prolog engine
```
    - variableList
```
List<E> variableList
```
Package jTrolog.terms
- Class jTrolog.terms.Double extends Float implements Serializable
  - Serialized Fields
    - value
```
double value
```
- Class jTrolog.terms.EvaluableTerm extends Term implements Serializable
- Class jTrolog.terms.Flag extends Object implements Serializable
  - Serialized Fields
    - name
```
String name
```
    - valueList
```
Struct valueList
```
    - value
```
Term value
```
    - modifiable
```
boolean modifiable
```
- Class jTrolog.terms.Float extends Number implements Serializable
  - Serialized Fields
    - value
```
float value
```
- Class jTrolog.terms.Int extends Number implements Serializable
  - Serialized Fields
    - value
```
int value
```
- Class jTrolog.terms.IteratorAsTerm extends Term implements Serializable
  - Serialized Fields
    - impl
```
Iterator<E> impl
```
- Class jTrolog.terms.Long extends Int implements Serializable
  - Serialized Fields
    - value
```
long value
```
- Class jTrolog.terms.Number extends EvaluableTerm implements Serializable
- Class jTrolog.terms.Struct extends EvaluableTerm implements Serializable
  - Serialized Fields
    - name
```
String name
```
    - predicateIndicator
```
String predicateIndicator
```
    - arity
```
int arity
```
      speedup hash map operation
    - operatorType
```
int operatorType
```
    - args
```
Term[] args
```
    - varList
```
Var[] varList
```
- Class jTrolog.terms.StructAtom extends Struct implements Serializable
- Class jTrolog.terms.Term extends Object implements Serializable
  - Serialized Fields
    - type
```
int type
```
    - pos
```
int pos
```
    - tree
```
Term[] tree
```
    - prePost
```
int[] prePost
```
- Class jTrolog.terms.Var extends Term implements Serializable
  - Serialized Fields
    - name
```
String name
```
    - nrInStruct
```
int nrInStruct
```
- Class jTrolog.terms.WrapStruct extends Struct implements Serializable
  - Serialized Fields
    - context
```
int context
```
    - basis
```
Struct basis
```
- Class jTrolog.terms.WrapVar extends Var implements Serializable
  - Serialized Fields
    - basis
```
Var basis
```
    - context
```
int context
```
    - nameNumbers
```
String[] nameNumbers
```

Serialized Form

Package jTrolog.engine

Class jTrolog.engine.Prolog extends Object implements Serializable

Serialized Fields

libraryAndTheoryManager

opTable

currentPS

currentQuery

currentEngine

directives

expressions

warnings

flags

Package jTrolog.errors

Class jTrolog.errors.InvalidLibraryException extends PrologException implements Serializable

Serialized Fields

libraryName

rootCause

Class jTrolog.errors.InvalidTermException extends RuntimeException implements Serializable

Class jTrolog.errors.NoMorePrologSolutions extends PrologException implements Serializable

Class jTrolog.errors.PrologException extends Exception implements Serializable

Package jTrolog.lib

Class jTrolog.lib.BasicLibrary extends Library implements Serializable

Serialized Fields

map

Class jTrolog.lib.BuiltIn extends Library implements Serializable

Serialized Fields

engine

Class jTrolog.lib.DCGLibrary extends Library implements Serializable

Class jTrolog.lib.IOLibrary extends Library implements Serializable

Serialized Fields

streams

in

out

gen

Class jTrolog.lib.ISOLibrary extends Library implements Serializable

Class jTrolog.lib.Library extends Object implements Serializable

Serialized Fields

engine

Package jTrolog.parser

Class jTrolog.parser.Parser extends Object implements Serializable

Serialized Fields

dqFlag

tokenizer

engine

variableList

Package jTrolog.terms

Class jTrolog.terms.Double extends Float implements Serializable

Serialized Fields

value

Class jTrolog.terms.EvaluableTerm extends Term implements Serializable

Class jTrolog.terms.Flag extends Object implements Serializable

Serialized Fields

name

valueList

value

modifiable

Class jTrolog.terms.Float extends Number implements Serializable

Serialized Fields

value

Class jTrolog.terms.Int extends Number implements Serializable

Serialized Fields

value

Class jTrolog.terms.IteratorAsTerm extends Term implements Serializable

Serialized Fields

impl

Class jTrolog.terms.Long extends Int implements Serializable

Serialized Fields

value

Class jTrolog.terms.Number extends EvaluableTerm implements Serializable

Class jTrolog.terms.Struct extends EvaluableTerm implements Serializable

Serialized Fields

name

predicateIndicator

arity

operatorType

args

varList

Class jTrolog.terms.StructAtom extends Struct implements Serializable

Class jTrolog.terms.Term extends Object implements Serializable