Uses of Class
it.unibz.inf.ontop.iq.impl.IQTreeTools.UnsatisfiableDescendingSubstitutionException

Packages that use IQTreeTools.UnsatisfiableDescendingSubstitutionException

Package	Description
it.unibz.inf.ontop.iq.impl

Uses of IQTreeTools.UnsatisfiableDescendingSubstitutionException in it.unibz.inf.ontop.iq.impl

Methods in it.unibz.inf.ontop.iq.impl that throw IQTreeTools.UnsatisfiableDescendingSubstitutionException

Modifier and Type	Method and Description
protected Optional<ImmutableSubstitution<? extends VariableOrGroundTerm>>	AbstractCompositeIQTree.normalizeDescendingSubstitution(ImmutableSubstitution<? extends VariableOrGroundTerm> descendingSubstitution)
Optional<ImmutableSubstitution<? extends VariableOrGroundTerm>>	IQTreeTools.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.