$extrastylesheet
#include <mln/accu/logic/land.hh>
Public Member Functions | |
| land () | |
| bool | is_valid () const |
| bool | subj_ () |
| void | take_as_init (const T &t) |
| void | take_as_init_ (const T &t) |
| void | take_n_times (unsigned n, const T &t) |
| void | take_n_times_ (unsigned n, const T &t) |
| bool | to_result () const |
| void | init () |
| void | take_as_init_ (const argument &t) |
| void | take (const argument &t) |
| void | take (const land &other) |
| void | untake (const argument &t) |
| void | untake (const land &other) |
Protected Attributes | |
| unsigned | nfalse_ |
Public Types | |
| typedef bool | argument |
| typedef Accumulator< void > | category |
| typedef land | exact_t |
| typedef bool | q_result |
| typedef mln::metal::unqualif < bool >::ret | result |
"Logical-and" accumulator.
Definition at line 96 of file accu/logic/land.hh.
| mln::accu::logic::land::land | ( | ) |
| void mln::accu::logic::land::init | ( | ) |
Manipulators.
| bool mln::accu::logic::land::is_valid | ( | ) | const |
Check whether this accu is able to return a result.
Always true here.
|
inherited |
| void mln::accu::logic::land::take | ( | const argument & | t | ) |
| void mln::accu::logic::land::take | ( | const land & | other | ) |
|
inherited |
Take as initialization the value t.
|
inherited |
INTERNAL_API
Default implementation of "take as initialization".
| void mln::accu::logic::land::take_as_init_ | ( | const argument & | t | ) |
|
inherited |
Take n times the value t.
|
inherited |
INTERNAL_API
Default implementation of "take n times".
| bool mln::accu::logic::land::to_result | ( | ) | const |
Get the value of the accumulator.
| void mln::accu::logic::land::untake | ( | const argument & | t | ) |
| void mln::accu::logic::land::untake | ( | const land & | other | ) |
|
protected |
Definition at line 122 of file accu/logic/land.hh.
| typedef bool mln::accu::logic::land::argument |
Definition at line 98 of file accu/logic/land.hh.
|
inherited |
Definition at line 64 of file accumulator.hh.
|
inherited |