Classes |
class | CachedFunctionAstAttributes |
| This class stores precached information of a analyzed function. Each function definition has an associated precached ast attribute. So, we store the beginning vertex and the leaving segments of a vertex. More...
|
class | CombinedDataConflictTable |
class | ConflictTable |
class | DataConflictAstAttributes |
| This class should be used for the data conflict analysis. We can mark a SgVariableRef instance which has reading or writing access or is unused. More...
|
class | DataConflictTable |
| This class represents the data conflict table among the individual segments. Two segments have a conflict if a least one variable is by the first segment and read by the second segment. A two dimensional array represents this array. More...
|
class | Edge |
struct | EdgePropertyWriter |
class | EventConflictTable |
| The conflicts are stored in the base class variable conflict_table_. The columns represent wait statements of the segments. The rows are representing the notifications of events. So, a true in conflict_table_[i][j] means that the associated segment/instance i notifies the event for which the associated segment/instance j is waiting. More...
|
class | FunctionAnnotationAttributes |
class | LeafNodeVisitor |
class | BreakStmtVisitor |
class | ContinueStmtVisitor |
struct | GraphPropertyWriter |
struct | MappedVariable |
| This is a helper class to describe a variable in the design through the symbol and the instance id. More...
|
struct | Conflict |
class | PortCallAttribute |
| This class stores for function calls. More...
|
class | PortCallPath |
struct | SymbolWithPath |
struct | NodeWithPath |
class | PredictionEventNotificationTable |
class | PredictionTimeAdvanceTable |
class | FunctionParameterReferenceAttribute |
class | LocalReferenceAttribute |
class | Segment |
class | SegmentGraph |
| This class represents a segment graph for a process. More...
|
class | Time |
| This class represents timing in discrete event simulation. More...
|
class | TimeAdvanceTable |
struct | VertexPropertyWriter |
Typedefs |
typedef std::list< MappedVariable > | MappedVariableList |
typedef boost::adjacency_list
< boost::listS, boost::listS,
boost::bidirectionalS, Segment,
Edge, boost::property
< boost::vertex_index_t, int > > | Graph |
typedef boost::graph_traits
< Graph >::vertex_descriptor | VertexDescriptor |
typedef boost::graph_traits
< Graph >::edge_descriptor | EdgeDescriptor |
typedef boost::graph_traits
< risc::sg::Graph >
::vertex_iterator | VertexIterator |
Functions |
std::list< int > | get_all_reachable_segments (SegmentGraph &segment_graph, int starting_id) |
std::vector< VertexDescriptor > | get_all_reachable_segments (SegmentGraph &segment_graph, VertexDescriptor start_vertex) |
std::pair
< risc::sg::VertexDescriptor,
risc::sg::SegmentGraph::SegmentSet > | clone_graph (risc::sg::VertexDescriptor start_vertex, risc::sg::SegmentGraph::SegmentSet leaving_vertices, risc::sg::SegmentGraph &sg, bool channel_segments) |
void | add_pcp_to_graph (risc::sg::VertexDescriptor start_vertex, risc::sg::SegmentGraph &sg, SgFunctionCallExp *func_call_exp) |
const bool | operator< (const MappedVariable &lhs, const MappedVariable &rhs) |
void | reset_inst_id_for_channels (MappedVariableList &mapped_variables) |
const bool | operator< (const Conflict &lhs, const Conflict &rhs) |
bool | operator== (const PortCallPath &lhs, const PortCallPath &rhs) |
std::ostream & | operator<< (std::ostream &os, const risc::sg::Time &time) |