Uses of Class
edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.operations.Substitution

Packages that use Substitution

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

Uses of Substitution in edu.upc.fib.inlab.imp.kse.logics.logicschema.domain

Methods in edu.upc.fib.inlab.imp.kse.logics.logicschema.domain with parameters of type Substitution

Modifier and Type	Method	Description
Atom	Atom.applySubstitution(Substitution substitution)
BooleanBuiltInLiteral	BooleanBuiltInLiteral.applySubstitution(Substitution substitution)
ComparisonBuiltInLiteral	ComparisonBuiltInLiteral.applySubstitution(Substitution substitution)
Term	Constant.applySubstitution(Substitution substitution)
CustomBuiltInLiteral	CustomBuiltInLiteral.applySubstitution(Substitution substitution)
ImmutableLiteralsList	ImmutableLiteralsList.applySubstitution(Substitution substitution)
ImmutableTermList	ImmutableTermList.applySubstitution(Substitution substitution)
abstract Literal	Literal.applySubstitution(Substitution substitution)
OrdinaryLiteral	OrdinaryLiteral.applySubstitution(Substitution substitution)
abstract Term	Term.applySubstitution(Substitution substitution)
Term	Variable.applySubstitution(Substitution substitution)

Uses of Substitution in edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.operations

Methods in edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.operations that return Substitution

Modifier and Type	Method	Description
Substitution	Substitution.union(Substitution otherSubstitution)	Creates a new Substitution making the union between this Substitution, and the otherSubstitution.

Methods in edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.operations with parameters of type Substitution

Modifier and Type	Method	Description
Substitution	Substitution.union(Substitution otherSubstitution)	Creates a new Substitution making the union between this Substitution, and the otherSubstitution.

Constructors in edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.operations with parameters of type Substitution

Modifier	Constructor	Description
	Substitution(Substitution toCopy)	Constructor by copy

Uses of Substitution in edu.upc.fib.inlab.imp.kse.logics.logicschema.services

Methods in edu.upc.fib.inlab.imp.kse.logics.logicschema.services that return types with arguments of type Substitution

Modifier and Type	Method	Description
static Optional<Substitution>	MGUFinder.getAtomsMGU(Atom... atoms)
static Optional<Substitution>	MGUFinder.getAtomsMGU(Collection<Atom> atoms)
static Optional<Substitution>	MGUFinder.getLiteralsMGU(Literal... literals)
static Optional<Substitution>	MGUFinder.getLiteralsMGU(Collection<Literal> literals)

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

Methods in edu.upc.fib.inlab.imp.kse.logics.logicschema.services.comparator that return types with arguments of type Substitution

Modifier and Type	Method	Description
protected Optional<Substitution>	HomomorphismFinder.computeHomomorphismExtensionForAtom(Substitution currentSubstitution, Atom domainAtom, Atom rangeAtom)
Optional<Substitution>	DerivedOrdinaryLiteralHomomorphismCriteria.computeHomomorphismExtensionForDerivedOrdinaryLiteral(HomomorphismFinder homomorphismFinder, Substitution currentSubstitution, OrdinaryLiteral domainLiteral, OrdinaryLiteral rangeLiteral)
Optional<Substitution>	HomomorphicRulesHomomorphismCriteria.computeHomomorphismExtensionForDerivedOrdinaryLiteral(HomomorphismFinder homomorphismFinder, Substitution currentSubstitution, OrdinaryLiteral domainLiteral, OrdinaryLiteral rangeLiteral)
Optional<Substitution>	SamePredicateNameCriteria.computeHomomorphismExtensionForDerivedOrdinaryLiteral(HomomorphismFinder homomorphismFinder, Substitution currentSubstitution, OrdinaryLiteral domainLiteral, OrdinaryLiteral rangeLiteral)
protected Optional<Substitution>	HomomorphismFinder.computeHomomorphismExtensionForLiteralsList(Substitution currentSubstitution, List<Literal> domainLiterals, ImmutableLiteralsList rangeLiterals)
protected Optional<Substitution>	HomomorphismFinder.computeHomomorphismExtensionForOrdinaryLiteral(Substitution currentSubstitution, OrdinaryLiteral domainLiteral, OrdinaryLiteral rangeLiteral)
protected Optional<Substitution>	HomomorphismFinder.computeHomomorphismExtensionForTerms(Substitution currentSubstitution, ImmutableTermList domainTerms, ImmutableTermList rangeTerms)
Optional<Substitution>	HomomorphismFinder.findHomomorphism(DerivationRule domainRule, DerivationRule rangeRule)	Return a homomorphism from the domainRule terms to the rangeRule terms, if exists
Optional<Substitution>	HomomorphismFinder.findHomomorphism(LogicConstraint domainLogicConstraint, LogicConstraint rangeLogicConstraint)	Return a homomorphism from the domainLogicConstraint terms to the rangeLogicConstraint terms, if exists
Optional<Substitution>	HomomorphismFinder.findHomomorphism(List<Literal> domainLiterals, List<Literal> rangeLiterals)
Optional<Substitution>	HomomorphismFinder.findHomomorphism(List<Literal> domainLiterals, List<Literal> rangeLiterals, Substitution initialSubstitution)
Optional<Substitution>	HomomorphismFinder.findHomomorphismForTerms(ImmutableTermList domainTerms, ImmutableTermList rangeTerms)

Methods in edu.upc.fib.inlab.imp.kse.logics.logicschema.services.comparator with parameters of type Substitution

Modifier and Type	Method	Description
protected Optional<Substitution>	HomomorphismFinder.computeHomomorphismExtensionForAtom(Substitution currentSubstitution, Atom domainAtom, Atom rangeAtom)
Optional<Substitution>	DerivedOrdinaryLiteralHomomorphismCriteria.computeHomomorphismExtensionForDerivedOrdinaryLiteral(HomomorphismFinder homomorphismFinder, Substitution currentSubstitution, OrdinaryLiteral domainLiteral, OrdinaryLiteral rangeLiteral)
Optional<Substitution>	HomomorphicRulesHomomorphismCriteria.computeHomomorphismExtensionForDerivedOrdinaryLiteral(HomomorphismFinder homomorphismFinder, Substitution currentSubstitution, OrdinaryLiteral domainLiteral, OrdinaryLiteral rangeLiteral)
Optional<Substitution>	SamePredicateNameCriteria.computeHomomorphismExtensionForDerivedOrdinaryLiteral(HomomorphismFinder homomorphismFinder, Substitution currentSubstitution, OrdinaryLiteral domainLiteral, OrdinaryLiteral rangeLiteral)
protected Optional<Substitution>	HomomorphismFinder.computeHomomorphismExtensionForLiteralsList(Substitution currentSubstitution, List<Literal> domainLiterals, ImmutableLiteralsList rangeLiterals)
protected Optional<Substitution>	HomomorphismFinder.computeHomomorphismExtensionForOrdinaryLiteral(Substitution currentSubstitution, OrdinaryLiteral domainLiteral, OrdinaryLiteral rangeLiteral)
protected Optional<Substitution>	HomomorphismFinder.computeHomomorphismExtensionForTerms(Substitution currentSubstitution, ImmutableTermList domainTerms, ImmutableTermList rangeTerms)
Optional<Substitution>	HomomorphismFinder.findHomomorphism(List<Literal> domainLiterals, List<Literal> rangeLiterals, Substitution initialSubstitution)