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

Class ConstructionNodeImpl.PropagationResults<T extends VariableOrGroundTerm>

java.lang.Object

it.unibz.inf.ontop.iq.node.impl.ConstructionNodeImpl.PropagationResults<T>

Enclosing class:

ConstructionNodeImpl

public static class ConstructionNodeImpl.PropagationResults<T extends VariableOrGroundTerm>
extends Object

Field Summary

Fields

Modifier and Type	Field and Description
ImmutableSubstitution<T>	delta
Optional<ImmutableExpression>	filter
ImmutableSubstitution<ImmutableTerm>	theta

Method Summary

Methods inherited from class java.lang.Object

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

Field Detail

delta

public final ImmutableSubstitution<T extends VariableOrGroundTerm> delta

filter

public final Optional<ImmutableExpression> filter

theta

public final ImmutableSubstitution<ImmutableTerm> theta