Constructors
Constructor and Description |
ProofMacroFinishedInfo(ProofMacroFinishedInfo info,
ApplyStrategy.ApplyStrategyInfo stratInfo) |
ProofMacroFinishedInfo(ProofMacroFinishedInfo info,
ApplyStrategy.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) |
ProofMacroFinishedInfo(ProofMacro macro,
ImmutableList<Goal> goals,
Proof proof,
long time,
int appliedRules,
int closedGoals) |
ProofMacroFinishedInfo(ProofMacro macro,
ImmutableList<Goal> goals,
Proof proof,
Statistics statistics) |
ProofMacroFinishedInfo(ProofMacro macro,
Proof proof) |
ProofMacroFinishedInfo(ProofMacro macro,
ProofMacroFinishedInfo info) |
ProofMacroFinishedInfo(ProofMacro macro,
ProofMacroFinishedInfo info,
ImmutableList<Goal> goals) |