it.unibz.inf.ontop.iq.impl

Class IQTreeTools

java.lang.Object

it.unibz.inf.ontop.iq.impl.IQTreeTools

public class IQTreeTools
extends Object

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	IQTreeTools.UnsatisfiableDescendingSubstitutionException Typically thrown when a "null" variable is propagated down

Method Summary

Modifier and Type	Method and Description
it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable>	computeNewProjectedVariables(ImmutableSubstitution<? extends ImmutableTerm> descendingSubstitution, it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable> projectedVariables)
Optional<InjectiveVar2VarSubstitution>	extractFreshRenaming(ImmutableSubstitution<? extends VariableOrGroundTerm> descendingSubstitution, it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable> projectedVariables) If the substitution is an fresh renaming, returns it as an injective substitution
Optional<ImmutableSubstitution<? extends VariableOrGroundTerm>>	normalizeDescendingSubstitution(IQTree tree, ImmutableSubstitution<? extends VariableOrGroundTerm> descendingSubstitution) Excludes the variables that are not projected by the IQTree If a "null" variable is propagated down, throws an UnsatisfiableDescendingSubstitutionException.

Methods inherited from class java.lang.Object

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

Method Detail

normalizeDescendingSubstitution

public Optional<ImmutableSubstitution<? extends VariableOrGroundTerm>> normalizeDescendingSubstitution(IQTree tree,
                                                                                                       ImmutableSubstitution<? extends VariableOrGroundTerm> descendingSubstitution)
                                                                                                throws IQTreeTools.UnsatisfiableDescendingSubstitutionException

Excludes the variables that are not projected by the IQTree If a "null" variable is propagated down, throws an UnsatisfiableDescendingSubstitutionException.

Throws:

IQTreeTools.UnsatisfiableDescendingSubstitutionException

computeNewProjectedVariables

public it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable> computeNewProjectedVariables(ImmutableSubstitution<? extends ImmutableTerm> descendingSubstitution,
                                                                                                        it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable> projectedVariables)

extractFreshRenaming

public Optional<InjectiveVar2VarSubstitution> extractFreshRenaming(ImmutableSubstitution<? extends VariableOrGroundTerm> descendingSubstitution,
                                                                   it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable> projectedVariables)

If the substitution is an fresh renaming, returns it as an injective substitution