module DS (
          Varible(..),
          Conjuct,
          Disjuct,
          Assumption(..),
          Assumptions,
          Prob(..),
          Token (..) 
) where

data Varible = Tru | Fals | Var String | NotVar String deriving Show

type Conjuct = [Varible]

type Disjuct = [Conjuct]

data Assumption  = Ass String Bool deriving Show
type Assumptions = [Assumption]

data Prob = Problem Assumptions Disjuct

data Token =
	TokenBracket	|
	TokenCloseBracket |
	TokenComma	|
	TokenTrue	|
        TokenFalse      |
        TokenNot          |
	TVar String
	deriving (Eq,Show)