|
||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |
Interface Summary | |
ToSpecialListener | ToSpecialListener
Copyright (c) 2001-2002 by Dirk Münstermann All Rights Reserved |
Class Summary | |
ArithLiteral | ArithLiteral ist eine spezielle Ableitung von
und stellt arithmetische Literal dar.
|
Literal | Literal verwaltet ein Literal mit Namen und Parametern.
|
Operators | Operators
Copyright (c) 2001 by Dirk Münstermann All Rights Reserved |
Rdtdb | Rdtdb Implementierung des RDT/DB - Algorithmus.
|
Results | Results stores the results (pos,neg,concl,negconcl) for a
ruleschema and a mapper.
|
RuleModels | RuleModels verwaltet eine Menge von Regelschemata.
|
RuleSchema | RuleSchema verwaltet genau ein Regelschema.
|
Substituter | Substituter
Copyright (c) 2001 by Dirk Münstermann All Rights Reserved |
Substitution | Substitution beinhaltet eine beliebige Substitution.
|
|
||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |