spot  2.11.6
Public Types | Public Member Functions | List of all members
spot::rs_pairs_view Struct Reference
Collaboration diagram for spot::rs_pairs_view:

Public Types

typedef std::vector< acc_cond::rs_pairrs_pairs
 

Public Member Functions

 rs_pairs_view (const rs_pairs &p, const acc_cond::mark_t &m)
 
 rs_pairs_view (const rs_pairs &p)
 
acc_cond::mark_t infs () const
 
acc_cond::mark_t fins () const
 
acc_cond::mark_t fins_alone () const
 
acc_cond::mark_t infs_alone () const
 
acc_cond::mark_t paired_with_fin (unsigned mark) const
 
const rs_pairs & pairs () const
 

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 Fri Feb 27 2015 10:00:07 for spot by doxygen 1.9.1