Uses of Interface
fmrisc.ProofNavigator.Proving.Answer

Packages that use Answer

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

Uses of Answer in fmrisc.ProofNavigator.Proving

Classes in fmrisc.ProofNavigator.Proving that implement Answer

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

Methods in fmrisc.ProofNavigator.Proving that return Answer

Modifier and Type	Method and Description
Answer	Prover.queryFormula(Expression formula) query truth of formula.

Uses of Answer in fmrisc.ProofNavigator.Proving.CVCL

Classes in fmrisc.ProofNavigator.Proving.CVCL that implement Answer

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

Methods in fmrisc.ProofNavigator.Proving.CVCL that return Answer

Modifier and Type	Method and Description
Answer	CVCL.queryFormula(Expression formula) Query truth of formula.