axiom.h File Reference

#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

)

Definition at line 47 of file axiom.cpp.

void strip_Axiom_relationals

(

vector< Axiom_relational > &

axioms_rel

)

Definition at line 34 of file axiom.cpp.