Uses of Class
fmrisc.ProgramExplorer.Judgements.Simplification.Tag

Packages that use Simplification.Tag

Package	Description
fmrisc.ProgramExplorer.Judgements

Uses of Simplification.Tag in fmrisc.ProgramExplorer.Judgements

Methods in fmrisc.ProgramExplorer.Judgements that return Simplification.Tag

Modifier and Type	Method and Description
static Simplification.Tag	Simplification.Tag.valueOf(java.lang.String name) Returns the enum constant of this type with the specified name.
static Simplification.Tag[]	Simplification.Tag.values() Returns an array containing the constants of this enum type, in the order they are declared.

Methods in fmrisc.ProgramExplorer.Judgements with parameters of type Simplification.Tag

Modifier and Type	Method and Description
static void	Simplification.collect(Simplification.Tag tag, Formula formula, java.util.Collection<Formula> result) Decompose formula into subformulas if it is of denoted formula type.