Index - I
| Iff | Qlogic.Formula |
| Imp | Qlogic.Formula |
| increment | |
| 1 (Function) | Qlogic.NatSat |
| 2 (Function) | Qlogic.IntSat |
| 3 (Function) | Qlogic.ArcSat |
| 4 (Function) | Qlogic.BzSat |
| InfBit | Qlogic.ArcSat |
| intAssignment | Qlogic.IntSat |
| intbound | Qlogic.ArcSat |
| intToBits | Qlogic.IntSat |
| isClause | Qlogic.Formula |
| isCnf | Qlogic.Formula |
| isLiteral | Qlogic.Formula |
| isNegClause | Qlogic.Formula |
| isNegCnf | Qlogic.Formula |
| Ite | Qlogic.Formula |
| ite | Qlogic.Boolean |