Uses of Class
edu.cs.ai.kreator.logic.SpiritGrammarConform

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