axioms.h File Reference

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.

Function Documentation

operator<<()

static axiomst & operator<< ( axiomst &  axioms, exprt  src  )

inlinestatic

Definition at line 98 of file axioms.h.