it.unibz.inf.ontop.substitution.impl

Class IndempotentVar2VarSubstitutionImpl

java.lang.Object

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

it.unibz.inf.ontop.substitution.impl.AbstractImmutableSubstitutionImpl<Variable>

it.unibz.inf.ontop.substitution.impl.Var2VarSubstitutionImpl

it.unibz.inf.ontop.substitution.impl.IndempotentVar2VarSubstitutionImpl

All Implemented Interfaces:

ImmutableSubstitution<Variable>, IndempotentVar2VarSubstitution, ProtoSubstitution<Variable>, Var2VarSubstitution

public class IndempotentVar2VarSubstitutionImpl
extends Var2VarSubstitutionImpl
implements IndempotentVar2VarSubstitution

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	IndempotentVar2VarSubstitutionImpl(Map<Variable,Variable> substitutionMap, AtomFactory atomFactory, TermFactory termFactory, SubstitutionFactory substitutionFactory)

Method Summary

Modifier and Type	Method and Description
static boolean	isIndempotent(Map<Variable,Variable> substitutionMap) Returns true if there is common variables in the domain and the range of the substitution map.

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

applyToNonGroundTerm, applyToSubstitution, applyToTerm, applyToVariable, composeRenaming, composeWithVar2Var, constructNewSubstitution, get, getDomain, getGroundTermFragment, getImmutableMap, getVar2VarFragment, isDefining, isEmpty, toString

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

applyToDataAtom, applyToDistinctVariableOnlyDataAtom, applyToTarget, composeWith, composeWith2, computeUnionMap, convertIntoBooleanExpression, convertIntoBooleanExpression, equals, getFunctionalTermFragment, getGroundFunctionalTermFragment, getNonFunctionalTermFragment, getNonGroundFunctionalTermFragment, getNonVariableTermFragment, getVariableOrGroundTermFragment, orientate, reduceDomainToIntersectionWith, simplifyValues, simplifyValues, simplifyValues, union, unionHeterogeneous

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

apply, apply, applyToBooleanExpression, applyToFunctionalTerm

Methods inherited from class java.lang.Object

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

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

applyToNonGroundTerm, applyToSubstitution, applyToTerm, applyToVariable, composeWithVar2Var

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

applyToDataAtom, applyToDistinctVariableOnlyDataAtom, applyToTarget, composeWith, composeWith2, convertIntoBooleanExpression, getFunctionalTermFragment, getGroundFunctionalTermFragment, getGroundTermFragment, getNonFunctionalTermFragment, getNonGroundFunctionalTermFragment, getNonVariableTermFragment, getVar2VarFragment, getVariableOrGroundTermFragment, orientate, reduceDomainToIntersectionWith, simplifyValues, simplifyValues, union, unionHeterogeneous

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

apply, apply, applyToBooleanExpression, applyToFunctionalTerm, get, getDomain, getImmutableMap, isDefining, isEmpty

Constructor Detail

IndempotentVar2VarSubstitutionImpl

protected IndempotentVar2VarSubstitutionImpl(Map<Variable,Variable> substitutionMap,
                                             AtomFactory atomFactory,
                                             TermFactory termFactory,
                                             SubstitutionFactory substitutionFactory)

Method Detail

isIndempotent

public static boolean isIndempotent(Map<Variable,Variable> substitutionMap)

Returns true if there is common variables in the domain and the range of the substitution map.