{-

Open Source Fixedpoint Model-Checker version 2009c

(C) Copyright IBM Corp. 2009

All Rights Reserved.

-}

module AnBOnP
where

data OutputType = Internal | Pretty | AST | IF | FP | FPI --- iterative for debugging
     		| Isa | HLPSL | Amphibian deriving (Eq,Show)

data Authlevel = Strong | Weak | HWeak 
     	       	 deriving (Eq,Show)

data AnBOptsAndPars = 
                AnBOnP { anbfilename  :: String,
		         theory    :: Maybe String,
			 anboutput    :: Maybe String,
			 numSess   :: Maybe Int,
			 outt      :: OutputType,
			 typed     :: Bool,
			 iterateFP :: Int,
			 authlevel :: Authlevel
                       }


