Uses of Class
fmrisc.ProofNavigator.Proving.AnswerBase

Packages that use AnswerBase

Package	Description
fmrisc.ProofNavigator.Proving
fmrisc.ProofNavigator.Proving.CVCL

Uses of AnswerBase in fmrisc.ProofNavigator.Proving

Subclasses of AnswerBase in fmrisc.ProofNavigator.Proving

Modifier and Type	Class and Description
class	InvalidAnswer Answer that formula is invalid.
class	UnknownAnswer Answer that truth of formula is unknown.
class	ValidAnswer Answer that formula is valid.

Uses of AnswerBase in fmrisc.ProofNavigator.Proving.CVCL

Subclasses of AnswerBase in fmrisc.ProofNavigator.Proving.CVCL

Modifier and Type	Class and Description
class	InvalidAnswerCVCL Answer that formula is invalid.