Class Proof

java.lang.Object

org.episteme.core.mathematics.logic.proof.Proof

public class Proof
extends Object

Represents a formal proof consisting of a sequence of steps.

Since:

1.0

Author:

Silvere Martin-Michiellot, Gemini AI (Google DeepMind)

Constructor Summary

Constructors

Constructor	Description
Proof()

Method Summary

Modifier and Type	Method	Description
void	addStep(ProofStep step)	Adds a step to the proof.
ProofStep	getConclusion()	Returns the conclusion of the proof (the formula of the last step).
List<ProofStep>	getSteps()	Returns the list of steps in the proof.

Methods inherited from class Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

Proof

public Proof()

Method Details

addStep

public void addStep(ProofStep step)

Adds a step to the proof.

Parameters:

step - the step to add

getSteps

public List<ProofStep> getSteps()

Returns the list of steps in the proof.

Returns:

unmodifiable list of steps

getConclusion

public ProofStep getConclusion()

Returns the conclusion of the proof (the formula of the last step).

Returns:

the conclusion, or null if the proof is empty