dot_graphs_static_analysis

cbc_dependence_trans_predicate(NodeID,Label,SuccID,Color,Style) :-
    Inv=0, % TODO: remove this later
    get_preference(timeout_cbc_analysis,Timeout),
    dependent_actions(NodeID,SuccID,Inv,Timeout,Res),
    % Res can be action, general, race
    translate_por_res(Res,EnableRes),
    translate_enable_res(EnableRes,NodeID,SuccID,Label,Color,Style).

cbc_disable_trans_por(Inv,NodeID,Label,SuccID,Color,Style) :-
    get_preference(timeout_cbc_analysis,Timeout),
    disable_analysis(NodeID,SuccID,Inv,Timeout,Res),
    (Res=possible_disable; Res=timeout),
    translate_enable_res(Res,NodeID,SuccID,Label,Color,Style).

cbc_enable_trans_predicate(NodeID,Label,SuccID,Color,Style) :-
    get_preference(timeout_cbc_analysis,Timeout),
    cbc_enable_analysis(NodeID,SuccID,Res,Timeout), % was 500
    translate_enable_res(Res,NodeID,SuccID,Label,Color,Style).

cbc_enable_trans_predicate_por(Inv,UseEnableGraph,NodeID,Label,SuccID,Color,Style) :-
    get_preference(timeout_cbc_analysis,Timeout),
    enable_analysis(NodeID,SuccID,Inv,UseEnableGraph,Timeout,Res),
    (Res=possible_enable; Res=possible; Res=guaranteed; Res=timeout; Res=predicate(_Expr)),
    translate_enable_res(Res,NodeID,SuccID,Label,Color,Style).

enable_op_node_predicate(NodeID,SubGraph,NodeDesc,Shape,Style,Color) :-
    eop_node_predicate(NodeID,SubGraph,NodeDesc,Shape,Style,Color),
    NodeID \='INITIALISATION'.

tcltk_create_dependence_graph(File) :-
    gen_dot_graph(File,enable_op_node_predicate,cbc_dependence_trans_predicate).

tcltk_create_disable_graph_por(File,Inv) :-
    gen_dot_graph(File,enable_op_node_predicate,cbc_disable_trans_por(Inv)).

tcltk_create_enable_graph(File) :-
    gen_dot_graph(File,eop_node_predicate,cbc_enable_trans_predicate).

tcltk_create_enable_graph_por(File,Inv,UseEnableGraph) :-
    gen_dot_graph(File,enable_op_node_predicate,cbc_enable_trans_predicate_por(Inv,UseEnableGraph)).

translate_por_res(action,action_dependent).

translate_por_res(guard,guard_dependent).

translate_por_res(predicate(_),guard_dependent).

translate_por_res(race,race_dependent).