it.unibz.inf.ontop.model.term.functionsymbol.db.impl

Class Nullifiers

java.lang.Object

it.unibz.inf.ontop.model.term.functionsymbol.db.impl.Nullifiers

public class Nullifiers
extends Object

TODO: find a better name

Constructor Summary

Constructors

Constructor and Description
Nullifiers()

Method Summary

Modifier and Type	Method and Description
static ImmutableTerm	nullify(ImmutableTerm term, ImmutableTerm termToReplaceByNull, TermFactory termFactory) Recursive

Methods inherited from class java.lang.Object

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

Constructor Detail

Nullifiers

public Nullifiers()

Method Detail

nullify

public static ImmutableTerm nullify(ImmutableTerm term,
                                    ImmutableTerm termToReplaceByNull,
                                    TermFactory termFactory)

Recursive