Uses of Class
it.unibz.inf.ontop.substitution.impl.ImmutableUnificationTools.ArgumentMapUnification

Packages that use ImmutableUnificationTools.ArgumentMapUnification

Package	Description
it.unibz.inf.ontop.substitution.impl

Uses of ImmutableUnificationTools.ArgumentMapUnification in it.unibz.inf.ontop.substitution.impl

Methods in it.unibz.inf.ontop.substitution.impl that return types with arguments of type ImmutableUnificationTools.ArgumentMapUnification

Modifier and Type	Method and Description
Optional<ImmutableUnificationTools.ArgumentMapUnification>	ImmutableUnificationTools.computeArgumentMapMGU(it.unibz.inf.ontop.com.google.common.collect.ImmutableMap<Integer,? extends VariableOrGroundTerm> argumentMap1, it.unibz.inf.ontop.com.google.common.collect.ImmutableMap<Integer,? extends VariableOrGroundTerm> argumentMap2)