org.qedeq.kernel.bo.logic.proof.finder
Class ModusPonensBo

java.lang.Object
  org.qedeq.kernel.bo.logic.proof.finder.ModusPonensBo

All Implemented Interfaces:

ModusPonens, Reason

public class ModusPonensBo
extends java.lang.Object
implements ModusPonens

Modes Ponens usage.

Author:

Michael Meyling

Constructor Summary

ModusPonensBo(int n1, int n2)
Constructs a Modus Ponens argument.

Method Summary

boolean	equals(java.lang.Object obj)
int[]	getLines() Get references to previous lines.
ModusPonens	getModusPonens() Get this reason.
int	getN1() Get first formula reference.
int	getN2() Get second formula reference.
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	setN1(int n1) Set first formula reference.
void	setN2(int n2) 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

ModusPonensBo

public ModusPonensBo(int n1,
                     int n2)

Constructs a Modus Ponens argument.

Parameters:

n1 - Usually reference to a formula like A -> B.

n2 - Usually reference to a formula like A.

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.

setN1

public void setN1(int n1)

Set first formula reference.

Parameters:

n1 - Reference to formula.

getN1

public int getN1()

Get first formula reference.

Returns:

Reference to formula.

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.

setN2

public void setN2(int n2)

Set second formula reference.

Parameters:

n2 - Reference to formula.

getN2

public int getN2()

Get second formula reference.

Returns:

Reference to formula.

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.

getLines

public int[] getLines()

Get references to previous lines.

Returns:

List of references.

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.