public final class ProgVarReplacer
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
private java.util.Map<ProgramVariable,ProgramVariable> |
map
map specifying the replacements to be done
|
private Services |
services
The services object
|
Constructor and Description |
---|
ProgVarReplacer(java.util.Map<ProgramVariable,ProgramVariable> map,
Services services)
creates a ProgVarReplacer that replaces program variables as specified
by the map parameter
|
Modifier and Type | Method and Description |
---|---|
static void |
mergeSemiCIs(SemisequentChangeInfo base,
SemisequentChangeInfo next,
int idx)
merges "next" into "base"
precondition:
"next" is the result of replacing in "base" the formula at position
"idx" by calling Semisequent.replace()
(this implies that "next" contains exactly one removed and one added
formula)
|
ImmutableSet<IProgramVariable> |
replace(ImmutableSet<IProgramVariable> vars)
replaces in a set
|
ProgramElement |
replace(ProgramElement pe)
replaces in a statement
|
SemisequentChangeInfo |
replace(Semisequent s)
replaces in a semisequent
|
SequentChangeInfo |
replace(Sequent s)
replaces in a sequent
|
SequentFormula |
replace(SequentFormula cf)
replaces in a constrained formula
|
SVInstantiations |
replace(SVInstantiations insts)
replaces in an SVInstantiations
|
void |
replace(TacletIndex tacletIndex)
replaces in the partially instantiated apps of a taclet index
|
Term |
replace(Term t)
replaces in a term
|
private Term |
replaceProgramVariable(Term t) |
private Term |
standardReplace(Term t) |
private final java.util.Map<ProgramVariable,ProgramVariable> map
private final Services services
public ProgVarReplacer(java.util.Map<ProgramVariable,ProgramVariable> map, Services services)
public static void mergeSemiCIs(SemisequentChangeInfo base, SemisequentChangeInfo next, int idx)
public ImmutableSet<IProgramVariable> replace(ImmutableSet<IProgramVariable> vars)
public void replace(TacletIndex tacletIndex)
public SVInstantiations replace(SVInstantiations insts)
public SequentChangeInfo replace(Sequent s)
public SemisequentChangeInfo replace(Semisequent s)
public SequentFormula replace(SequentFormula cf)
public ProgramElement replace(ProgramElement pe)