Copyright | (c) 2011 National Institute of Aerospace / Galois Inc. |
---|---|
Safe Haskell | Safe-Inferred |
Language | Haskell2010 |
This is a convenience module that re-exports a useful subset of modules from
copilot-library
. Not all modules are exported due to name clashes (e.g.,
in temporal logics implementations).
Documentation
module Copilot.Library.Clocks
module Copilot.Library.LTL
module Copilot.Library.PTLTL
module Copilot.Library.Statistics
module Copilot.Library.RegExp
module Copilot.Library.Utils
module Copilot.Library.Voting
module Copilot.Library.Stacks