#include "helper_functions.h"
#include "axiom.h"
#include "variable.h"
#include <iostream>
#include <fstream>
#include <cassert>
Go to the source code of this file.
Functions | |
void | strip_Axiom_functionals (vector< Axiom_functional > &axiom_functionals) |
void | strip_Axiom_relationals (vector< Axiom_relational > &axiom_relationals) |
void strip_Axiom_functionals | ( | vector< Axiom_functional > & | axiom_functionals | ) |
void strip_Axiom_relationals | ( | vector< Axiom_relational > & | axiom_relationals | ) |