| && | OBDD.Operation, OBDD |
| access | OBDD.Data |
| all_models | OBDD.Data, OBDD.Property, OBDD |
| and | OBDD.Operation, OBDD |
| binary | OBDD.Operation, OBDD |
| bool | OBDD.Operation, OBDD |
| Branch | OBDD.Data |
| cached | OBDD.Data |
| checked_register | OBDD.Data |
| constant | OBDD.Make, OBDD |
| display | OBDD.Data, OBDD |
| equiv | OBDD.Operation, OBDD |
| exists | OBDD.Operation, OBDD |
| exists_many | OBDD.Operation, OBDD |
| false | OBDD.Make, OBDD |
| fold | OBDD.Data, OBDD.Operation, OBDD |
| foldM | OBDD.Data, OBDD.Operation, OBDD |
| full_fold | OBDD.Data, OBDD.Operation, OBDD |
| full_foldM | OBDD.Data, OBDD.Operation, OBDD |
| implies | OBDD.Operation, OBDD |
| instantiate | OBDD.Operation, OBDD |
| ite | OBDD.Operation, OBDD |
| Leaf | OBDD.Data |
| linopt | OBDD.Linopt |
| make | OBDD.Data |
| Node | OBDD.Data |
| not | OBDD.Operation, OBDD |
| null | OBDD.Data, OBDD.Property, OBDD |
| number_of_models | OBDD.Data, OBDD.Property, OBDD |
| OBDD | OBDD.Data, OBDD |
| or | OBDD.Operation, OBDD |
| register | OBDD.Data |
| satisfiable | OBDD.Data, OBDD.Property, OBDD |
| size | OBDD.Data, OBDD.Property, OBDD |
| some_model | OBDD.Data, OBDD.Property, OBDD |
| toDot | OBDD.Data |
| top | OBDD.Data |
| true | OBDD.Make, OBDD |
| unary | OBDD.Operation, OBDD |
| unit | OBDD.Make, OBDD |
| variable | OBDD.Make, OBDD |
| xor | OBDD.Operation, OBDD |
| || | OBDD.Operation, OBDD |