Module Dimacs.Scanner

This module defines a simple scanner for the output of a DIMACS solver.

Author: Sven Hueser

Version: July 2021

Summary of exported operations:

keywords :: [(String,Token)]  Deterministic 
keyword :: String -> Token  Deterministic 
scan :: String -> [Token]  Deterministic 
scanKeyword :: String -> [Token]  Deterministic 
scanNum :: String -> [Token]  Deterministic 

Exported datatypes:

Token

Constructors:

  • KW_sat :: Token
  • KW_unsat :: Token
  • VarNum :: Int -> Token
  • VarNot :: Token
  • EOF :: Token

Exported operations:

keywords :: [(String,Token)]  Deterministic 

Further infos:
  • solution complete, i.e., able to compute all solutions

keyword :: String -> Token  Deterministic 

scan :: String -> [Token]  Deterministic 

scanKeyword :: String -> [Token]  Deterministic 

scanNum :: String -> [Token]  Deterministic