Hierarchy For Package edu.harvard.seas.pl.abcdatalog.util.substitution

Package Hierarchies:

• All Packages

Class Hierarchy

• java.lang.Object
  • edu.harvard.seas.pl.abcdatalog.util.substitution.ClauseSubstitution (implements edu.harvard.seas.pl.abcdatalog.util.substitution.ConstOnlySubstitution)
  • edu.harvard.seas.pl.abcdatalog.util.substitution.SimpleConstSubstitution (implements edu.harvard.seas.pl.abcdatalog.util.substitution.ConstOnlySubstitution)
  • edu.harvard.seas.pl.abcdatalog.util.substitution.SubstitutionUtils
  • edu.harvard.seas.pl.abcdatalog.util.substitution.UnionFindBasedUnifier (implements edu.harvard.seas.pl.abcdatalog.util.substitution.TermUnifier)

Interface Hierarchy

• edu.harvard.seas.pl.abcdatalog.util.substitution.Substitution
  • edu.harvard.seas.pl.abcdatalog.util.substitution.ConstOnlySubstitution
  • edu.harvard.seas.pl.abcdatalog.util.substitution.TermUnifier