it.unibz.inf.ontop.substitution.impl

Class SingletonSubstitution

java.lang.Object

it.unibz.inf.ontop.substitution.impl.SingletonSubstitution

All Implemented Interfaces:

Substitution

public class SingletonSubstitution
extends Object
implements Substitution

An atomic substitution accepts only one variable in its domain.

Constructor Summary

Constructors

Constructor and Description
SingletonSubstitution(Variable var, Term term)

Method Summary

Modifier and Type	Method and Description
boolean	composeFunctions(Function term1, Function term2) Deprecated.
boolean	composeTerms(Term term1, Term term2) Deprecated.
Term	get(Variable var)
com.google.common.collect.ImmutableMap<Variable,Term>	getMap() Map representation of this function.
Term	getTerm()
Variable	getVariable()
boolean	isEmpty()

Methods inherited from class java.lang.Object

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

Constructor Detail

SingletonSubstitution

public SingletonSubstitution(Variable var,
                             Term term)

Method Detail

getTerm

public Term getTerm()

getVariable

public Variable getVariable()

get

public Term get(Variable var)

Specified by:

get in interface Substitution

getMap

public com.google.common.collect.ImmutableMap<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

composeTerms

@Deprecated
public boolean composeTerms(Term term1,
                                        Term term2)

Deprecated.

Description copied from interface: Substitution

Creates a singleton substitution out of term1 and term2. Then, composes the current substitution with the latter. (remind that composition is not commutative). Note that the unifier 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

Returns:

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

composeFunctions

@Deprecated
public boolean composeFunctions(Function term1,
                                            Function term2)

Deprecated.

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