Overview | Package | Class | Tree | Deprecated | Index | Help
PREV NEXT | FRAMES NO FRAMES

# Serialized Form

Package alice.tuprolog

Class alice.tuprolog.BuiltIn extends Library implements Serializable

Serialized Fields

### engineManager

    EngineManager engineManager

### theoryManager

    TheoryManager theoryManager

### libraryManager

    LibraryManager libraryManager

### flagManager

    FlagManager flagManager

### primitiveManager

    PrimitiveManager primitiveManager

### operatorManager

    OperatorManager operatorManager

Class alice.tuprolog.Double extends Number implements Serializable

Serialized Fields

### value

    double value

Class alice.tuprolog.EngineManager extends java.lang.Object implements Serializable

Serialized Fields

### mediator

    Prolog mediator

### theoryManager

    TheoryManager theoryManager

### primitiveManager

    PrimitiveManager primitiveManager

### libraryManager

    LibraryManager libraryManager

### env

    Engine env

### last_env

    Engine last_env

### stackEnv

    java.util.LinkedList stackEnv

### sinfo

    SolveInfo sinfo

### INIT

    State INIT

  States

### GOAL_EVALUATION

    State GOAL_EVALUATION

### RULE_SELECTION

    State RULE_SELECTION

### GOAL_SELECTION

    State GOAL_SELECTION

### BACKTRACK

    State BACKTRACK

### END_FALSE

    State END_FALSE

### END_TRUE

    State END_TRUE

### END_TRUE_CP

    State END_TRUE_CP

### END_HALT

    State END_HALT

Class alice.tuprolog.Float extends Number implements Serializable

Serialized Fields

### value

    float value

Class alice.tuprolog.HaltException extends PrologException implements Serializable

Serialized Fields

### value

    int value

Class alice.tuprolog.Int extends Number implements Serializable

Serialized Fields

### value

    int value

Class alice.tuprolog.InvalidLibraryException extends PrologException implements Serializable

Serialized Fields

### libraryName

    java.lang.String libraryName

### line

    int line

### pos

    int pos

Class alice.tuprolog.InvalidTermException extends PrologException implements Serializable

Class alice.tuprolog.InvalidTheoryException extends PrologException implements Serializable

Serialized Fields

### line

    int line

### pos

    int pos

Class alice.tuprolog.InvalidVarNameException extends InvalidTermException implements Serializable

Class alice.tuprolog.Library extends java.lang.Object implements Serializable

Serialized Fields

### engine

    Prolog engine

  prolog core which loaded the library

### opMappingCached

    java.lang.String[][] opMappingCached

  operator mapping

Class alice.tuprolog.Long extends Number implements Serializable

Serialized Fields

### value

    long value

Class alice.tuprolog.MalformedGoalException extends PrologException implements Serializable

Class alice.tuprolog.NoMoreSolutionException extends PrologException implements Serializable

Class alice.tuprolog.NoSolutionException extends PrologException implements Serializable

Class alice.tuprolog.Number extends Term implements Serializable

Class alice.tuprolog.Operator extends java.lang.Object implements Serializable

Serialized Fields

### name

    java.lang.String name

  operator name

### type

    java.lang.String type

  type(xf,yf,fx,fy,xfx,xfy,yfy,yfx

### prio

    int prio

  priority

Class alice.tuprolog.Parser extends java.lang.Object implements Serializable

Serialized Fields

### tokenizer

    Tokenizer tokenizer

### opManager

    OperatorManager opManager

Class alice.tuprolog.Prolog extends java.lang.Object implements Serializable

Serialized Fields

### theoryManager

    TheoryManager theoryManager

### primitiveManager

    PrimitiveManager primitiveManager

### opManager

    OperatorManager opManager

### flagManager

    FlagManager flagManager

### libraryManager

    LibraryManager libraryManager

### engineManager

    EngineManager engineManager

### spy

    boolean spy

### warning

    boolean warning

### outputListeners

    java.util.ArrayList outputListeners

### spyListeners

    java.util.ArrayList spyListeners

### warningListeners

    java.util.ArrayList warningListeners

### theoryListeners

    java.util.ArrayList theoryListeners

### libraryListeners

    java.util.ArrayList libraryListeners

### queryListeners

    java.util.ArrayList queryListeners

Class alice.tuprolog.PrologException extends java.lang.Exception implements Serializable

Class alice.tuprolog.SolveInfo extends java.lang.Object implements Serializable

Serialized Fields

### endState

    int endState

### isSuccess

    boolean isSuccess

### query

    Term query

### goal

    Struct goal

### bindings

    java.util.List bindings

Class alice.tuprolog.Struct extends Term implements Serializable

Serialized Fields

### name

    java.lang.String name

  name of the structure

### arg

    Term[] arg

  args array

### arity

    int arity

  arity

### predicateIndicator

    java.lang.String predicateIndicator

  to speedup hash map operation

### resolved

    boolean resolved

  it indicates if the term is resolved

Class alice.tuprolog.Term extends java.lang.Object implements Serializable

Class alice.tuprolog.Theory extends java.lang.Object implements Serializable

Serialized Fields

### theory

    java.lang.String theory

### clauseList

    Struct clauseList

Class alice.tuprolog.TheoryManager extends java.lang.Object implements Serializable

Serialized Fields

### dynamicDBase

    ClauseDatabase dynamicDBase

### staticDBase

    ClauseDatabase staticDBase

### engine

    Prolog engine

### primitiveManager

    PrimitiveManager primitiveManager

### startGoalStack

    java.util.Stack startGoalStack

### lastConsultedTheory

    Theory lastConsultedTheory

Class alice.tuprolog.UnknownVarException extends PrologException implements Serializable

Class alice.tuprolog.Var extends Term implements Serializable

Serialized Fields

### name

    java.lang.String name

### completeName

    java.lang.String completeName

### link

    Term link

### timestamp

    long timestamp

### id

    int id

Package alice.tuprolog.event

Class alice.tuprolog.event.LibraryEvent extends PrologEvent implements Serializable

Serialized Fields

### libName

    java.lang.String libName

Class alice.tuprolog.event.OutputEvent extends java.util.EventObject implements Serializable

Serialized Fields

### msg

    java.lang.String msg

  text produced

Class alice.tuprolog.event.PrologEvent extends java.util.EventObject implements Serializable

Serialized Fields

### when

    long when

Class alice.tuprolog.event.QueryEvent extends PrologEvent implements Serializable

Serialized Fields

### info

    SolveInfo info

Class alice.tuprolog.event.SpyEvent extends java.util.EventObject implements Serializable

Serialized Fields

### msg

    java.lang.String msg

  event description

### env

    Engine env

Class alice.tuprolog.event.TheoryEvent extends PrologEvent implements Serializable

Serialized Fields

### oldTh

    Theory oldTh

### newTh

    Theory newTh

Class alice.tuprolog.event.WarningEvent extends java.util.EventObject implements Serializable

Serialized Fields

### msg

    java.lang.String msg

  event description

Overview | Package | Class | Tree | Deprecated | Index | Help
PREV NEXT | FRAMES NO FRAMES