proposition.h File Reference

#include <string>
#include <unordered_map>

Include dependency graph for proposition.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes
struct	adore::env::Proposition
	A logical proposition, with a possible timeout for the information. More...
class	adore::env::PropositionSet0
	A data structure managing logical propositions of order 0. More...

Namespaces
	adore
	adore::env