17 #ifndef COMMON_JSON_EQUALITY_HH
18 #define COMMON_JSON_EQUALITY_HH
std::ostream & json(automaton_t aut, std::ostream &out)
bool equal(node_t const *left, node_t const *right, path_t *path=nullptr)
std::vector< uint_or_string_t > path_t
Definition: node.hh:85
bool equal(json_ast_t left, json_ast_t right, bool ignore_metadata=true)
path_t * diff(json_ast_t left, json_ast_t right, bool ignore_metadata=true)
Return the path where occurs the smallest difference between left and right, or nullptr if the two tr...
Main namespace of Awali.
Definition: ato.hh:22
std::shared_ptr< json::object_t > json_ast_t
Definition: json_ast.hh:27