cprover
mip_vart Struct Reference

#include <fence_inserter.h>

Collaboration diagram for mip_vart:
[legend]

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, edgetmap_to_e
 
std::map< edget, unsigned > map_from_e
 

Detailed Description

Definition at line 32 of file fence_inserter.h.

Member Typedef Documentation

§ edget

Constructor & Destructor Documentation

§ mip_vart()

mip_vart::mip_vart ( )
inline

Definition at line 54 of file fence_inserter.h.

Member Function Documentation

§ add_edge()

unsigned mip_vart::add_edge ( const edget e)
inline

Definition at line 41 of file fence_inserter.h.

References unique.

Member Data Documentation

§ map_from_e

std::map<edget, unsigned> mip_vart::map_from_e

Definition at line 39 of file fence_inserter.h.

Referenced by fence_insertert::print_vars().

§ map_to_e

std::map<unsigned, edget> mip_vart::map_to_e

§ unique

unsigned mip_vart::unique

Definition at line 36 of file fence_inserter.h.

Referenced by add_edge().


The documentation for this struct was generated from the following file: