Portability | unportable |
---|---|
Stability | unstable |
Maintainer | Martin Avanzini <martin.avanzini@uibk.ac.at>, Andreas Schnabl <andreas.schnabl@uibk.ac.at> |
Safe Haskell | Safe-Infered |
This module implements the bounds processor.
- bounds :: InitialAutomaton -> Enrichment -> ProcessorInstance Bounds
- data InitialAutomaton
- data Enrichment
- data Bounds
- boundsProcessor :: StdProcessor Bounds
- data BoundsProof = BP Enrichment (Maybe BoundsCertificate)
- data BoundsCertificate = BoundsCertificate {}
Documentation
bounds :: InitialAutomaton -> Enrichment -> ProcessorInstance Bounds
This processor implements the bounds technique.
data InitialAutomaton
This datatype represents the initial automaton employed.
data Enrichment
This datatype represents the enrichment employed.
Processor
Proof Object
data BoundsCertificate