it.unibz.inf.ontop.substitution.impl

Class ImmutableUnificationTools.ArgumentMapUnification

java.lang.Object

it.unibz.inf.ontop.substitution.impl.ImmutableUnificationTools.ArgumentMapUnification

Enclosing class:

ImmutableUnificationTools

public static class ImmutableUnificationTools.ArgumentMapUnification
extends Object

Field Summary

Fields

Modifier and Type	Field and Description
com.google.common.collect.ImmutableMap<Integer,? extends VariableOrGroundTerm>	argumentMap
ImmutableSubstitution<VariableOrGroundTerm>	substitution

Constructor Summary

Constructors

Constructor and Description
ArgumentMapUnification(com.google.common.collect.ImmutableMap<Integer,? extends VariableOrGroundTerm> argumentMap, ImmutableSubstitution<VariableOrGroundTerm> substitution)

Method Summary

Methods inherited from class java.lang.Object

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

Field Detail

argumentMap

public final com.google.common.collect.ImmutableMap<Integer,? extends VariableOrGroundTerm> argumentMap

substitution

public final ImmutableSubstitution<VariableOrGroundTerm> substitution

Constructor Detail

ArgumentMapUnification

public ArgumentMapUnification(com.google.common.collect.ImmutableMap<Integer,? extends VariableOrGroundTerm> argumentMap,
                              ImmutableSubstitution<VariableOrGroundTerm> substitution)