fmrisc.Proving
Interface Answer

All Known Implementing Classes:
AnswerBase, InvalidAnswer, InvalidAnswerCVCL, UnknownAnswer, ValidAnswer

public interface Answer

Interface to prover answers.


Method Summary
 java.lang.String getJustification()
          Return justification of answer suitable for printing.
 

Method Detail

getJustification

java.lang.String getJustification()
Return justification of answer suitable for printing.

Returns:
textual justification of answer.