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

Class SamePredicateNameCriteria

java.lang.Object

edu.upc.fib.inlab.imp.kse.logics.logicschema.services.comparator.SamePredicateNameCriteria

All Implemented Interfaces:

DerivedOrdinaryLiteralHomomorphismCriteria

public class SamePredicateNameCriteria
extends Object
implements DerivedOrdinaryLiteralHomomorphismCriteria

Under this strategy, two ordinary literals are considered homomorphic if they have the same name, and their terms are homomorphic. This is even true when one of the literals is base, and the other is derived

Constructor Summary

Constructors

Constructor	Description
SamePredicateNameCriteria()

Method Summary

Modifier and Type	Method	Description
Optional<Substitution>	computeHomomorphismExtensionForDerivedOrdinaryLiteral(HomomorphismFinder homomorphismFinder, Substitution currentSubstitution, OrdinaryLiteral domainLiteral, OrdinaryLiteral rangeLiteral)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

SamePredicateNameCriteria

public SamePredicateNameCriteria()

Method Details

computeHomomorphismExtensionForDerivedOrdinaryLiteral

public Optional<Substitution> computeHomomorphismExtensionForDerivedOrdinaryLiteral(HomomorphismFinder homomorphismFinder,
 Substitution currentSubstitution,
 OrdinaryLiteral domainLiteral,
 OrdinaryLiteral rangeLiteral)

Specified by:

computeHomomorphismExtensionForDerivedOrdinaryLiteral in interface DerivedOrdinaryLiteralHomomorphismCriteria