|
dyng
DynamicGraphLayout
|
38 void add_live_time(
const live_set& node_live) {
39 m_live_time.join(node_live);
42 const live_set& live_time()
const {
return m_live_time; }
43 live_set& live_time() {
return m_live_time; }
61 void add_live_time(
const live_set& edge_live) {
62 m_live_time.join(edge_live);
65 const live_set& live_time()
const {
return m_live_time; }
66 live_set& live_time() {
return m_live_time; }
Type used as an identifier for edges.
Definition: identifiers.h:87
Represents an edge that holds information about its live times.
Definition: partitions.h:56
Represents a node that holds information about its live times.
Definition: partitions.h:33
basic_edge(edge_id id, node_id one, node_id two)
Sets the id of the edge and ids of two connected nodes.
Definition: edge.h:44
Represents a set of all states where a node or an edge exists.
Definition: live_set.h:30
Type used as an identifier for nodes.
Definition: identifiers.h:77
node(node_id id)
Sets the id of the node.
Definition: node.h:35