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

Class ExpressionAndSubstitutionImpl

java.lang.Object

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

All Implemented Interfaces:

ConditionSimplifier.ExpressionAndSubstitution

public class ExpressionAndSubstitutionImpl
extends Object
implements ConditionSimplifier.ExpressionAndSubstitution

Constructor Summary

Constructors

Constructor and Description
ExpressionAndSubstitutionImpl(Optional<ImmutableExpression> optionalExpression, ImmutableSubstitution<? extends VariableOrGroundTerm> substitution)

Method Summary

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

Methods inherited from class java.lang.Object

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

Constructor Detail

ExpressionAndSubstitutionImpl

public ExpressionAndSubstitutionImpl(Optional<ImmutableExpression> optionalExpression,
                                     ImmutableSubstitution<? extends VariableOrGroundTerm> substitution)

Method Detail

getSubstitution

public ImmutableSubstitution<VariableOrGroundTerm> getSubstitution()

Specified by:

getSubstitution in interface ConditionSimplifier.ExpressionAndSubstitution

getOptionalExpression

public Optional<ImmutableExpression> getOptionalExpression()

Specified by:

getOptionalExpression in interface ConditionSimplifier.ExpressionAndSubstitution