it.unibz.inf.ontop.substitution.impl

Class SubstitutionImpl

java.lang.Object

it.unibz.inf.ontop.substitution.impl.SubstitutionImpl

All Implemented Interfaces:

Substitution

public class SubstitutionImpl
extends Object
implements Substitution

Mutable reference implementation of a Substitution.

Constructor Summary

Constructors

Constructor and Description
SubstitutionImpl(Map<Variable,Term> substitutionMap, TermFactory termFactory)
SubstitutionImpl(TermFactory termFactory)

Method Summary

Modifier and Type	Method and Description
boolean	composeFunctions(Function first, Function second) Composes two functional terms.
boolean	composeTerms(Term term1, Term term2) Creates a unifier (singleton substitution) out of term1 and term2.
Term	get(Variable var)
Map<Variable,Term>	getMap() Map representation of this function.
boolean	isEmpty()
Set<Variable>	keySet() Deprecated.
String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

SubstitutionImpl

public SubstitutionImpl(TermFactory termFactory)

SubstitutionImpl

public SubstitutionImpl(Map<Variable,Term> substitutionMap,
                        TermFactory termFactory)

Method Detail

get

public Term get(Variable var)

Specified by:

get in interface Substitution

getMap

public Map<Variable,Term> getMap()

Description copied from interface: Substitution

Map representation of this function.

Specified by:

getMap in interface Substitution

isEmpty

public boolean isEmpty()

Specified by:

isEmpty in interface Substitution

keySet

@Deprecated
public Set<Variable> keySet()

Deprecated.

toString

public String toString()

Overrides:

toString in class Object

composeTerms

public boolean composeTerms(Term term1,
                            Term term2)

Creates a unifier (singleton substitution) out of term1 and term2. Then, composes the current substitution with this unifier. (remind that composition is not commutative). Note that this Substitution object will be modified in this process. The operation is as follows {x/y, m/y} composed with (y,z) is equal to {x/z, m/z, y/z}

Specified by:

composeTerms in interface Substitution

Parameters:

term1 -

term2 -

Returns:

true if the substitution exists (false if it does not)

composeFunctions

public boolean composeFunctions(Function first,
                                Function second)

Description copied from interface: Substitution

Composes two functional terms. Can be recursive. Side-effect method: might add to new entries to the substitution.

Specified by:

composeFunctions in interface Substitution