fmrisc.Proving
Class UnknownAnswer

java.lang.Object
  fmrisc.Proving.AnswerBase
      fmrisc.Proving.UnknownAnswer

All Implemented Interfaces:

Answer

public final class UnknownAnswer
extends AnswerBase

Answer that truth of formula is unknown.

Constructor Summary

UnknownAnswer(java.lang.String justification)
Create answer that truth of formula is unknown 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

UnknownAnswer

public UnknownAnswer(java.lang.String justification)

Create answer that truth of formula is unknown with denoted justification.

Parameters:

justification - justification why answer is unknown.