it.unibz.inf.ontop.substitution.impl

Class AbstractProtoSubstitution<T extends ImmutableTerm>

java.lang.Object

it.unibz.inf.ontop.substitution.impl.AbstractProtoSubstitution<T>

All Implemented Interfaces:

ProtoSubstitution<T>

Direct Known Subclasses:

AbstractImmutableSubstitutionImpl, SimpleProtoSubstitutionImpl

public abstract class AbstractProtoSubstitution<T extends ImmutableTerm>
extends Object
implements ProtoSubstitution<T>

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	AbstractProtoSubstitution(TermFactory termFactory)

Method Summary

Modifier and Type	Method and Description
com.google.common.collect.ImmutableList<ImmutableTerm>	apply(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms)
ImmutableTerm	apply(ImmutableTerm term) Applies the substitution to an immutable term.
ImmutableExpression	applyToBooleanExpression(ImmutableExpression booleanExpression)
ImmutableFunctionalTerm	applyToFunctionalTerm(ImmutableFunctionalTerm functionalTerm)

Methods inherited from class java.lang.Object

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

Methods inherited from interface it.unibz.inf.ontop.substitution.ProtoSubstitution

applyToVariable, get, getDomain, getImmutableMap, isDefining, isEmpty

Constructor Detail

AbstractProtoSubstitution

protected AbstractProtoSubstitution(TermFactory termFactory)

Method Detail

apply

public ImmutableTerm apply(ImmutableTerm term)

Description copied from interface: ProtoSubstitution

Applies the substitution to an immutable term.

Specified by:

apply in interface ProtoSubstitution<T extends ImmutableTerm>

applyToFunctionalTerm

public ImmutableFunctionalTerm applyToFunctionalTerm(ImmutableFunctionalTerm functionalTerm)

Specified by:

applyToFunctionalTerm in interface ProtoSubstitution<T extends ImmutableTerm>

applyToBooleanExpression

public ImmutableExpression applyToBooleanExpression(ImmutableExpression booleanExpression)

Specified by:

applyToBooleanExpression in interface ProtoSubstitution<T extends ImmutableTerm>

apply

public com.google.common.collect.ImmutableList<ImmutableTerm> apply(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms)

Specified by:

apply in interface ProtoSubstitution<T extends ImmutableTerm>