#include <value_set.hh>
Public Types | |
typedef void | bkd_viter |
Backward Value_Iterator associated type. | |
typedef void | fwd_viter |
Forward Value_Iterator associated type. | |
typedef void | value |
Value associated type. | |
Public Member Functions | |
bool | has (const value &v) const |
Test if v belongs to this set of values. | |
unsigned | index_of (const value &v) const |
Give the index of value v in this set. | |
unsigned | nvalues () const |
Give the number of values in this set. | |
value | operator[] (unsigned i) const |
Give the i-th value of this set. |
Definition at line 37 of file doc/value_set.hh.
typedef void mln::doc::Value_Set< E >::bkd_viter |
typedef void mln::doc::Value_Set< E >::fwd_viter |
typedef void mln::doc::Value_Set< E >::value |
bool mln::doc::Value_Set< E >::has | ( | const value & | v | ) | const |
unsigned mln::doc::Value_Set< E >::index_of | ( | const value & | v | ) | const |
unsigned mln::doc::Value_Set< E >::nvalues | ( | ) | const |
Give the number of values in this set.
value mln::doc::Value_Set< E >::operator[] | ( | unsigned | i | ) | const |