Package | Description |
---|---|
de.uka.ilkd.key.proof |
This package contains the core data structures of proofs, nodes, goals, as well
as machinery to deal with these data structures.
|
de.uka.ilkd.key.proof.proofevent |
Modifier and Type | Method and Description |
---|---|
RuleAppInfo |
ProofEvent.getRuleAppInfo()
This information should have its own event, but is currently propagated via
this one
|
Constructor and Description |
---|
ProofEvent(Proof source,
RuleAppInfo rai,
ImmutableList<Goal> newGoals)
creates a proof event for a change triggered by a rule applications
|
Modifier and Type | Method and Description |
---|---|
RuleAppInfo |
NodeChangeJournal.getRuleAppInfo(RuleApp p_ruleApp)
Create an RuleAppInfo object containing all changes stored
within this object; remove all listeners
|
Copyright © 2003-2019 The KeY-Project.