Exported names: Imported modules:

Module XFD.SMTLib.Scanner

This module implements a scanner for reading programs and formulas in the SMT-LIB2 syntax.

Summary of exported operations:

scan
                  :: String -> [Token]

Exported datatypes:

Token

Constructors:

Id :: String -> Token
Number :: Int -> Token
Str :: String -> Token
LParen :: Token
RParen :: Token
OP_Minus :: Token
KW_sat :: Token
KW_unsat :: Token
KW_unknown :: Token
KW_model :: Token
KW_defineFun :: Token
KW_error :: Token
EOF :: Token

Exported operations:

scan :: String -> [Token]