Hierarchy For Package fr.inria.rules.integraal.backward_chaining.pure

Package Hierarchies:

• All Packages

Class Hierarchy

• java.lang.Object
  • fr.inria.rules.integraal.backward_chaining.pure.PureRewriter (implements fr.inria.rules.integraal.backward_chaining.api.BackwardChainingAlgorithm)