it.unibz.inf.ontop.iq.node.normalization

Interface ConditionSimplifier.ExpressionAndSubstitution

All Known Implementing Classes:

ExpressionAndSubstitutionImpl

Enclosing interface:

ConditionSimplifier

public static interface ConditionSimplifier.ExpressionAndSubstitution

Method Summary

Modifier and Type	Method and Description
Optional<ImmutableExpression>	getOptionalExpression()
ImmutableSubstitution<VariableOrGroundTerm>	getSubstitution()

Method Detail

getSubstitution

ImmutableSubstitution<VariableOrGroundTerm> getSubstitution()

getOptionalExpression

Optional<ImmutableExpression> getOptionalExpression()