org.qedeq.kernel.se.base.module
Interface Add

All Superinterfaces:

Reason

All Known Implementing Classes:

AddVo

public interface Add
extends Reason

Usage of addition of already proven formula.

    A
  ------
    A
 

Author:

Michael Meyling

Method Summary

Add	getAdd() Get this reason.
java.lang.String	getReference() Get reference to formula.

Methods inherited from interface org.qedeq.kernel.se.base.module.Reason

getName, getReferences

Method Detail

getAdd

Add getAdd()

Get this reason.

Returns:

This reason.

getReference

java.lang.String getReference()

Get reference to formula.

Returns:

Reference to previously proved formula.