fmrisc.ProofNavigator.Proving

Class UnknownAnswer

java.lang.Object

fmrisc.ProofNavigator.Proving.AnswerBase

fmrisc.ProofNavigator.Proving.UnknownAnswer

All Implemented Interfaces:

Answer

public final class UnknownAnswer
extends AnswerBase

Answer that truth of formula is unknown.

Constructor Summary

Constructors

Constructor and Description
UnknownAnswer(java.lang.String justification) Create answer that truth of formula is unknown with denoted justification.

Method Summary

Methods inherited from class fmrisc.ProofNavigator.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.