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

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

All Implemented Interfaces:

Existential, Reason

public class ExistentialVo
extends java.lang.Object
implements Existential

Usage of rule for existential generalization.

Author:

Michael Meyling

Constructor Summary

ExistentialVo()
Default constructor.

ExistentialVo(java.lang.String reference, Element subjectVariable)
Constructs an reason.

Method Summary

boolean	equals(java.lang.Object obj)
Existential	getExistential() Get this reason.
java.lang.String	getName() Get name for this reason.
java.lang.String	getReference() Get reference to formula.
java.lang.String[]	getReferences() Get references to previous formulas.
Element	getSubjectVariable() Get free subject variable we want to quantify over.
int	hashCode()
void	setReference(java.lang.String reference) Set formula reference.
void	setSubjectVariable(Element subjectVariable) Set quantification subject variable.
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

ExistentialVo

public ExistentialVo(java.lang.String reference,
                     Element subjectVariable)

Constructs an reason.

Parameters:

reference - Reference to a valid formula.

subjectVariable - Subject variable that we will quantify about.

ExistentialVo

public ExistentialVo()

Default constructor.

Method Detail

getExistential

public Existential getExistential()

Description copied from interface: Existential

Get this reason.

Specified by:

getExistential in interface Existential

Returns:

This reason.

getReference

public java.lang.String getReference()

Description copied from interface: Existential

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

Specified by:

getReference in interface Existential

Returns:

Reference to previously proved formula.

setReference

public void setReference(java.lang.String reference)

Set formula reference.

Parameters:

reference - 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.

getSubjectVariable

public Element getSubjectVariable()

Description copied from interface: Existential

Get free subject variable we want to quantify over.

Specified by:

getSubjectVariable in interface Existential

Returns:

Free subject variable.

setSubjectVariable

public void setSubjectVariable(Element subjectVariable)

Set quantification subject variable.

Parameters:

subjectVariable - Set free subject variable.

getName

public java.lang.String getName()

Description copied from interface: Reason

Get name for this reason.

Specified by:

getName in interface Reason

Returns:

Name.

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