spot  1.2.1a
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Groups Pages
Public Attributes | List of all members
spot::compressed_stack_of_lowlink::ll_elt Struct Reference
Collaboration diagram for spot::compressed_stack_of_lowlink::ll_elt:
Collaboration graph

Public Attributes

int lowlink
 The lowlink. More...
 
bool backedge_updated
 Wether it has been updated. More...
 
union {
   int   range
 Range when backedge_updated is false. More...
 
   markset *   mark
 Markset otherwise. More...
 
}; 
 

Member Data Documentation

bool spot::compressed_stack_of_lowlink::ll_elt::backedge_updated

Wether it has been updated.

int spot::compressed_stack_of_lowlink::ll_elt::lowlink

The lowlink.

markset* spot::compressed_stack_of_lowlink::ll_elt::mark

Markset otherwise.

int spot::compressed_stack_of_lowlink::ll_elt::range

Range when backedge_updated is false.


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

Please direct any question, comment, or bug report to the Spot mailing list at spot@lrde.epita.fr.
Generated on Tue Jan 21 2014 16:52:02 for spot by doxygen 1.8.5