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 map_from_e, map_to_e, and unique.

Referenced by fence_insertert::add_edge(), and fence_insertert::add_invisible_edge().

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 add_edge(), and 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: