CBMC
partial_order_concurrency.h File Reference

Add constraints to equation encoding partial orders on events. More...

+ Include dependency graph for partial_order_concurrency.h:
+ This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes

class  partial_order_concurrencyt
 Base class for implementing memory models via additional constraints for SSA equations. More...
 
struct  partial_order_concurrencyt::a_rect
 

Detailed Description

Add constraints to equation encoding partial orders on events.

Definition in file partial_order_concurrency.h.