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

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

All Implemented Interfaces:

ModusPonens, Reason

public class ModusPonensVo
extends java.lang.Object
implements ModusPonens

Modes Ponens usage.

Author:

Michael Meyling

Constructor Summary

ModusPonensVo()
Default constructor.

ModusPonensVo(java.lang.String reference1, java.lang.String reference2)
Constructs a Modus Ponens argument.

Method Summary

boolean	equals(java.lang.Object obj)
ModusPonens	getModusPonens() Get this reason.
java.lang.String	getName() Get name for this reason.
java.lang.String	getReference1() Get reference to formula.
java.lang.String	getReference2() Get reference to formula.
java.lang.String[]	getReferences() Get references to previous formulas.
int	hashCode()
void	setReference1(java.lang.String reference1) Set first formula reference.
void	setReference2(java.lang.String reference2) Set second formula reference.
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

ModusPonensVo

public ModusPonensVo(java.lang.String reference1,
                     java.lang.String reference2)

Constructs a Modus Ponens argument.

Parameters:

reference1 - Usually reference to a formula like A -> B. Might be null.

reference2 - Usually reference to a formula like A. Might be null.

ModusPonensVo

public ModusPonensVo()

Default constructor.

Method Detail

getModusPonens

public ModusPonens getModusPonens()

Description copied from interface: ModusPonens

Get this reason.

Specified by:

getModusPonens in interface ModusPonens

Returns:

This reason.

getReference1

public java.lang.String getReference1()

Description copied from interface: ModusPonens

Get reference to formula. Usually this a formula of type A -> B

Specified by:

getReference1 in interface ModusPonens

Returns:

Reference to previously proved formula.

setReference1

public void setReference1(java.lang.String reference1)

Set first formula reference.

Parameters:

reference1 - Reference to formula. Might be null.

getReference2

public java.lang.String getReference2()

Description copied from interface: ModusPonens

Get reference to formula. Usually this a formula of type A

Specified by:

getReference2 in interface ModusPonens

Returns:

Reference to previously proved formula.

setReference2

public void setReference2(java.lang.String reference2)

Set second formula reference.

Parameters:

reference2 - Reference to formula. Might be null.

getReferences

public java.lang.String[] getReferences()

Description copied from interface: Reason

Get references to previous formulas.

Specified by:

getReferences in interface Reason

Returns:

List of references. Contains no entries with value null.

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

getName

public java.lang.String getName()

Description copied from interface: Reason

Get name for this reason.

Specified by:

getName in interface Reason

Returns:

Name.