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

Class ImmutabilityTools

java.lang.Object

it.unibz.inf.ontop.model.term.impl.ImmutabilityTools

public class ImmutabilityTools
extends Object

Constructor Summary

Constructors

Constructor and Description
ImmutabilityTools(TermFactory termFactory) TODO: make it private

Method Summary

Modifier and Type	Method and Description
ImmutableTerm	convertIntoImmutableTerm(Term term) In case the term is functional, creates an immutable copy of it.
static VariableOrGroundTerm	convertIntoVariableOrGroundTerm(ImmutableTerm term)
VariableOrGroundTerm	convertIntoVariableOrGroundTerm(Term term)
Expression	convertToMutableBooleanExpression(ImmutableExpression booleanExpression) This method takes a immutable boolean term and convert it into an old mutable boolean function.
Function	convertToMutableFunction(DataAtom dataAtom)
Function	convertToMutableFunction(ImmutableFunctionalTerm functionalTerm) This method takes a immutable term and convert it into an old mutable function.
Function	convertToMutableFunction(Predicate predicateOrFunctionSymbol, com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms)
Term	convertToMutableTerm(ImmutableTerm term)
com.google.common.collect.ImmutableSet<ImmutableExpression>	discardVar2VarEqualityConjuncts(ImmutableExpression expression)
com.google.common.collect.ImmutableSet<ImmutableExpression>	retainVar2VarEqualityConjuncts(ImmutableExpression expression)

Methods inherited from class java.lang.Object

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

Constructor Detail

ImmutabilityTools

@Inject
public ImmutabilityTools(TermFactory termFactory)

TODO: make it private

Method Detail

convertIntoImmutableTerm

public ImmutableTerm convertIntoImmutableTerm(Term term)

In case the term is functional, creates an immutable copy of it.

convertIntoVariableOrGroundTerm

public VariableOrGroundTerm convertIntoVariableOrGroundTerm(Term term)

convertIntoVariableOrGroundTerm

public static VariableOrGroundTerm convertIntoVariableOrGroundTerm(ImmutableTerm term)

convertToMutableFunction

public Function convertToMutableFunction(ImmutableFunctionalTerm functionalTerm)

This method takes a immutable term and convert it into an old mutable function.

convertToMutableFunction

public Function convertToMutableFunction(DataAtom dataAtom)

convertToMutableFunction

public Function convertToMutableFunction(Predicate predicateOrFunctionSymbol,
                                         com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms)

convertToMutableTerm

public Term convertToMutableTerm(ImmutableTerm term)

convertToMutableBooleanExpression

public Expression convertToMutableBooleanExpression(ImmutableExpression booleanExpression)

This method takes a immutable boolean term and convert it into an old mutable boolean function.

retainVar2VarEqualityConjuncts

public com.google.common.collect.ImmutableSet<ImmutableExpression> retainVar2VarEqualityConjuncts(ImmutableExpression expression)

discardVar2VarEqualityConjuncts

public com.google.common.collect.ImmutableSet<ImmutableExpression> discardVar2VarEqualityConjuncts(ImmutableExpression expression)