fmrisc.ProofNavigator.Proving

Class AnswerBase

java.lang.Object

fmrisc.ProofNavigator.Proving.AnswerBase

All Implemented Interfaces:

Answer

Direct Known Subclasses:

InvalidAnswer, UnknownAnswer, ValidAnswer

public abstract class AnswerBase
extends java.lang.Object
implements Answer

Base class of prover answers.

Constructor Summary

Constructors

Constructor and Description
AnswerBase(java.lang.String justification) Create answer with denoted justification.

Method Summary

Methods

Modifier and Type	Method and Description
java.lang.String	getJustification() Return justification of answer suitable for printing.

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

AnswerBase

public AnswerBase(java.lang.String justification)

Create answer with denoted justification.

Parameters:

justification - of answer.

Method Detail

getJustification

public java.lang.String getJustification()

Return justification of answer suitable for printing.

Specified by:

getJustification in interface Answer

Returns:

textual justification of answer