fmrisc.Proving
Class ValidAnswer

java.lang.Object
  fmrisc.Proving.AnswerBase
      fmrisc.Proving.ValidAnswer

All Implemented Interfaces:

Answer

public final class ValidAnswer
extends AnswerBase

Answer that formula is valid.

Constructor Summary

ValidAnswer(java.lang.String justification)
Create answer that formula is valid with denoted justification.

Method Summary

Methods inherited from class fmrisc.Proving.AnswerBase

getJustification

Methods inherited from class java.lang.Object

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

Constructor Detail

ValidAnswer

public ValidAnswer(java.lang.String justification)

Create answer that formula is valid with denoted justification.

Parameters:

justification - why is formula invalid.