it.unibz.inf.ontop.model.term

Interface FunctionalTermSimplification

All Known Implementing Classes:

FunctionalTermSimplificationImpl

public interface FunctionalTermSimplification

Method Summary

Modifier and Type	Method and Description
static FunctionalTermSimplification	create(ImmutableTerm simplifiedTerm, it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable> simplifiableVariables)
it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable>	getSimplifiableVariables()
ImmutableTerm	getSimplifiedTerm()

Method Detail

getSimplifiedTerm

ImmutableTerm getSimplifiedTerm()

getSimplifiableVariables

it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable> getSimplifiableVariables()

create

static FunctionalTermSimplification create(ImmutableTerm simplifiedTerm,
                                           it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable> simplifiableVariables)