cprover
|
Add constraints to equation encoding partial orders on events. More...
Go to the source code of this file.
Classes | |
class | partial_order_concurrencyt |
struct | partial_order_concurrencyt::a_rect |
Add constraints to equation encoding partial orders on events.
Definition in file partial_order_concurrency.h.