:- module graph.
:- pragma termination_info(graph:init((builtin:out)), finite(5, [no, no, no]), cannot_loop).
:- pragma termination_info((graph:init) = (builtin:out), finite(5, [no, no, no]), cannot_loop).
:- pragma termination_info(graph:set_node((builtin:in), (builtin:in), (builtin:out), (builtin:out)), infinite, cannot_loop).
:- pragma termination_info(graph:insert_node((builtin:in), (builtin:in), (builtin:out), (builtin:out)), infinite, cannot_loop).
:- pragma termination_info(graph:det_insert_node((builtin:in), (builtin:in), (builtin:out), (builtin:out)), infinite, can_loop).
:- pragma termination_info(graph:search_node((builtin:in), (builtin:in), (builtin:out)), finite(-9, [no, no, yes, no, no]), cannot_loop).
:- pragma termination_info(graph:find_matching_nodes((builtin:in), (builtin:in), (builtin:out)), infinite, can_loop).
:- pragma termination_info(graph:find_matching_nodes((builtin:in), (builtin:in)) = (builtin:out), infinite, can_loop).
:- pragma termination_info(graph:node_contents((builtin:in), (builtin:in), (builtin:out)), finite(-9, [no, no, yes, no, no]), can_loop).
:- pragma termination_info(graph:node_contents((builtin:in), (builtin:in)) = (builtin:out), finite(-9, [no, no, yes, no, no]), can_loop).
:- pragma termination_info(graph:successors((builtin:in), (builtin:in), (builtin:out)), finite(-9, [no, no, yes, no, no]), can_loop).
:- pragma termination_info(graph:successors((builtin:in), (builtin:in)) = (builtin:out), finite(-9, [no, no, yes, no, no]), can_loop).
:- pragma termination_info(graph:nodes((builtin:in), (builtin:out)), finite(-5, [no, no, yes, no]), can_loop).
:- pragma termination_info(graph:nodes((builtin:in)) = (builtin:out), finite(-5, [no, no, yes, no]), can_loop).
:- pragma termination_info(graph:set_edge((builtin:in), (builtin:in), (builtin:in), (builtin:in), (builtin:out), (builtin:out)), infinite, can_loop).
:- pragma termination_info(graph:insert_edge((builtin:in), (builtin:in), (builtin:in), (builtin:in), (builtin:out), (builtin:out)), infinite, can_loop).
:- pragma termination_info(graph:det_insert_edge((builtin:in), (builtin:in), (builtin:in), (builtin:in), (builtin:out), (builtin:out)), infinite, can_loop).
:- pragma termination_info(graph:arc_contents((builtin:in), (builtin:in), (builtin:out), (builtin:out), (builtin:out)), finite(-12, [no, no, yes, no, no, no, no]), can_loop).
:- pragma termination_info(graph:path((builtin:in), (builtin:in), (builtin:in), (builtin:out)), infinite, can_loop).
:- pragma termination_info(graph:path((builtin:in), (builtin:in), (builtin:out), (builtin:out)), infinite, can_loop).
:- pragma termination_info(graph:select_node((builtin:in), (builtin:in), (builtin:out)), finite(-4, [no, yes, no, no]), cannot_loop).
:- pragma termination_info(graph:path_2((builtin:in), (builtin:in), (builtin:in), (builtin:in), (builtin:out)), infinite, can_loop).
:- pragma termination_info(graph:path_2((builtin:in), (builtin:in), (builtin:out), (builtin:in), (builtin:out)), infinite, can_loop).
:- pragma termination_info(graph:get_nodes((builtin:in), (builtin:out)), finite(-5, [no, no, yes, no]), cannot_loop).
:- pragma termination_info(graph:get_arcs((builtin:in), (builtin:out)), finite(-5, [no, no, yes, no]), cannot_loop).
:- pragma termination_info(graph:get_edges((builtin:in), (builtin:out)), finite(-5, [no, no, yes, no]), cannot_loop).