cprover
|
#include <fence_inserter.h>
Public Types | |
typedef event_grapht::critical_cyclet::delayt | edget |
Public Member Functions | |
unsigned | add_edge (const edget &e) |
mip_vart () | |
Public Attributes | |
unsigned | unique |
std::map< unsigned, edget > | map_to_e |
std::map< edget, unsigned > | map_from_e |
Definition at line 32 of file fence_inserter.h.
Definition at line 34 of file fence_inserter.h.
|
inline |
Definition at line 54 of file fence_inserter.h.
|
inline |
Definition at line 41 of file fence_inserter.h.
References map_from_e, map_to_e, and unique.
Referenced by fence_insertert::add_edge(), and fence_insertert::add_invisible_edge().
std::map<edget, unsigned> mip_vart::map_from_e |
Definition at line 39 of file fence_inserter.h.
Referenced by add_edge(), and fence_insertert::print_vars().
std::map<unsigned, edget> mip_vart::map_to_e |
Definition at line 38 of file fence_inserter.h.
Referenced by add_edge(), fence_insertert::mip_fill_matrix(), and fence_insertert::preprocess().
unsigned mip_vart::unique |
Definition at line 36 of file fence_inserter.h.
Referenced by add_edge().