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)	Constructs new ComparisonBuiltInLiteral after applying the substitution to the literal terms.
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)	Constructs new Literal after applying the substitution to the literal terms.
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)	Constructs 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)	Constructs 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)	Constructs a new Substitution with the same mappings as the specified Substitution.

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)