ADORe
ADORe is a modular open source software library and toolkit for decision making, planning, control and simulation of automated vehicles
adore::env::PropositionSet0 Class Reference

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

#include <proposition.h>

Collaboration diagram for adore::env::PropositionSet0:
Collaboration graph

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, Propositionmap_
 
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: