public class OpReplacer
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
private java.util.Map<? extends SVSubstitute,? extends SVSubstitute> |
map |
private TermFactory |
tf |
Constructor and Description |
---|
OpReplacer(java.util.Map<? extends SVSubstitute,? extends SVSubstitute> map,
TermFactory tf) |
Modifier and Type | Method and Description |
---|---|
ImmutableArray<QuantifiableVariable> |
replace(ImmutableArray<QuantifiableVariable> vars)
Replaces in an ImmutableArray
|
ImmutableList<Term> |
replace(ImmutableList<Term> terms)
Replaces in a list of terms.
|
ImmutableSet<Term> |
replace(ImmutableSet<Term> terms)
Replaces in a set of terms.
|
java.util.Map<Operator,Term> |
replace(java.util.Map<Operator,Term> myMap)
Replaces in a map from Operator to Term.
|
Operator |
replace(Operator op)
Replaces in an operator.
|
static Term |
replace(Operator toReplace,
Operator with,
Term in,
TermFactory tf) |
Term |
replace(Term term)
Replaces in a term.
|
static ImmutableList<Term> |
replace(Term toReplace,
Term with,
ImmutableList<Term> in,
TermFactory tf) |
static Term |
replace(Term toReplace,
Term with,
Term in,
TermFactory tf) |
ImmutableList<InfFlowSpec> |
replaceInfFlowSpec(ImmutableList<InfFlowSpec> terms)
Replaces in a list of triples of lists of terms.
|
private TermFactory tf
private final java.util.Map<? extends SVSubstitute,? extends SVSubstitute> map
public OpReplacer(java.util.Map<? extends SVSubstitute,? extends SVSubstitute> map, TermFactory tf)
map
- mapping from the operators/terms to be replaced to the ones to
replace them withtf
- TODOservices
- TODOpublic static Term replace(Term toReplace, Term with, Term in, TermFactory tf)
public static ImmutableList<Term> replace(Term toReplace, Term with, ImmutableList<Term> in, TermFactory tf)
public static Term replace(Operator toReplace, Operator with, Term in, TermFactory tf)
public ImmutableList<Term> replace(ImmutableList<Term> terms)
public ImmutableList<InfFlowSpec> replaceInfFlowSpec(ImmutableList<InfFlowSpec> terms)
public ImmutableSet<Term> replace(ImmutableSet<Term> terms)
public java.util.Map<Operator,Term> replace(java.util.Map<Operator,Term> myMap)
public ImmutableArray<QuantifiableVariable> replace(ImmutableArray<QuantifiableVariable> vars)