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

All Known Subinterfaces:

Add, ConditionalProof, Existential, ModusPonens, Rename, SubstFree, SubstFunc, SubstPred, Universal

All Known Implementing Classes:

AddVo, ConditionalProofVo, ExistentialVo, ModusPonensBo, ModusPonensVo, RenameVo, SubstFreeVo, SubstFuncVo, SubstPredBo, SubstPredVo, UniversalVo

public interface Reason

Usage of a rule of interference.

Author:

Michael Meyling

Method Summary

java.lang.String	getName() Get name for this reason.
java.lang.String[]	getReferences() Get references to previous formulas.

Method Detail

getName

java.lang.String getName()

Get name for this reason.

Returns:

Name.

getReferences

java.lang.String[] getReferences()

Get references to previous formulas.

Returns:

List of references. Contains no entries with value null.