Uses of Package
edu.upc.fib.inlab.imp.kse.logics.logicschema.services.comparator

Packages that use edu.upc.fib.inlab.imp.kse.logics.logicschema.services.comparator

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

Classes in edu.upc.fib.inlab.imp.kse.logics.logicschema.services.comparator used by edu.upc.fib.inlab.imp.kse.logics.logicschema.services.comparator

Class	Description
DerivedOrdinaryLiteralHomomorphismCriteria
HomomorphismFinder	This class is responsible for checking whether there is an homomorphism between two NormalClauses.
LogicEquivalenceAnalyzer