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

Package Hierarchies:

• All Packages

Class Hierarchy

• java.lang.Object
  • edu.harvard.seas.pl.abcdatalog.ast.Clause
    • edu.harvard.seas.pl.abcdatalog.ast.validation.DatalogValidator.ValidClause
  • edu.harvard.seas.pl.abcdatalog.ast.validation.DatalogValidator
  • edu.harvard.seas.pl.abcdatalog.ast.validation.DatalogValidator.True
  • edu.harvard.seas.pl.abcdatalog.ast.validation.StratifiedNegationValidator
  • java.lang.Throwable (implements java.io.Serializable)
    • java.lang.Exception
      • edu.harvard.seas.pl.abcdatalog.ast.validation.DatalogValidationException

Interface Hierarchy

• edu.harvard.seas.pl.abcdatalog.ast.validation.UnstratifiedProgram
  • edu.harvard.seas.pl.abcdatalog.ast.validation.StratifiedProgram