Hierarchy For Package edu.harvard.seas.pl.abcdatalog.ast

Package Hierarchies:

Class Hierarchy

  • java.lang.Object
    • edu.harvard.seas.pl.abcdatalog.ast.BinaryDisunifier (implements edu.harvard.seas.pl.abcdatalog.ast.Premise)
    • edu.harvard.seas.pl.abcdatalog.ast.BinaryUnifier (implements edu.harvard.seas.pl.abcdatalog.ast.Premise)
    • edu.harvard.seas.pl.abcdatalog.ast.Clause
    • edu.harvard.seas.pl.abcdatalog.ast.Constant (implements edu.harvard.seas.pl.abcdatalog.ast.Term)
    • edu.harvard.seas.pl.abcdatalog.ast.HeadHelpers
    • edu.harvard.seas.pl.abcdatalog.ast.NegatedAtom (implements edu.harvard.seas.pl.abcdatalog.ast.Premise)
    • edu.harvard.seas.pl.abcdatalog.ast.PositiveAtom (implements edu.harvard.seas.pl.abcdatalog.ast.Head, edu.harvard.seas.pl.abcdatalog.ast.Premise)
    • edu.harvard.seas.pl.abcdatalog.ast.PredicateSym
    • edu.harvard.seas.pl.abcdatalog.ast.TermHelpers
    • edu.harvard.seas.pl.abcdatalog.ast.Variable (implements edu.harvard.seas.pl.abcdatalog.ast.Term)

Interface Hierarchy

  • edu.harvard.seas.pl.abcdatalog.ast.Head
  • edu.harvard.seas.pl.abcdatalog.ast.Premise
  • edu.harvard.seas.pl.abcdatalog.ast.Term