onAllValuations | Data.Logic.Harrison.Prop |
onatoms | Data.Logic.Classes.FirstOrder |
on_atoms | |
1 (Function) | Data.Logic.Harrison.Formulas.FirstOrder |
2 (Function) | Data.Logic.Harrison.Formulas.Propositional |
optimize | Data.Logic.Harrison.Lib |
optimize' | Data.Logic.Harrison.Lib |
Or | |
1 (Data Constructor) | Data.Logic.Types.Harrison.Formulas.FirstOrder |
2 (Data Constructor) | Data.Logic.Types.Harrison.Formulas.Propositional |
3 (Data Constructor) | Data.Logic.Instances.Chiou |
orcnf | Data.Logic.Harrison.DefCNF |
overatoms | |
1 (Function) | Data.Logic.Classes.Propositional |
2 (Function) | Data.Logic.Classes.FirstOrder |
over_atoms | |
1 (Function) | Data.Logic.Harrison.Formulas.FirstOrder |
2 (Function) | Data.Logic.Harrison.Formulas.Propositional |