mip_vart Struct Reference

#include <fence_inserter.h>

Collaboration diagram for mip_vart:

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

Detailed Description

Definition at line 32 of file fence_inserter.h.

Member Typedef Documentation

edget

typedef event_grapht::critical_cyclet::delayt mip_vart::edget

Definition at line 34 of file fence_inserter.h.

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

Definition at line 38 of file fence_inserter.h.

Referenced by add_edge(), fence_insertert::mip_fill_matrix(), and fence_insertert::preprocess().

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:

• musketeer/fence_inserter.h