A C D E G H I L M N O R S T V

A

addInterface(MrvaSysBip) - Method in class com.ifcomputer.minerva.Application

This function can be used to declare additional builtin functions.

addInterface(MrvaSysBip) - Method in class com.ifcomputer.minerva.Minerva

Add a set of external predicates to MINERVA.

Application - class com.ifcomputer.minerva.Application.

The class Application is a wrapper class to instantiate Minerva as standalone application.

Application() - Constructor for class com.ifcomputer.minerva.Application

ATOM - Static variable in class com.ifcomputer.minerva.MinervaTerm

Constant used to specify an Minerva atom

C

cleanupLiterals() - Method in class com.ifcomputer.minerva.Minerva

This functions starts the garbage collection for the literal pool

com.ifcomputer.minerva - package com.ifcomputer.minerva

COMPOUND - Static variable in class com.ifcomputer.minerva.MinervaTerm

Constant used to specify an Minerva compound term (except lists)

create(MinervaTerm[]) - Static method in class com.ifcomputer.minerva.MinervaList

Constructs a Minerva list, where the list arguments are extracted from the int array 'args'.

create(MinervaTerm[], int, int) - Static method in class com.ifcomputer.minerva.MinervaList

Constructs a Minerva list, where the list arguments are extracted from the int array 'args'.

create(String[]) - Static method in class com.ifcomputer.minerva.MinervaList

Constructs a Minerva list, where the list arguments are atoms.

create(String[], int, int) - Static method in class com.ifcomputer.minerva.MinervaList

Constructs a Minerva list, where the list arguments are atoms.

D

DOUBLE - Static variable in class com.ifcomputer.minerva.MinervaTerm

Constant used to specify an Minerva floating point value

doubleValue() - Method in class com.ifcomputer.minerva.MinervaDouble

This function returns the value represented by the term.

doubleValue() - Method in class com.ifcomputer.minerva.MinervaLong

doubleValue() - Method in class com.ifcomputer.minerva.MinervaNumber

This function returns the value represented by the term as double value

E

equals(Object) - Method in class com.ifcomputer.minerva.MinervaAtom

This function compares two terms.

equals(Object) - Method in class com.ifcomputer.minerva.MinervaCompound

This function returns true, if 'this' and 'other' are identical terms, i.e. if both are compound terms with identical functor, arity and arguments.

equals(Object) - Method in class com.ifcomputer.minerva.MinervaDouble

This function returns true, if 'other' is a MinervaDouble term representing the same value as 'this'.

equals(Object) - Method in class com.ifcomputer.minerva.MinervaList

This function returns true, if 'other' is a list and the arguments of 'other' and 'this' are equal.

equals(Object) - Method in class com.ifcomputer.minerva.MinervaLong

This function returns true, if 'other' is a term representing the same long value as 'this'.

equals(Object) - Method in class com.ifcomputer.minerva.MinervaObject

This function returns true, if other is an instance of MinervaObject and the objects repesented by 'other' and 'this' are equal.

execute(String) - Method in class com.ifcomputer.minerva.Minerva

Executes a parameterless predicate.

execute(String, MinervaTerm) - Method in class com.ifcomputer.minerva.Minerva

Executes a predicate with arity 1.

execute(String, MinervaTerm[]) - Method in class com.ifcomputer.minerva.Minerva

Executes a predicate with the given arguments.

execute(String, MinervaTerm, MinervaTerm) - Method in class com.ifcomputer.minerva.Minerva

Executes a predicate with arity 2.

execute(String, MinervaTerm, MinervaTerm, MinervaTerm) - Method in class com.ifcomputer.minerva.Minerva

Executes a predicate with arity 3.

execute(String, MinervaTerm, MinervaTerm, MinervaTerm, MinervaTerm) - Method in class com.ifcomputer.minerva.Minerva

Executes a predicate with arity 4.

G

getArg(int) - Method in class com.ifcomputer.minerva.MinervaCompound

This function retrieves the i-th argument of a compound term.

getArg(int) - Method in class com.ifcomputer.minerva.MinervaList

This function returns the i-th argument (0 <= i < 2) of a list, where argument 0 is the head of a list and argument 1 is the tail of the list

getArg(int) - Method in class com.ifcomputer.minerva.MinervaStruct

This function retrieves the i-th argument of a compound term.

getArity() - Method in class com.ifcomputer.minerva.MinervaCompound

This function retrieves the arity of a compound term.

getArity() - Method in class com.ifcomputer.minerva.MinervaList

This function returns the arity of a list term (2)

getArity() - Method in class com.ifcomputer.minerva.MinervaStruct

This function retrieves the arity of a compound term.

getArity() - Method in class com.ifcomputer.minerva.MrvaBipDescr

This function returns the arity of the predicate.

getEnumeration() - Method in class com.ifcomputer.minerva.MinervaAtom

getEnumeration() - Method in class com.ifcomputer.minerva.MinervaList

getEnumeration() - Method in class com.ifcomputer.minerva.MinervaTerm

This functions returns an enumeration for the elements of a Minerva list.

getExitValue() - Method in class com.ifcomputer.minerva.Application

getExitValue() - Method in class com.ifcomputer.minerva.Minerva

returns the value by which minerva has been terminated (using the predicate halt(ExitValue)).

getFunctor() - Method in class com.ifcomputer.minerva.MinervaCompound

This function retrieves the functor of a compound term.

getFunctor() - Method in class com.ifcomputer.minerva.MinervaList

This function returns the functor of a list term (".")

getFunctor() - Method in class com.ifcomputer.minerva.MinervaStruct

This function retrieves the functor of a compound term.

getHead() - Method in class com.ifcomputer.minerva.MinervaList

This function returns the head of the list.

getListLength() - Method in class com.ifcomputer.minerva.MinervaAtom

getListLength() - Method in class com.ifcomputer.minerva.MinervaList

getListLength() - Method in class com.ifcomputer.minerva.MinervaTerm

This function returns the length of a Minerva list.

getName() - Method in class com.ifcomputer.minerva.MrvaBipDescr

This function returns the predicate name.

getStringArray() - Method in class com.ifcomputer.minerva.MinervaAtom

getStringArray() - Method in class com.ifcomputer.minerva.MinervaList

getStringArray() - Method in class com.ifcomputer.minerva.MinervaTerm

If this is a Minerva list, then the function returns a list of strings, representing each element of the list.

getSystemArguments() - Method in class com.ifcomputer.minerva.Minerva

This function returns the system arguments passed to the Minerva engine.

getTail() - Method in class com.ifcomputer.minerva.MinervaList

This function returns the tail of the list.

getTermArray() - Method in class com.ifcomputer.minerva.MinervaAtom

getTermArray() - Method in class com.ifcomputer.minerva.MinervaList

getTermArray() - Method in class com.ifcomputer.minerva.MinervaTerm

If this is a Minerva list, then the function returns a list of Minerva terms, containing all elements of the list.

getUserArguments() - Method in class com.ifcomputer.minerva.Minerva

This function returns the user arguments passed to the Minerva engine.

getValue() - Method in class com.ifcomputer.minerva.MinervaVariable

This function returns the term, which has been bound to the variable.

H

hashCode() - Method in class com.ifcomputer.minerva.MinervaAtom

This function returns a hashcode for an atom (based on the external representation of the atom).

hashCode() - Method in class com.ifcomputer.minerva.MinervaCompound

This function calculates a hashcode for a compoundterm.

hashCode() - Method in class com.ifcomputer.minerva.MinervaDouble

This function calculates a hashcode for the term.

hashCode() - Method in class com.ifcomputer.minerva.MinervaList

This function calculates a hashcode for a list term.

hashCode() - Method in class com.ifcomputer.minerva.MinervaLong

This function returns a hashvalue for this term.

hasMoreElements() - Method in class com.ifcomputer.minerva.MinervaAtom

This function is used to implement the Enumeration interface.

I

init(String[]) - Method in class com.ifcomputer.minerva.Application

This function is used to initialize the Minerva engine.

is_daemon() - Method in class com.ifcomputer.minerva.Application

is_daemon() - Method in class com.ifcomputer.minerva.Minerva

returns true, if minerva should not be terminated with System.exit when main/1 has been executed

isDefined(String, int) - Method in class com.ifcomputer.minerva.Minerva

This function tests if a predicated is defined.

isList() - Method in class com.ifcomputer.minerva.MinervaAtom

isList() - Method in class com.ifcomputer.minerva.MinervaList

isList() - Method in class com.ifcomputer.minerva.MinervaTerm

This function returns true if this is a Minerva list or a Minerva atom with value [].

L

LIST - Static variable in class com.ifcomputer.minerva.MinervaTerm

Constant used to specify an Minerva list.

load(String) - Method in class com.ifcomputer.minerva.Minerva

loadClass(String) - Method in class com.ifcomputer.minerva.Minerva

Load a class defining MINERVA builtins.

LONG - Static variable in class com.ifcomputer.minerva.MinervaTerm

Constant used to specify an Minerva integer value

longValue() - Method in class com.ifcomputer.minerva.MinervaDouble

This function returns the value represented by the term as a long value

longValue() - Method in class com.ifcomputer.minerva.MinervaLong

longValue() - Method in class com.ifcomputer.minerva.MinervaNumber

This function returns the value represented by the term as long value

M

main(String[]) - Static method in class com.ifcomputer.minerva.Application

This function initializes a new application and calls its start function.

Minerva - class com.ifcomputer.minerva.Minerva.

The class Minerva is used as user interface to the Minerva engine.

Minerva(Applet, String[]) - Constructor for class com.ifcomputer.minerva.Minerva

This function initializes a new Minerva engine.

Minerva(String[]) - Constructor for class com.ifcomputer.minerva.Minerva

This function initializes a new Minerva engine.

MinervaAtom - class com.ifcomputer.minerva.MinervaAtom.

The class MinervaAtom is used to represent a Minerva atom.

MinervaAtom(String) - Constructor for class com.ifcomputer.minerva.MinervaAtom

Constructs an MinervaAtom.

MinervaCompound - class com.ifcomputer.minerva.MinervaCompound.

The class MinervaCompound is used to represent a Minerva compound term.

MinervaCompound(String, int) - Constructor for class com.ifcomputer.minerva.MinervaCompound

Constructs a Minerva compound term, where all arguments are undefined.

MinervaCompound(String, MinervaTerm) - Constructor for class com.ifcomputer.minerva.MinervaCompound

Constructs a compound term with arity 1.

MinervaCompound(String, MinervaTerm[]) - Constructor for class com.ifcomputer.minerva.MinervaCompound

Constructs a Minerva compound term.

MinervaCompound(String, MinervaTerm, MinervaTerm) - Constructor for class com.ifcomputer.minerva.MinervaCompound

Constructs a compound term with arity 2.

MinervaCompound(String, MinervaTerm, MinervaTerm, MinervaTerm) - Constructor for class com.ifcomputer.minerva.MinervaCompound

Constructs a compound term with arity 3.

MinervaCompound(String, MinervaTerm, MinervaTerm, MinervaTerm, MinervaTerm) - Constructor for class com.ifcomputer.minerva.MinervaCompound

Constructs a compound term with arity 4.

MinervaCompound(String, MinervaTerm, MinervaTerm, MinervaTerm, MinervaTerm, MinervaTerm) - Constructor for class com.ifcomputer.minerva.MinervaCompound

Constructs a compound term with arity 5.

MinervaCompound(String, MinervaTerm, MinervaTerm, MinervaTerm, MinervaTerm, MinervaTerm, MinervaTerm) - Constructor for class com.ifcomputer.minerva.MinervaCompound

Constructs a compound term with arity 6.

MinervaDouble - class com.ifcomputer.minerva.MinervaDouble.

The class MinervaDouble is used to represent a value of type double.

MinervaDouble(double) - Constructor for class com.ifcomputer.minerva.MinervaDouble

Constructs a Minerva double term, representing the value 'value'.

MinervaException - exception com.ifcomputer.minerva.MinervaException.

The class MinervaException and its subclasses are a form of Exception that indicates error conditions that cannot be handled by Minerva.

MinervaException(String) - Constructor for class com.ifcomputer.minerva.MinervaException

Constructs an MinervaException with a specific detail message.

MinervaException(String, String) - Constructor for class com.ifcomputer.minerva.MinervaException

Constructs an MinervaException with a specific detail message for an unhandled domain error.

MinervaException(String, String, int) - Constructor for class com.ifcomputer.minerva.MinervaException

Constructs an MinervaException with a specific detail message for an unhandled domain error.

MinervaException(String, String, String) - Constructor for class com.ifcomputer.minerva.MinervaException

Constructs an MinervaException with a specific detail message for an unhandled domain error.

MinervaException(String, String, String, int) - Constructor for class com.ifcomputer.minerva.MinervaException

Constructs an MinervaException with a specific detail message for an unhandled domain error.

MinervaList - class com.ifcomputer.minerva.MinervaList.

The class MinervaList is used to represent a Minerva list term.

MinervaList() - Constructor for class com.ifcomputer.minerva.MinervaList

Constructs a Minerva list with undefined head and tail (use 'new MinervaAtom("[]")' to construct an empty list).

MinervaList(MinervaTerm, MinervaTerm) - Constructor for class com.ifcomputer.minerva.MinervaList

Constructs a Minerva list (use 'new MinervaAtom("[]")' to construct an empty list)

MinervaLong - class com.ifcomputer.minerva.MinervaLong.

The class MinervaLong is used to represent a long value as Minerva term.

MinervaLong(long) - Constructor for class com.ifcomputer.minerva.MinervaLong

Constructs a Minerva double term, representing the value 'value'.

MinervaNumber - class com.ifcomputer.minerva.MinervaNumber.

The class MinervaNumber is used as base class for numbers.

MinervaNumber() - Constructor for class com.ifcomputer.minerva.MinervaNumber

MinervaObject - class com.ifcomputer.minerva.MinervaObject.

The class MinervaObject is used to represent an object as Minerva term.

MinervaObject(Object) - Constructor for class com.ifcomputer.minerva.MinervaObject

Constructs a Minerva term, representing the object 'object'.

MinervaStruct - class com.ifcomputer.minerva.MinervaStruct.

The class MinervStruct is used as base class for compound and list terms.

MinervaStruct() - Constructor for class com.ifcomputer.minerva.MinervaStruct

MinervaSystemError - exception com.ifcomputer.minerva.MinervaSystemError.

The class MinervaSystemError and its subclasses are a form of MinervaException that indicates a severe error conditions that cannot be handled by Minerva.

MinervaSystemError(String) - Constructor for class com.ifcomputer.minerva.MinervaSystemError

Constructs an MinervaSystemError with a specific detail message.

MinervaTerm - class com.ifcomputer.minerva.MinervaTerm.

The class MinervaTerm and its subclasses are used for representing Minerva terms.

MinervaTerm() - Constructor for class com.ifcomputer.minerva.MinervaTerm

MinervaVariable - class com.ifcomputer.minerva.MinervaVariable.

The class MinervaVariable is used to represent a Minerva variable.

MinervaVariable() - Constructor for class com.ifcomputer.minerva.MinervaVariable

Constructs a new unbound Minerva variable

MrvaBipDescr - class com.ifcomputer.minerva.MrvaBipDescr.

The class MrvaBipDescr is used to declare Minerva predicate, that has been implemented in Java.

MrvaBipDescr(String, int) - Constructor for class com.ifcomputer.minerva.MrvaBipDescr

Constructs a description of an externally implemented Minerva predicate.

N

nextElement() - Method in class com.ifcomputer.minerva.MinervaAtom

O

OBJECT - Static variable in class com.ifcomputer.minerva.MinervaTerm

Constant used to specify an Java Object wrapped by a Minerva term

objectValue() - Method in class com.ifcomputer.minerva.MinervaObject

Returns the object, represented by this term

R

reset() - Method in class com.ifcomputer.minerva.MinervaCompound

reset() - Method in class com.ifcomputer.minerva.MinervaList

reset() - Method in class com.ifcomputer.minerva.MinervaTerm

This function is used to unbind all variables (MinervaVariable) in this term.

reset() - Method in class com.ifcomputer.minerva.MinervaVariable

resolve() - Method in class com.ifcomputer.minerva.MinervaCompound

resolve() - Method in class com.ifcomputer.minerva.MinervaList

resolve() - Method in class com.ifcomputer.minerva.MinervaTerm

This function is used to create a copy of this term, where all bound variable will be replaced by the term to which they are bound

resolve() - Method in class com.ifcomputer.minerva.MinervaVariable

S

setApplet(Applet) - Method in class com.ifcomputer.minerva.Minerva

Sets the applet in which MINERVA will be executed.

setArg(int, MinervaTerm) - Method in class com.ifcomputer.minerva.MinervaCompound

This function replaces the i-th argument of a compound term by 'term'.

setArg(int, MinervaTerm) - Method in class com.ifcomputer.minerva.MinervaList

This function replaces the i-th argument of a compound term by 'term' (argument 0 is the head of the list; argument 1 is the tail of the list).

setArg(int, MinervaTerm) - Method in class com.ifcomputer.minerva.MinervaStruct

This function replaces the i-th argument of a compound term by 'term'.

setCulprit(int) - Method in class com.ifcomputer.minerva.MinervaException

set the information about the term which caused the exception to be thrown.

setHead(MinervaTerm) - Method in class com.ifcomputer.minerva.MinervaList

This function replaces the head of the list by 'term'.

setTail(MinervaTerm) - Method in class com.ifcomputer.minerva.MinervaList

This function replaces the head of the list by 'term'.

setValue(MinervaTerm) - Method in class com.ifcomputer.minerva.MinervaTerm

This function is only applicable on Minerva variables.

setValue(MinervaTerm) - Method in class com.ifcomputer.minerva.MinervaVariable

This function is used to bind a Minerva variable to a term.

start() - Method in class com.ifcomputer.minerva.Application

This function starts the Minerva engine.

stringValue() - Method in class com.ifcomputer.minerva.MinervaAtom

This function returns the external representation of the atom.

T

toString() - Method in class com.ifcomputer.minerva.MinervaAtom

This function returns the external representation of the atom.

toString() - Method in class com.ifcomputer.minerva.MinervaCompound

Stringifies a compound term.

toString() - Method in class com.ifcomputer.minerva.MinervaDouble

This function stringifies the term into a format readable by the Minerva read predicates.

toString() - Method in class com.ifcomputer.minerva.MinervaException

Returns a short error description

toString() - Method in class com.ifcomputer.minerva.MinervaList

Stringifies a list term.

toString() - Method in class com.ifcomputer.minerva.MinervaLong

This function stringifies the term into a format readable by the Minerva read predicates.

toString() - Method in class com.ifcomputer.minerva.MinervaObject

This function stringifies the term into a format readable by the Minerva read predicates.

toString() - Method in class com.ifcomputer.minerva.MinervaVariable

This function stringifies the term into a format readable by the Minerva read predicates.

typeOf() - Method in class com.ifcomputer.minerva.MinervaAtom

typeOf() - Method in class com.ifcomputer.minerva.MinervaCompound

typeOf() - Method in class com.ifcomputer.minerva.MinervaDouble

typeOf() - Method in class com.ifcomputer.minerva.MinervaList

typeOf() - Method in class com.ifcomputer.minerva.MinervaLong

typeOf() - Method in class com.ifcomputer.minerva.MinervaObject

typeOf() - Method in class com.ifcomputer.minerva.MinervaTerm

This function returns the type (VARIABLE, ATOM, etc.) of this term.

typeOf() - Method in class com.ifcomputer.minerva.MinervaVariable

V

VARIABLE - Static variable in class com.ifcomputer.minerva.MinervaTerm

Constant used to specify an Minerva variable

A C D E G H I L M N O R S T V