it.unibz.inf.ontop.model.term.impl

Class SimpleProtoSubstitutionImpl<T extends ImmutableTerm>

java.lang.Object

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

it.unibz.inf.ontop.model.term.impl.SimpleProtoSubstitutionImpl<T>

All Implemented Interfaces:

ProtoSubstitution<T>

public class SimpleProtoSubstitutionImpl<T extends ImmutableTerm>
extends AbstractProtoSubstitution<T>

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	SimpleProtoSubstitutionImpl(com.google.common.collect.ImmutableMap<Variable,? extends T> substitutionMap, TermFactory termFactory)

Method Summary

Modifier and Type	Method and Description
ImmutableTerm	applyToVariable(Variable variable) This method can be applied to simple variables
T	get(Variable var)
com.google.common.collect.ImmutableSet<Variable>	getDomain()
com.google.common.collect.ImmutableMap<Variable,T>	getImmutableMap()
boolean	isDefining(Variable variable)
boolean	isEmpty()

Methods inherited from class it.unibz.inf.ontop.substitution.impl.AbstractProtoSubstitution

apply, apply, applyToBooleanExpression, applyToFunctionalTerm

Methods inherited from class java.lang.Object

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

Constructor Detail

SimpleProtoSubstitutionImpl

protected SimpleProtoSubstitutionImpl(com.google.common.collect.ImmutableMap<Variable,? extends T> substitutionMap,
                                      TermFactory termFactory)

Method Detail

get

public T get(Variable var)

getImmutableMap

public com.google.common.collect.ImmutableMap<Variable,T> getImmutableMap()

isDefining

public boolean isDefining(Variable variable)

getDomain

public com.google.common.collect.ImmutableSet<Variable> getDomain()

isEmpty

public boolean isEmpty()

applyToVariable

public ImmutableTerm applyToVariable(Variable variable)

Description copied from interface: ProtoSubstitution

This method can be applied to simple variables