[−][src]Module varisat::prop::graph
The implication graph.
Structs
| ImplGraph | The implication graph. |
| ImplNode | Node and incoming edges of the implication graph. |
Enums
| Conflict | Propagation that resulted in a conflict. |
| Reason | Assignments that caused a propagation. |