#include <string>
#include <unordered_map>
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 | |