#include <iostream>#include <fstream>#include <string>#include <vector>
Include dependency graph for axiom.h:
This graph shows which files directly or indirectly include this file:
Go to the source code of this file.
Classes | |
| class | Axiom_functional |
| class | Axiom_relational |
| struct | Condition |
Functions | |
| void | strip_Axiom_functionals (vector< Axiom_functional > &axioms_func) |
| void | strip_Axiom_relationals (vector< Axiom_relational > &axioms_rel) |
Function Documentation
| void strip_Axiom_functionals | ( | vector< Axiom_functional > & | axioms_func | ) |
| void strip_Axiom_relationals | ( | vector< Axiom_relational > & | axioms_rel | ) |