fmrisc.ProofNavigator.Proving

Class ValidAnswer

java.lang.Object

fmrisc.ProofNavigator.Proving.AnswerBase

fmrisc.ProofNavigator.Proving.ValidAnswer

All Implemented Interfaces:

Answer

public final class ValidAnswer
extends AnswerBase

Answer that formula is valid.

Constructor Summary

Constructors

Constructor and Description
ValidAnswer(java.lang.String justification) Create answer that formula is valid 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

ValidAnswer

public ValidAnswer(java.lang.String justification)

Create answer that formula is valid with denoted justification.

Parameters:

justification - why is formula invalid.