Index - O
| onAllValuations | Data.Logic.Harrison.Prop |
| onatoms | Data.Logic.Classes.FirstOrder |
| on_atoms | |
| 1 (Function) | Data.Logic.Harrison.Formulas.Propositional |
| 2 (Function) | Data.Logic.Harrison.Formulas.FirstOrder |
| optimize | Data.Logic.Harrison.Lib |
| optimize' | Data.Logic.Harrison.Lib |
| Or | |
| 1 (Data Constructor) | Data.Logic.Types.Harrison.Formulas.Propositional |
| 2 (Data Constructor) | Data.Logic.Types.Harrison.Formulas.FirstOrder |
| 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.Propositional |
| 2 (Function) | Data.Logic.Harrison.Formulas.FirstOrder |