public interface FunctionalTermSimplification
| Modifier and Type | Method and Description |
|---|---|
static FunctionalTermSimplification |
create(ImmutableTerm simplifiedTerm,
com.google.common.collect.ImmutableSet<Variable> simplifiableVariables) |
com.google.common.collect.ImmutableSet<Variable> |
getSimplifiableVariables() |
ImmutableTerm |
getSimplifiedTerm() |
ImmutableTerm getSimplifiedTerm()
com.google.common.collect.ImmutableSet<Variable> getSimplifiableVariables()
static FunctionalTermSimplification create(ImmutableTerm simplifiedTerm, com.google.common.collect.ImmutableSet<Variable> simplifiableVariables)
Copyright © 2009–2020 Free University of Bozen-Bolzano. All rights reserved.