Hierarchy For Package edu.upc.fib.inlab.imp.kse.logics.logicschema.services.comparator

Package Hierarchies:

• All Packages

Class Hierarchy

• java.lang.Object
  • edu.upc.fib.inlab.imp.kse.logics.logicschema.services.comparator.HomomorphicRulesHomomorphismCriteria (implements edu.upc.fib.inlab.imp.kse.logics.logicschema.services.comparator.DerivedOrdinaryLiteralHomomorphismCriteria)
  • edu.upc.fib.inlab.imp.kse.logics.logicschema.services.comparator.HomomorphismBasedEquivalenceAnalyzer (implements edu.upc.fib.inlab.imp.kse.logics.logicschema.services.comparator.LogicEquivalenceAnalyzer)
  • edu.upc.fib.inlab.imp.kse.logics.logicschema.services.comparator.HomomorphismFinder
    • edu.upc.fib.inlab.imp.kse.logics.logicschema.services.comparator.ExtendedHomomorphismFinder
  • edu.upc.fib.inlab.imp.kse.logics.logicschema.services.comparator.PredicateComparator
  • edu.upc.fib.inlab.imp.kse.logics.logicschema.services.comparator.SamePredicateNameCriteria (implements edu.upc.fib.inlab.imp.kse.logics.logicschema.services.comparator.DerivedOrdinaryLiteralHomomorphismCriteria)

Interface Hierarchy

• edu.upc.fib.inlab.imp.kse.logics.logicschema.services.comparator.DerivedOrdinaryLiteralHomomorphismCriteria
• edu.upc.fib.inlab.imp.kse.logics.logicschema.services.comparator.LogicEquivalenceAnalyzer