#include "domain_transition_graph.h"#include "domain_transition_graph_symb.h"#include "domain_transition_graph_func.h"#include "domain_transition_graph_subterm.h"#include "operator.h"#include "axiom.h"#include "variable.h"#include <algorithm>#include <cassert>#include <iostream>
Include dependency graph for preprocess/domain_transition_graph.cpp:
Go to the source code of this file.
Functions | |
| bool | are_DTGs_strongly_connected (const vector< DomainTransitionGraph * > &transition_graphs) |
| void | build_DTGs (const vector< Variable * > &var_order, const vector< Operator > &operators, const vector< Axiom_relational > &axioms_rel, const vector< Axiom_functional > &axioms_func, vector< DomainTransitionGraph * > &transition_graphs) |
Function Documentation
| bool are_DTGs_strongly_connected | ( | const vector< DomainTransitionGraph * > & | transition_graphs | ) |
Definition at line 176 of file preprocess/domain_transition_graph.cpp.
| void build_DTGs | ( | const vector< Variable * > & | var_order, |
| const vector< Operator > & | operators, | ||
| const vector< Axiom_relational > & | axioms_rel, | ||
| const vector< Axiom_functional > & | axioms_func, | ||
| vector< DomainTransitionGraph * > & | transition_graphs | ||
| ) |
Definition at line 14 of file preprocess/domain_transition_graph.cpp.