edu.cs.ai.kreator.logic
Interfaces
Latexable
LogicTranslator
Classes
AtomExpression
Clause
ClauseNetwork
ClauseNetworkNode
Constant
FolAllQuantification
FolAtom
FolBinaryJunction
FolConjunction
FolDisjunction
FolEquivalence
FolExistQuantification
FolFormula
FolImplication
FolNegation
FolQuantification
FunctionTerm
Functor
GeneralizedAtom
GeneralizedPredicate
LanguageFactory
Literal
Sort
SpiritGrammarConform
StrictNegation
Term
ToLatexTest
TweetyTranslator
Variable
VariableFactory
Enums
LanguageFactory.GrammarStyle
Literal.TruthValue
Exceptions
TranslationException