A data structure managing logical propositions of order 0.
More...
#include <proposition.h>
|
| PropositionSet0 () |
|
void | setTime (double t) |
| update the current time in order to make use of propositions which are defined for a limited time More...
|
|
void | add (const Proposition &p) |
| insert or update a proposition More...
|
|
bool | getValue (const std::string &term, bool default_value) const |
| returns the boolean value of a term, if known. otherwise default_value is returned More...
|
|
bool | hasValue (const std::string &term) const |
| returns true if value of a term is known. More...
|
|
A data structure managing logical propositions of order 0.
◆ PropositionSet0()
adore::env::PropositionSet0::PropositionSet0 |
( |
| ) |
|
|
inline |
◆ add()
void adore::env::PropositionSet0::add |
( |
const Proposition & |
p | ) |
|
|
inline |
insert or update a proposition
◆ getValue()
bool adore::env::PropositionSet0::getValue |
( |
const std::string & |
term, |
|
|
bool |
default_value |
|
) |
| const |
|
inline |
returns the boolean value of a term, if known. otherwise default_value is returned
◆ hasValue()
bool adore::env::PropositionSet0::hasValue |
( |
const std::string & |
term | ) |
const |
|
inline |
returns true if value of a term is known.
◆ setTime()
void adore::env::PropositionSet0::setTime |
( |
double |
t | ) |
|
|
inline |
update the current time in order to make use of propositions which are defined for a limited time
◆ map_
std::unordered_map<std::string,Proposition> adore::env::PropositionSet0::map_ |
|
private |
a map from proposition term (string) to proposition struct
◆ t_
double adore::env::PropositionSet0::t_ |
|
private |
the current time, allows to manage information timeout
The documentation for this class was generated from the following file:
- /home/fascar/temp/adore/libadore/libadore/adore/env/include/adore/env/situation/proposition.h