Portability | unportable |
---|---|
Stability | unstable |
Maintainer | Martin Avanzini <martin.avanzini@uibk.ac.at> |
Safe Haskell | Safe-Infered |
This module provides processors that may timeout.
- timeout :: Processor p => Int -> InstanceOf p -> ProcessorInstance (Timeout p)
- timeoutProcessor :: StdProcessor (Timeout AnyProcessor)
- data TOProof p
- data Timeout p
Documentation
timeout :: Processor p => Int -> InstanceOf p -> ProcessorInstance (Timeout p)
timeout sec t
aborts processor t
after sec
seconds.
data TOProof p
ComplexityProof (ProofOf p) => ComplexityProof (TOProof p) |