{-

Open Source Fixedpoint Model-Checker version 2009c

(C) Copyright IBM Corp. 2009
(C) Copyright ETH Zurich (Swiss Federal Institute of Technology) 2003,2007

All Rights Reserved.

-}

module Constants where

-- | The value of nodes in memory where we stop to search 
--   breadth-first and start depth-first.
--   FIX: should be adjusted ;-)
nodemax :: Int
nodemax = 5000 --- 1000000 

-- | The depth where we stop if the tree has infinite size.
depthbound :: Int
depthbound = 1000000

