|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use SpiritGrammarConform | |
---|---|
edu.cs.ai.kreator.logic |
Uses of SpiritGrammarConform in edu.cs.ai.kreator.logic |
---|
Subclasses of SpiritGrammarConform in edu.cs.ai.kreator.logic | |
---|---|
class |
GeneralizedAtom
This class models a generalized atom, i.e., it encapsulates a predicate symbol and a list of parameters. |
class |
StrictNegation
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |