Uses of Class
fmrisc.ProgramExplorer.Semantics.Environment

Packages that use Environment

Package	Description
fmrisc.ProgramExplorer.Semantics

Uses of Environment in fmrisc.ProgramExplorer.Semantics

Methods in fmrisc.ProgramExplorer.Semantics with parameters of type Environment

Modifier and Type	Method and Description
static LogicChecking	LogicChecking.createChecker(ClassSymbol csymbol, Environment penv, ErrorStream error) Create checker for processing logical entities in environment set up by the (already processed) local theory of a class.