adore::env::PropositionSet0 Class Reference

A data structure managing logical propositions of order 0. More...

#include <proposition.h>

Collaboration diagram for adore::env::PropositionSet0:

Public Member Functions
	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...

Private Attributes
std::unordered_map< std::string, Proposition >	map_
double	t_

Detailed Description

A data structure managing logical propositions of order 0.

Constructor & Destructor Documentation

PropositionSet0()

adore::env::PropositionSet0::PropositionSet0 ( )

inline

Member Function Documentation

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

Member Data Documentation

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/akoerner/repos/csa/github.com/akoerner1/adore_docs_publish/adore/libadore/libadore/adore/env/include/adore/env/situation/proposition.h