#include "domain_transition_graph_subterm.h"#include "operator.h"#include "axiom.h"#include "variable.h"#include "scc.h"#include "helper_functions.h"#include <algorithm>#include <cassert>#include <iostream>
Include dependency graph for domain_transition_graph_subterm.cpp:
