Hierarchy For All Packages

Package Hierarchies:

• ai.libs.jaicore.logic.fol.algorithms.resolution,
• ai.libs.jaicore.logic.fol.structure,
• ai.libs.jaicore.logic.fol.theories,
• ai.libs.jaicore.logic.fol.theories.set,
• ai.libs.jaicore.logic.fol.util

Class Hierarchy

• java.lang.Object
  • ai.libs.jaicore.basic.algorithm.AAlgorithm<I,O> (implements ai.libs.jaicore.basic.algorithm.IAlgorithm<I,O>, ai.libs.jaicore.basic.ILoggingCustomizable)
    • ai.libs.jaicore.logic.fol.util.ForwardChainer
  • ai.libs.jaicore.basic.algorithm.events.AAlgorithmEvent (implements ai.libs.jaicore.basic.algorithm.events.AlgorithmEvent)
    • ai.libs.jaicore.logic.fol.util.ForwardChainerRecursionEvent
    • ai.libs.jaicore.logic.fol.util.ForwardChainingFailedCWABindingEvent
    • ai.libs.jaicore.logic.fol.util.NextBindingFoundEvent
  • java.util.AbstractCollection<E> (implements java.util.Collection<E>)
    • java.util.AbstractSet<E> (implements java.util.Set<E>)
      • java.util.HashSet<E> (implements java.lang.Cloneable, java.io.Serializable, java.util.Set<E>)
        • ai.libs.jaicore.logic.fol.structure.CNFFormula
        • ai.libs.jaicore.logic.fol.structure.DNFFormula
        • ai.libs.jaicore.logic.fol.structure.HornFormula
        • ai.libs.jaicore.logic.fol.structure.LiteralSet
          • ai.libs.jaicore.logic.fol.structure.Clause
          • ai.libs.jaicore.logic.fol.structure.Monom
  • ai.libs.jaicore.logic.fol.theories.set.ContainsPredicate (implements ai.libs.jaicore.logic.fol.theories.EvaluablePredicate)
  • ai.libs.jaicore.logic.fol.util.ForwardChainingProblem
  • ai.libs.jaicore.logic.fol.structure.HornRule
  • ai.libs.jaicore.logic.fol.structure.Literal (implements java.io.Serializable)
    • ai.libs.jaicore.logic.fol.structure.InterpretedLiteral
  • ai.libs.jaicore.logic.fol.structure.LiteralParam (implements java.io.Serializable)
    • ai.libs.jaicore.logic.fol.structure.ConstantParam
    • ai.libs.jaicore.logic.fol.structure.VariableParam
  • ai.libs.jaicore.logic.fol.util.LiteralStringParser
  • ai.libs.jaicore.logic.fol.util.LogicUtil
  • ai.libs.jaicore.logic.fol.theories.set.NotEmptyPredicate (implements ai.libs.jaicore.logic.fol.theories.EvaluablePredicate)
  • ai.libs.jaicore.logic.fol.theories.set.OneItemPredicate (implements ai.libs.jaicore.logic.fol.theories.EvaluablePredicate)
  • ai.libs.jaicore.logic.fol.theories.set.PartitionPredicate (implements ai.libs.jaicore.logic.fol.theories.EvaluablePredicate)
  • ai.libs.jaicore.logic.fol.algorithms.resolution.ResolutionPair
  • ai.libs.jaicore.logic.fol.algorithms.resolution.ResolutionStep
  • ai.libs.jaicore.logic.fol.algorithms.resolution.ResolutionTree
  • ai.libs.jaicore.logic.fol.structure.Rule
  • ai.libs.jaicore.logic.fol.theories.set.SetTheoryUtil
  • ai.libs.jaicore.logic.fol.algorithms.resolution.Solver
    • ai.libs.jaicore.logic.fol.algorithms.resolution.UnitResolutionSolver
  • ai.libs.jaicore.logic.fol.algorithms.resolution.SolverFactory
  • ai.libs.jaicore.logic.fol.structure.Type (implements java.io.Serializable)
  • ai.libs.jaicore.logic.fol.structure.TypeModule
  • ai.libs.jaicore.logic.fol.util.TypeUtil

Interface Hierarchy

• ai.libs.jaicore.logic.fol.theories.EvaluablePredicate