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

#include "symex_target_equation.h"

Include dependency graph for partial_order_concurrency.h:

This graph shows which files directly or indirectly include 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.

Classes