ProofMacroFinishedInfo |
ProofMacro.applyTo(UserInterfaceControl uic,
Node node,
PosInOccurrence posInOcc,
ProverTaskListener listener)
Apply this macro on the given node.
|
ProofMacroFinishedInfo |
AbstractProofMacro.applyTo(UserInterfaceControl uic,
Node node,
PosInOccurrence posInOcc,
ProverTaskListener listener) |
ProofMacroFinishedInfo |
FinishSymbolicExecutionUntilMergePointMacro.applyTo(UserInterfaceControl uic,
Proof proof,
ImmutableList<Goal> goals,
PosInOccurrence posInOcc,
ProverTaskListener listener) |
ProofMacroFinishedInfo |
SequentialOnLastGoalProofMacro.applyTo(UserInterfaceControl uic,
Proof proof,
ImmutableList<Goal> goals,
PosInOccurrence posInOcc,
ProverTaskListener listener)
Apply this macro on the given goals.
|
ProofMacroFinishedInfo |
SequentialProofMacro.applyTo(UserInterfaceControl uic,
Proof proof,
ImmutableList<Goal> goals,
PosInOccurrence posInOcc,
ProverTaskListener listener)
Apply this macro on the given goals.
|
ProofMacroFinishedInfo |
ProofMacro.applyTo(UserInterfaceControl uic,
Proof proof,
ImmutableList<Goal> goals,
PosInOccurrence posInOcc,
ProverTaskListener listener)
Apply this macro on the given goals.
|
ProofMacroFinishedInfo |
AlternativeMacro.applyTo(UserInterfaceControl uic,
Proof proof,
ImmutableList<Goal> goals,
PosInOccurrence posInOcc,
ProverTaskListener listener)
Apply this macro on the given goals.
|
ProofMacroFinishedInfo |
TryCloseMacro.applyTo(UserInterfaceControl uic,
Proof proof,
ImmutableList<Goal> goals,
PosInOccurrence posInOcc,
ProverTaskListener listener) |
ProofMacroFinishedInfo |
StrategyProofMacro.applyTo(UserInterfaceControl uic,
Proof proof,
ImmutableList<Goal> goals,
PosInOccurrence posInOcc,
ProverTaskListener listener) |
ProofMacroFinishedInfo |
DoWhileFinallyMacro.applyTo(UserInterfaceControl uic,
Proof proof,
ImmutableList<Goal> goals,
PosInOccurrence posInOcc,
ProverTaskListener listener) |
ProofMacroFinishedInfo |
AbstractBlastingMacro.applyTo(UserInterfaceControl uic,
Proof proof,
ImmutableList<Goal> goals,
PosInOccurrence posInOcc,
ProverTaskListener listener) |
ProofMacroFinishedInfo |
SkipMacro.applyTo(UserInterfaceControl uic,
Proof proof,
ImmutableList<Goal> goals,
PosInOccurrence posInOcc,
ProverTaskListener listener) |
static ProofMacroFinishedInfo |
ProofMacroFinishedInfo.getDefaultInfo(ProofMacro macro,
Proof proof) |