Axioms. More...
#include <util/std_expr.h>#include "sentinel_dll.h"#include "state.h"#include <map>#include <set>#include <unordered_map>#include <unordered_set>#include <vector>
Include dependency graph for axioms.h: This graph shows which files directly or indirectly include this file:Go to the source code of this file.
Classes | |
| class | axiomst |
Functions | |
| static axiomst & | operator<< (axiomst &axioms, exprt src) |
Detailed Description
Axioms.
Definition in file axioms.h.
