Uses of Class
fmrisc.ProofNavigator.Proving.CVCL.CVCLFormulaMask

Packages that use CVCLFormulaMask

Package	Description
fmrisc.ProofNavigator

Uses of CVCLFormulaMask in fmrisc.ProofNavigator

Methods in fmrisc.ProofNavigator that return CVCLFormulaMask

Modifier and Type	Method and Description
static CVCLFormulaMask	State.getFormulaMask() Get formula mask.

Methods in fmrisc.ProofNavigator with parameters of type CVCLFormulaMask

Modifier and Type	Method and Description
static void	State.setFormulaMask(CVCLFormulaMask mask) Set formula mask.