spot 2.14.5
Loading...
Searching...
No Matches
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 for spot by doxygen 1.15.0