it.unibz.inf.ontop.substitution

Interface ProtoSubstitution<T extends ImmutableTerm>

All Known Subinterfaces:

ImmutableSubstitution<T>, InjectiveVar2VarSubstitution, Var2VarSubstitution

All Known Implementing Classes:

AbstractImmutableSubstitutionImpl, AbstractProtoSubstitution, ImmutableSubstitutionImpl, InjectiveVar2VarSubstitutionImpl, SimpleProtoSubstitutionImpl, Var2VarSubstitutionImpl

public interface ProtoSubstitution<T extends ImmutableTerm>

TODO: find a better name Minimal interface for a substitution May not depend on the AtomFactory and SubstitutionFactory

Method Summary

Modifier and Type	Method and Description
it.unibz.inf.ontop.com.google.common.collect.ImmutableList<ImmutableTerm>	apply(it.unibz.inf.ontop.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)
ImmutableTerm	applyToVariable(Variable variable) This method can be applied to simple variables
T	get(Variable variable)
it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable>	getDomain()
it.unibz.inf.ontop.com.google.common.collect.ImmutableMap<Variable,T>	getImmutableMap()
boolean	isDefining(Variable variable)
boolean	isEmpty()

Method Detail

getImmutableMap

it.unibz.inf.ontop.com.google.common.collect.ImmutableMap<Variable,T> getImmutableMap()

isDefining

boolean isDefining(Variable variable)

getDomain

it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable> getDomain()

get

T get(Variable variable)

isEmpty

boolean isEmpty()

apply

ImmutableTerm apply(ImmutableTerm term)

Applies the substitution to an immutable term.

applyToVariable

ImmutableTerm applyToVariable(Variable variable)

This method can be applied to simple variables

applyToFunctionalTerm

ImmutableFunctionalTerm applyToFunctionalTerm(ImmutableFunctionalTerm functionalTerm)

applyToBooleanExpression

ImmutableExpression applyToBooleanExpression(ImmutableExpression booleanExpression)

apply

it.unibz.inf.ontop.com.google.common.collect.ImmutableList<ImmutableTerm> apply(it.unibz.inf.ontop.com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms)