copilot-sbv-2.2.1: A compiler for CoPilot targeting SBV.

Safe HaskellNone
LanguageHaskell2010

Copilot.Compile.SBV.Code

Documentation

updateStates :: MetaTable -> Spec -> [SBVFunc] Source #

updateObservers :: MetaTable -> Spec -> [SBVFunc] Source #

fireTriggers :: MetaTable -> Spec -> [SBVFunc] Source #

getExtArrs :: MetaTable -> [SBVFunc] Source #

getExtFuns :: MetaTable -> [SBVFunc] Source #