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

#include <util/message.h>
#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

struct	partial_order_concurrencyt::a_rect

Detailed Description

Add constraints to equation encoding partial orders on events.

Classes