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

Class FunctionalTermSimplificationImpl

java.lang.Object

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

All Implemented Interfaces:

FunctionalTermSimplification

public class FunctionalTermSimplificationImpl
extends Object
implements FunctionalTermSimplification

Constructor Summary

Constructors

Constructor and Description
FunctionalTermSimplificationImpl(ImmutableTerm simplifiedTerm, com.google.common.collect.ImmutableSet<Variable> simplifiableVariables)

Method Summary

Modifier and Type	Method and Description
com.google.common.collect.ImmutableSet<Variable>	getSimplifiableVariables()
ImmutableTerm	getSimplifiedTerm()

Methods inherited from class java.lang.Object

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

Methods inherited from interface it.unibz.inf.ontop.model.term.FunctionalTermSimplification

create

Constructor Detail

FunctionalTermSimplificationImpl

public FunctionalTermSimplificationImpl(ImmutableTerm simplifiedTerm,
                                        com.google.common.collect.ImmutableSet<Variable> simplifiableVariables)

Method Detail

getSimplifiedTerm

public ImmutableTerm getSimplifiedTerm()

Specified by:

getSimplifiedTerm in interface FunctionalTermSimplification

getSimplifiableVariables

public com.google.common.collect.ImmutableSet<Variable> getSimplifiableVariables()

Specified by:

getSimplifiableVariables in interface FunctionalTermSimplification