public class GenericTermReplacer
extends java.lang.Object
Term
replace visitor based on a filter predicate and a
replacement function for the filtered subterms.Constructor and Description |
---|
GenericTermReplacer() |
Modifier and Type | Method and Description |
---|---|
static Term |
replace(Term t,
java.util.function.Predicate<Term> filter,
java.util.function.Function<Term,Term> replacer,
Services services) |
Copyright © 2003-2019 The KeY-Project.