Package Hierarchies:
- edu.harvard.seas.pl.abcdatalog,
- edu.harvard.seas.pl.abcdatalog.ast,
- edu.harvard.seas.pl.abcdatalog.ast.validation,
- edu.harvard.seas.pl.abcdatalog.ast.visitors,
- edu.harvard.seas.pl.abcdatalog.engine,
- edu.harvard.seas.pl.abcdatalog.engine.bottomup,
- edu.harvard.seas.pl.abcdatalog.engine.bottomup.concurrent,
- edu.harvard.seas.pl.abcdatalog.engine.bottomup.sequential,
- edu.harvard.seas.pl.abcdatalog.engine.topdown,
- edu.harvard.seas.pl.abcdatalog.executor,
- edu.harvard.seas.pl.abcdatalog.gui,
- edu.harvard.seas.pl.abcdatalog.parser,
- edu.harvard.seas.pl.abcdatalog.util,
- edu.harvard.seas.pl.abcdatalog.util.datastructures,
- edu.harvard.seas.pl.abcdatalog.util.graph,
- edu.harvard.seas.pl.abcdatalog.util.substitution
Class Hierarchy
- java.lang.Object
- edu.harvard.seas.pl.abcdatalog.engine.topdown.AbstractQsqEngine (implements edu.harvard.seas.pl.abcdatalog.engine.DatalogEngine)
- edu.harvard.seas.pl.abcdatalog.engine.topdown.AdornedAtom
- edu.harvard.seas.pl.abcdatalog.engine.topdown.AdornedClause
- edu.harvard.seas.pl.abcdatalog.engine.topdown.AdornedPredicateSym
- edu.harvard.seas.pl.abcdatalog.engine.bottomup.AnnotatedAtom (implements edu.harvard.seas.pl.abcdatalog.ast.Premise)
- 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.engine.bottomup.BottomUpEngineFrame<E> (implements edu.harvard.seas.pl.abcdatalog.engine.DatalogEngine)
- edu.harvard.seas.pl.abcdatalog.engine.bottomup.concurrent.BottomUpEvalManager (implements edu.harvard.seas.pl.abcdatalog.engine.bottomup.EvalManager)
- edu.harvard.seas.pl.abcdatalog.util.Box<T>
- edu.harvard.seas.pl.abcdatalog.ast.Clause
- edu.harvard.seas.pl.abcdatalog.engine.bottomup.ClauseEvaluator
- edu.harvard.seas.pl.abcdatalog.util.substitution.ClauseSubstitution (implements edu.harvard.seas.pl.abcdatalog.util.substitution.ConstOnlySubstitution)
- java.awt.Component (implements java.awt.image.ImageObserver, java.awt.MenuContainer, java.io.Serializable)
- edu.harvard.seas.pl.abcdatalog.util.datastructures.ConcurrentFactIndexer<T> (implements edu.harvard.seas.pl.abcdatalog.util.datastructures.FactIndexer)
- edu.harvard.seas.pl.abcdatalog.util.datastructures.ConcurrentFactTrie
- edu.harvard.seas.pl.abcdatalog.util.datastructures.ConcurrentLinkedBag<T> (implements java.lang.Iterable<T>)
- edu.harvard.seas.pl.abcdatalog.util.datastructures.ConcurrentLinkedBag.Node
- edu.harvard.seas.pl.abcdatalog.engine.ConjunctiveQueryHelper
- edu.harvard.seas.pl.abcdatalog.ast.Constant (implements edu.harvard.seas.pl.abcdatalog.ast.Term)
- edu.harvard.seas.pl.abcdatalog.ast.visitors.CrashHeadVisitor<I,O> (implements edu.harvard.seas.pl.abcdatalog.ast.visitors.HeadVisitor<I,O>)
- edu.harvard.seas.pl.abcdatalog.ast.visitors.CrashPremiseVisitor<I,O> (implements edu.harvard.seas.pl.abcdatalog.ast.visitors.PremiseVisitor<I,O>)
- edu.harvard.seas.pl.abcdatalog.executor.DatalogParallelExecutor (implements edu.harvard.seas.pl.abcdatalog.executor.DatalogExecutor)
- edu.harvard.seas.pl.abcdatalog.parser.DatalogParser
- edu.harvard.seas.pl.abcdatalog.parser.DatalogTokenizer
- edu.harvard.seas.pl.abcdatalog.ast.validation.DatalogValidator
- edu.harvard.seas.pl.abcdatalog.ast.validation.DatalogValidator.True
- edu.harvard.seas.pl.abcdatalog.ast.visitors.DefaultConjunctVisitor<I,O> (implements edu.harvard.seas.pl.abcdatalog.ast.visitors.PremiseVisitor<I,O>)
- edu.harvard.seas.pl.abcdatalog.ast.visitors.DefaultTermVisitor<I,O> (implements edu.harvard.seas.pl.abcdatalog.ast.visitors.TermVisitor<I,O>)
- edu.harvard.seas.pl.abcdatalog.util.graph.Digraph<V,E>
- edu.harvard.seas.pl.abcdatalog.engine.EngineExample
- edu.harvard.seas.pl.abcdatalog.executor.ExecutorExample
- edu.harvard.seas.pl.abcdatalog.util.ExecutorServiceCounter
- edu.harvard.seas.pl.abcdatalog.util.datastructures.FactIndexerFactory
- edu.harvard.seas.pl.abcdatalog.ast.HeadHelpers
- edu.harvard.seas.pl.abcdatalog.ast.visitors.HeadVisitorBuilder<I,O>
- edu.harvard.seas.pl.abcdatalog.engine.topdown.MstEngine (implements edu.harvard.seas.pl.abcdatalog.engine.DatalogEngine)
- 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.visitors.PremiseVisitorBuilder<I,O>
- edu.harvard.seas.pl.abcdatalog.engine.topdown.QsqTemplate
- edu.harvard.seas.pl.abcdatalog.engine.topdown.Relation (implements java.lang.Iterable<T>)
- edu.harvard.seas.pl.abcdatalog.engine.bottomup.SemiNaiveClauseAnnotator
- edu.harvard.seas.pl.abcdatalog.engine.bottomup.sequential.SemiNaiveEvalManager (implements edu.harvard.seas.pl.abcdatalog.engine.bottomup.EvalManagerWithProvenance)
- edu.harvard.seas.pl.abcdatalog.util.substitution.SimpleConstSubstitution (implements edu.harvard.seas.pl.abcdatalog.util.substitution.ConstOnlySubstitution)
- edu.harvard.seas.pl.abcdatalog.engine.bottomup.concurrent.StratifiedNegationEvalManager (implements edu.harvard.seas.pl.abcdatalog.engine.bottomup.EvalManager)
- edu.harvard.seas.pl.abcdatalog.ast.validation.StratifiedNegationValidator
- edu.harvard.seas.pl.abcdatalog.util.substitution.SubstitutionUtils
- edu.harvard.seas.pl.abcdatalog.ast.TermHelpers
- edu.harvard.seas.pl.abcdatalog.engine.topdown.TermSchema
- edu.harvard.seas.pl.abcdatalog.ast.visitors.TermVisitorBuilder<I,O>
- java.lang.Throwable (implements java.io.Serializable)
- edu.harvard.seas.pl.abcdatalog.engine.topdown.Tuple
- edu.harvard.seas.pl.abcdatalog.util.substitution.UnionFindBasedUnifier (implements edu.harvard.seas.pl.abcdatalog.util.substitution.TermUnifier)
- edu.harvard.seas.pl.abcdatalog.util.Utilities
- edu.harvard.seas.pl.abcdatalog.ast.Variable (implements edu.harvard.seas.pl.abcdatalog.ast.Term)