org.qedeq.kernel.se.dto.module
Class FormalProofLineVo

java.lang.Object
  org.qedeq.kernel.se.dto.module.FormalProofLineVo

All Implemented Interfaces:

FormalProofLine

public class FormalProofLineVo
extends java.lang.Object
implements FormalProofLine

Contains a formal proof for a proposition.

Author:

Michael Meyling

Constructor Summary

FormalProofLineVo()
Default constructor.

FormalProofLineVo(Formula formula, Reason reason)
Constructs an proof line.

FormalProofLineVo(java.lang.String label, Formula formula, Reason reason)
Constructs an proof line.

Method Summary

boolean	equals(java.lang.Object obj)
Formula	getFormula() Get formula for this line.
java.lang.String	getLabel() Get label for this proof line.
Reason	getReason() Get reason for deriving this line.
int	hashCode()
void	setFormula(Formula formula) Set proof line formula.
void	setLabel(java.lang.String label) Set label for proof line.
void	setReason(Reason reason) Set reason type for proof line.
java.lang.String	toString()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

FormalProofLineVo

public FormalProofLineVo(Formula formula,
                         Reason reason)

Constructs an proof line.

Parameters:

formula - New derived formula.

reason - Rule that was used to derive the formula.

FormalProofLineVo

public FormalProofLineVo(java.lang.String label,
                         Formula formula,
                         Reason reason)

Constructs an proof line.

Parameters:

label - Label for back references. Might be null.

formula - New derived formula.

reason - Rule that was used to derive the formula.

FormalProofLineVo

public FormalProofLineVo()

Default constructor.

Method Detail

getFormula

public Formula getFormula()

Description copied from interface: FormalProofLine

Get formula for this line.

Specified by:

getFormula in interface FormalProofLine

Returns:

Formula.

setFormula

public void setFormula(Formula formula)

Set proof line formula.

Parameters:

formula - Set formula.

getLabel

public java.lang.String getLabel()

Description copied from interface: FormalProofLine

Get label for this proof line. Used for back references.

Specified by:

getLabel in interface FormalProofLine

Returns:

Label.

setLabel

public void setLabel(java.lang.String label)

Set label for proof line.

Parameters:

label - Set this label.

getReason

public Reason getReason()

Description copied from interface: FormalProofLine

Get reason for deriving this line.

Specified by:

getReason in interface FormalProofLine

Returns:

Reason.

setReason

public void setReason(Reason reason)

Set reason type for proof line.

Parameters:

reason - Set this reason type.

equals

public boolean equals(java.lang.Object obj)

Overrides:

equals in class java.lang.Object

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object