Safe Haskell | None |
---|
Documentation
maincnf :: (NumAtom atom, PropositionalFormula pf atom) => (pf, Map pf pf, Int) -> (pf, Map pf pf, Int)Source
defstep :: (PropositionalFormula pf atom, NumAtom atom, Ord pf) => (pf -> pf -> pf) -> (pf, pf) -> (pf, Map pf pf, Int) -> (pf, Map pf pf, Int)Source
max_varindex :: NumAtom atom => atom -> Int -> IntSource
mk_defcnf :: forall pf lit atom. (PropositionalFormula pf atom, Literal lit atom, NumAtom atom, Ord lit) => ((pf, Map pf pf, Int) -> (pf, Map pf pf, Int)) -> pf -> Set (Set lit)Source
defcnf1 :: forall pf lit atom. (PropositionalFormula pf atom, Literal lit atom, NumAtom atom, Ord lit) => pf -> pfSource
subcnf :: (PropositionalFormula pf atom, NumAtom atom) => ((pf, Map pf pf, Int) -> (pf, Map pf pf, Int)) -> (pf -> pf -> pf) -> pf -> pf -> (pf, Map pf pf, Int) -> (pf, Map pf pf, Int)Source
orcnf :: (NumAtom atom, PropositionalFormula pf atom) => (pf, Map pf pf, Int) -> (pf, Map pf pf, Int)Source
andcnf :: (PropositionalFormula pf atom, NumAtom atom, Ord pf) => (pf, Map pf pf, Int) -> (pf, Map pf pf, Int)Source
defcnfs :: (PropositionalFormula pf atom, Literal lit atom, NumAtom atom, Ord lit) => pf -> Set (Set lit)Source
defcnf2 :: forall pf lit atom. (PropositionalFormula pf atom, Literal lit atom, NumAtom atom, Ord lit) => pf -> pfSource