By: Guest | Date: Feb 15 2014 18:34 | Format: Haskell | Expires: never | Size: 637 B | Hits: 997
- module Ex12_QBF2 where
- import DTC
- import Ex12_QBF1
- data Disjunction a = Disjunction a a
- data ExistQuantor a = ExistQuantor a
- instance EvalBQF Disjunction where
- evalFormula (Disjunction x y) = x || y
- instance EvalBQF ExistQuantor where
- evalFormula (ExistQuantor e) = e
- disj :: (Disjunction :<: f) => Mu f -> Mu f -> Mu f
- disj x y = inject (Disjunction x y)
- exists :: (ExistQuantor :<: f) => Mu f -> Mu f
- exists x = inject (ExistQuantor x)
Latest pastes
55 minutes ago
10 hours ago
1 days ago
2 days ago
2 days ago