Package | Description |
---|---|
de.uka.ilkd.key.rule |
This package contains classes for implementing rules.
|
de.uka.ilkd.key.rule.tacletbuilder |
Modifier and Type | Method and Description |
---|---|
ImmutableList<NewDependingOn> |
Taclet.varsNewDependingOn() |
ImmutableList<NewDependingOn> |
TacletApplPart.varsNewDependingOn()
returns the list of variable pairs that represent the
"new depending on" relation of a Taclet
|
Constructor and Description |
---|
TacletApplPart(Sequent ifseq,
ImmutableList<NewVarcond> varsNew,
ImmutableList<NotFreeIn> varsNotFreeIn,
ImmutableList<NewDependingOn> varsNewDependingOn,
ImmutableList<VariableCondition> variableConditions)
constructs a new TacletApplPart object with the given Sequent,
a list of variables that are new, a list of variable pairs that
represent the NotFreeIn relation and a list of additional
generic variable conditions.
|
Modifier and Type | Field and Description |
---|---|
protected ImmutableList<NewDependingOn> |
TacletBuilder.varsNewDependingOn |
Copyright © 2003-2019 The KeY-Project.