Constructors
Constructor and Description |
ProofMacroFinishedInfo(ProofMacroFinishedInfo info,
ApplyStrategyInfo stratInfo) |
ProofMacroFinishedInfo(ProofMacroFinishedInfo info,
ApplyStrategyInfo stratInfo,
ImmutableList<Goal> goals) |
ProofMacroFinishedInfo(ProofMacro macro,
Goal goal) |
ProofMacroFinishedInfo(ProofMacro macro,
Goal goal,
Proof proof) |
ProofMacroFinishedInfo(ProofMacro macro,
Goal goal,
Proof proof,
long time,
int appliedRules,
int closedGoals) |
ProofMacroFinishedInfo(ProofMacro macro,
Goal goal,
Proof proof,
Statistics statistics) |
ProofMacroFinishedInfo(ProofMacro macro,
ImmutableList<Goal> goals) |
ProofMacroFinishedInfo(ProofMacro macro,
ImmutableList<Goal> goals,
Proof proof,
boolean cancelled) |
ProofMacroFinishedInfo(ProofMacro macro,
ImmutableList<Goal> goals,
Proof proof,
long time,
int appliedRules,
int closedGoals,
boolean cancelled) |
ProofMacroFinishedInfo(ProofMacro macro,
ImmutableList<Goal> goals,
Proof proof,
Statistics statistics) |
ProofMacroFinishedInfo(ProofMacro macro,
Proof proof) |
ProofMacroFinishedInfo(ProofMacro macro,
Proof proof,
boolean cancelled) |
ProofMacroFinishedInfo(ProofMacro macro,
ProofMacroFinishedInfo info) |
ProofMacroFinishedInfo(ProofMacro macro,
ProofMacroFinishedInfo info,
ImmutableList<Goal> goals) |