it.unibz.inf.ontop.substitution.impl

Classes

• AbstractImmutableSubstitutionImpl
• AbstractProtoSubstitution
• ImmutableSubstitutionImpl
• ImmutableSubstitutionTools
• ImmutableUnificationTools
• ImmutableUnificationTools.ArgumentMapUnification
• IndempotentVar2VarSubstitutionImpl
• InjectiveVar2VarSubstitutionImpl
• SubstitutionFactoryImpl
• UnifierUtilities
• Var2VarSubstitutionImpl