adore::env::Proposition Struct Reference

A logical proposition, with a possible timeout for the information. More...

#include <proposition.h>

Collaboration diagram for adore::env::Proposition:

Public Member Functions
	Proposition ()
	Proposition (std::string term, bool value)

Public Attributes
unsigned char	order_
std::string	term_
bool	value_
double	timeout_
bool	has_timeout_

Detailed Description

A logical proposition, with a possible timeout for the information.

Constructor & Destructor Documentation

Proposition() [1/2]

adore::env::Proposition::Proposition ( )

inline

Proposition() [2/2]

adore::env::Proposition::Proposition ( std::string  term, bool  value  )

inline

Member Data Documentation

has_timeout_

bool adore::env::Proposition::has_timeout_

if false, timeout shall be considered infinite

order_

unsigned char adore::env::Proposition::order_

order of calculus, (zero/first), or enum value for others if used

term_

std::string adore::env::Proposition::term_

logical term, e.g. GOAL_REACHED in 0-order

timeout_

double adore::env::Proposition::timeout_

UTC time, after which value shall be considered undefined

value_

bool adore::env::Proposition::value_

boolean value of term, e.g. GOAL_REACHED=true

---

The documentation for this struct was generated from the following file:

• /home/fascar/temp/adore/libadore/libadore/adore/env/include/adore/env/situation/proposition.h