|
Class Summary |
| Application |
The class Application is a wrapper class to instantiate
Minerva as standalone application. |
| Minerva |
The class Minerva is used as user interface to the
Minerva engine. |
| MinervaAtom |
The class MinervaAtom is used to represent a Minerva atom. |
| MinervaCompound |
The class MinervaCompound is used to represent a
Minerva compound term. |
| MinervaDouble |
The class MinervaDouble is used to represent a
value of type double. |
| MinervaList |
The class MinervaList is used to represent a
Minerva list term. |
| MinervaLong |
The class MinervaLong is used to represent a
long value as Minerva term. |
| MinervaNumber |
The class MinervaNumber is used as base class for
numbers. |
| MinervaObject |
The class MinervaObject is used to represent an
object as Minerva term. |
| MinervaStruct |
The class MinervStruct is used as base class for
compound and list terms. |
| MinervaTerm |
The class MinervaTerm and its subclasses are used
for representing Minerva terms. |
| MinervaVariable |
The class MinervaVariable is used to represent a
Minerva variable. |
| MrvaBipDescr |
The class MrvaBipDescr is used to declare
Minerva predicate, that has been implemented in Java.
|