it.unibz.inf.ontop.iq.node.impl

Class ConstructionNodeTools.NewSubstitutionPair

java.lang.Object

it.unibz.inf.ontop.iq.node.impl.ConstructionNodeTools.NewSubstitutionPair

Enclosing class:

ConstructionNodeTools

public static class ConstructionNodeTools.NewSubstitutionPair
extends Object

TODO: find a better name

Field Summary

Fields

Modifier and Type	Field and Description
ImmutableSubstitution<ImmutableTerm>	bindings
ImmutableSubstitution<? extends ImmutableTerm>	propagatedSubstitution

Method Summary

Methods inherited from class java.lang.Object

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

Field Detail

bindings

public final ImmutableSubstitution<ImmutableTerm> bindings

propagatedSubstitution

public final ImmutableSubstitution<? extends ImmutableTerm> propagatedSubstitution