Uses of Class
org.episteme.core.mathematics.logic.proof.ProofStep

Packages that use ProofStep

Package	Description
org.episteme.core.mathematics.logic.proof

Uses of ProofStep in org.episteme.core.mathematics.logic.proof

Methods in org.episteme.core.mathematics.logic.proof that return ProofStep

Modifier and Type	Method	Description
ProofStep	Proof.getConclusion()	Returns the conclusion of the proof (the formula of the last step).

Methods in org.episteme.core.mathematics.logic.proof that return types with arguments of type ProofStep

Modifier and Type	Method	Description
List<ProofStep>	ProofStep.getPremises()
List<ProofStep>	Proof.getSteps()	Returns the list of steps in the proof.

Methods in org.episteme.core.mathematics.logic.proof with parameters of type ProofStep

Modifier and Type	Method	Description
void	Proof.addStep(ProofStep step)	Adds a step to the proof.

Constructor parameters in org.episteme.core.mathematics.logic.proof with type arguments of type ProofStep

Modifier	Constructor	Description
	ProofStep(Formula formula, String justification, List<ProofStep> premises)	Creates a new proof step.