Uses of Interface
fmrisc.Proving.Answer

Packages that use Answer

fmrisc.Proving
fmrisc.Proving.CVCL

Uses of Answer in fmrisc.Proving

Classes in fmrisc.Proving that implement Answer

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.Proving that return Answer

Answer

Prover.queryFormula(Expression formula) query truth of formula.

Uses of Answer in fmrisc.Proving.CVCL

Classes in fmrisc.Proving.CVCL that implement Answer

class

InvalidAnswerCVCL Answer that formula is invalid.

Methods in fmrisc.Proving.CVCL that return Answer

Answer

CVCL.queryFormula(Expression formula) Query truth of formula.