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

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

All Implemented Interfaces:

Reason, Universal

public class UniversalVo
extends java.lang.Object
implements Universal

Usage of rule for universal generalization. Rule of universal generalization.

   A -> B(x)
  -------------------
   A -> forall x  B(x)
 

Author:

Michael Meyling

Constructor Summary

UniversalVo()
Default constructor.

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

Method Summary

boolean	equals(java.lang.Object obj)
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.
Universal	getUniversal() Get this reason.
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

UniversalVo

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

Constructs an reason.

Parameters:

reference - Reference to a valid formula.

subjectVariable - Subject variable that we will quantify about.

UniversalVo

public UniversalVo()

Default constructor.

Method Detail

getUniversal

public Universal getUniversal()

Description copied from interface: Universal

Get this reason.

Specified by:

getUniversal in interface Universal

Returns:

This reason.

getReference

public java.lang.String getReference()

Description copied from interface: Universal

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

Specified by:

getReference in interface Universal

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: Universal

Get free subject variable we want to quantify over.

Specified by:

getSubjectVariable in interface Universal

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