Index - F
| false | Ersatz.Bit, Ersatz |
| forall | Ersatz.Variable, Ersatz |
| Formula | |
| 1 (Type/Class) | Ersatz.Internal.Formula |
| 2 (Data Constructor) | Ersatz.Internal.Formula |
| formula | Ersatz.Problem, Ersatz |
| formulaAnd | Ersatz.Internal.Formula |
| formulaEmpty | Ersatz.Internal.Formula |
| formulaFAC | Ersatz.Internal.Formula |
| formulaFAS | Ersatz.Internal.Formula |
| formulaLiteral | Ersatz.Internal.Formula |
| formulaMux | Ersatz.Internal.Formula |
| formulaNot | Ersatz.Internal.Formula |
| formulaOr | Ersatz.Internal.Formula |
| formulaSet | Ersatz.Internal.Formula |
| formulaXor | Ersatz.Internal.Formula |
| fromClause | Ersatz.Internal.Formula |
| fromLiteral | Ersatz.Internal.Formula |
| fullAdder | Ersatz.Bits, Ersatz |