tct-2.0.1: A Complexity Analyser for Term Rewrite Systems

Portabilityunportable
Stabilityunstable
MaintainerMartin Avanzini <martin.avanzini@uibk.ac.at>
Safe HaskellSafe-Infered

Tct.Method.Timeout

Description

This module provides processors that may timeout.

Synopsis

Documentation

timeout :: Processor p => Int -> InstanceOf p -> ProcessorInstance (Timeout p)

timeout sec t aborts processor t after sec seconds.

data TOProof p

Constructors

TimedOut Int 
TOProof Int (ProofOf p) 

data Timeout p

Instances