public class ProofEvent extends Object
Modifier and Type | Field and Description |
---|---|
private RuleAppInfo |
ruleAppInfo |
private Proof |
source |
Constructor and Description |
---|
ProofEvent(Proof source)
creates a new proof event the interactive prover where the
event initially occured
|
ProofEvent(Proof source,
RuleAppInfo rai) |
Modifier and Type | Method and Description |
---|---|
RuleAppInfo |
getRuleAppInfo()
This information should have its own event, but is currently
propagated via this one
|
Proof |
getSource() |
private Proof source
private RuleAppInfo ruleAppInfo
public ProofEvent(Proof source)
source
- public ProofEvent(Proof source, RuleAppInfo rai)
public Proof getSource()
public RuleAppInfo getRuleAppInfo()