Dynamic Predicates: is_initialised/0 amount_of_nodes/1 dot_edge_atom/1 is_directed_graph/0 node_color/2 node_label/2 color_code/2

174 Lines

19 Predicates

9 Exports

1 Imports

Imports	Exports
Name: random/3 Module: random	Name: init_bliss_interface/0 Name: init_directed_graph/0 Name: init_undirected_graph/0 Name: add_node/2 Name: add_node/3 Name: add_edge/2 Name: find_automorphisms/1 Name: get_canonical_form/1 Name: graph_to_dot_file/1

Imports

Exports

Name: random/3

Module: random

Name: init_bliss_interface/0

Name: init_directed_graph/0

Name: init_undirected_graph/0

Name: add_node/2

Name: add_node/3

Name: add_edge/2

Name: find_automorphisms/1

Name: get_canonical_form/1

Name: graph_to_dot_file/1

Predicates

Predicates:

dot_node_attributes/1

dot_node_attributes/2

foreign/3

foreign_resource/2

get_color_code_for_id/3

graph_to_dot_file/1

inc_nodes/0

init_bliss_interface/0

init_directed_graph/0

init_undirected_graph/0

number_to_atom/2

reset_state/0

add_dot_edge_atom/2

add_dot_edge_atom(Id1, Id2) :-
    number_to_atom(Id1, AId1),
    number_to_atom(Id2, AId2),
    atom_concat(AId1, ' -> ', T1),
    atom_concat(T1, AId2, T2),
    atom_concat(T2, ';', DotEdgeAtom),
    ( dot_edge_atom(DotEdgeAtom)
    -> true
    ; asserta(dot_edge_atom(DotEdgeAtom))
).

Calls:

Name: asserta/1
Name: true
Name: dot_edge_atom/1	dynamic predicate
Name: ->/3
Name: atom_concat/3
Name: number_to_atom/2	Module: bliss_interface

Called:

Name: add_edge/2

Module: bliss_interface

add_edge/2

Description:
add_edge(+Id1, +Id2).

add_edge(Id1, Id2) :-
    amount_of_nodes(Nodes),
    Id1 >= 0,
    Id2 >= 0,
    Id1 < Nodes,
    Id2 < Nodes,
    add_dot_edge_atom(Id1, Id2),
    add_edge_wrapper(Id1, Id2).

Calls:

Name: add_edge_wrapper/2	Module: foo_error
Name: add_dot_edge_atom/2	Module: bliss_interface
Name: </2
Name: >=/2
Name: amount_of_nodes/1	dynamic predicate

Called:

Name: build_colored_graph/3	Module: smt_symmetry_breaking
Name: add_term_and_symbol_nodes_to_graph/4	Module: smt_symmetry_breaking
Name: add_nodes_from_ast_list_commutative/2	Module: smt_symmetry_breaking
Name: clause_to_colored_graph/1	Module: sat_symmetry_breaking
Name: build_colored_graph_from_set/2	Module: smt_symmetry_breaking
Name: clause_to_colored_graph_non_binary/2	Module: sat_symmetry_breaking
Name: register_var_node/3	Module: sat_symmetry_breaking

add_node/2

Description:
add_node(+Color, -Id).

add_node(Color, Id) :-
    inc_nodes,
    add_node_wrapper(Color, Id),
    asserta(node_color(Id,Color)).

Calls:

Name: asserta/1
Name: add_node_wrapper/2	Module: foo_error
Name: inc_nodes/0	Module: bliss_interface

Called:

Name: add_node_to_colored_graph/4	Module: smt_symmetry_breaking
Name: build_colored_graph/3	Module: smt_symmetry_breaking
Name: add_term_and_symbol_nodes_to_graph/4	Module: smt_symmetry_breaking

add_node/3

Description:
add_node(+Label, +Color, -Id).

add_node(Label, Color, Id) :-
add_node(Color, Id),
asserta(node_label(Id,Label)).

Calls:

Name: asserta/1
Name: add_node/2	Module: bliss_interface

Called:

Name: add_node_to_colored_graph/4	Module: smt_symmetry_breaking
Name: build_colored_graph/3	Module: smt_symmetry_breaking
Name: add_term_and_symbol_nodes_to_graph/4	Module: smt_symmetry_breaking

dot_file_edges/1

dot_file_edges(S) :-
findall(DotEdgeAtom, dot_edge_atom(DotEdgeAtom), DotEdgeAtoms),
dot_file_edges(DotEdgeAtoms, S).

Calls:

Name: dot_file_edges/2	Module: bliss_interface
Name: findall/3

Called:

Name: dot_file_edges/1

Module: bliss_interface

dot_file_edges/2

dot_file_edges([], _).

dot_file_edges([DotEdgeAtom|T], S) :-
    write(S, DotEdgeAtom),
    nl(S),
    dot_file_edges(T, S).

Calls:

Name: RECURSIVE_CALL/2	Module: bliss_interface
Name: nl/1
Name: write/2

Called:

Name: dot_file_edges/1

Module: bliss_interface

dot_file_header/1

dot_file_header(S) :-
    is_directed_graph,
    !,
    write(S, 'digraph bliss_graph {'),
    nl(S).

dot_file_header(S) :-
    write(S, 'graph bliss_graph {'),
    nl(S).

Calls:

Name: nl/1
Name: write/2
Name: !
Name: is_directed_graph	dynamic predicate

Called:

Name: graph_to_dot_file/1

Module: bliss_interface

dot_node_attributes/1

dot_node_attributes(S) :-
    findall((Id,Color), node_color(Id, Color), NodeColors),
    retractall(color_code(_,_)),
    dot_node_attributes(NodeColors, S).

Calls:

Name: dot_node_attributes/2	Module: bliss_interface
Name: retractall/1
Name: findall/3

Called:

Name: dot_node_attributes/1

Module: bliss_interface

dot_node_attributes/2

dot_node_attributes([], _).

dot_node_attributes([(Id,Color)|T], S) :-
    get_color_code_for_id(Id, Color, ColorCode),
    number_to_atom(Id, AId),
    atom_concat(AId, ' [style="filled" color="', T1),"
    atom_concat(T1, ColorCode, T2),
    ( node_label(Id, Label)
    -> atom_concat(T2, '" label="', T3),
    atom_concat(T3, Label, T4),
    atom_concat(T4, '"]', DotNodeColor)"
    ; atom_concat(T2, '"]', DotNodeColor)"
    ),
    write(S, DotNodeColor),
    nl(S),
    dot_node_attributes(T, S).

Calls:

Name: RECURSIVE_CALL/2	Module: bliss_interface
Name: nl/1
Name: write/2
Name: atom_concat/3
Name: node_label/2	dynamic predicate
Name: ->/3
Name: number_to_atom/2	Module: bliss_interface
Name: get_color_code_for_id/3	Module: bliss_interface

Called:

Name: dot_node_attributes/1

Module: bliss_interface

foreign/3

foreign(init_directed_graph_wrapper, c, init_directed_graph_wrapper).

foreign(init_undirected_graph_wrapper, c, init_undirected_graph_wrapper).

foreign(add_node_wrapper, c, add_node_wrapper(+integer, [-integer])).

foreign(add_edge_wrapper, c, add_edge_wrapper(+integer, +integer)).

foreign(find_automorphisms, c, find_automorphisms([-term])).

foreign(get_canonical_form, c, get_canonical_form([-term])).

foreign_resource/2

Description:
find_automorphisms(-PermGroup).
get_canonical_form(-CanonicalForm).

foreign_resource('bliss_interface', [init_directed_graph_wrapper,
    init_undirected_graph_wrapper,
    add_node_wrapper,
    add_edge_wrapper,
    find_automorphisms,
    get_canonical_form]).

get_color_code_for_id/3

get_color_code_for_id(Id, Color, ColorCode) :-
    node_color(Id, Color),
    ( color_code(Color, TColorCode)
    -> ColorCode = TColorCode
    ; random(100000, 999999, RGB),
    number_to_atom(RGB, ARGB),
    atom_concat('#', ARGB, ColorCode),
    asserta(color_code(Color, ColorCode))
).

Calls:

Name: asserta/1
Name: atom_concat/3
Name: number_to_atom/2	Module: bliss_interface
Name: random/3	Module: random
Name: =/2
Name: color_code/2	dynamic predicate
Name: ->/3
Name: node_color/2	dynamic predicate

Called:

Name: dot_node_attributes/2

Module: bliss_interface

graph_to_dot_file/1

Description:
graph_to_dot_file(+FilePath).

graph_to_dot_file(FilePath) :-
    open(FilePath, write, S, [encoding(utf8)]),
    dot_file_header(S),
    dot_node_attributes(S),
    dot_file_edges(S),
    write(S, '}'),
    close(S).

Calls:

Name: close/1
Name: write/2
Name: dot_file_edges/1	Module: bliss_interface
Name: dot_node_attributes/1	Module: bliss_interface
Name: dot_file_header/1	Module: bliss_interface
Name: open/4

inc_nodes/0

inc_nodes :-
    retract(amount_of_nodes(Old)),
    New is Old + 1,
    asserta(amount_of_nodes(New)).

Calls:

Name: asserta/1
Name: is/2
Name: amount_of_nodes/1	dynamic predicate
Name: retract/1

Called:

Name: add_node/2

Module: bliss_interface

init_bliss_interface/0

Description:
init_bliss_interface.

init_bliss_interface :-
    \+ is_initialised,
    reset_state,
    !,
    Error = '~n! Could not load ~w library!~n! Check that it is available in the lib folder of ProB.~n~n',
    catch(load_foreign_resource(library(bliss_interface)),_,
    (format(user_error, Error, [library(bliss_interface)]), fail)),
    asserta(is_initialised).

init_bliss_interface.

Calls:

Name: asserta/1
Name: catch/3
Name: =/2
Name: !
Name: reset_state/0	Module: bliss_interface
Name: is_initialised	dynamic predicate
Name: not/1

Called:

Name: init_graph/0	Module: smt_symmetry_breaking
Name: get_symmetry_breaking_predicates/3	Module: sat_symmetry_breaking

init_directed_graph/0

Description:
init_directed_graph.

init_directed_graph :-
    reset_state,
    asserta(is_directed_graph),
    init_directed_graph_wrapper.

Calls:

Name: init_directed_graph_wrapper	Module: foo_error
Name: asserta/1
Name: reset_state/0	Module: bliss_interface

Called:

Name: init_graph/0

Module: smt_symmetry_breaking

init_undirected_graph/0

Description:
init_undirected_graph.

init_undirected_graph :-
reset_state,
init_undirected_graph_wrapper.

Calls:

Name: init_undirected_graph_wrapper	Module: foo_error
Name: reset_state/0	Module: bliss_interface

Called:

Name: get_symmetry_breaking_predicates/3

Module: sat_symmetry_breaking

number_to_atom/2

number_to_atom(Number, Atom) :-
number_codes(Number, C),
atom_codes(Atom, C).

Calls:

Name: atom_codes/2
Name: number_codes/2

Called:

Name: dot_node_attributes/2	Module: bliss_interface
Name: add_dot_edge_atom/2	Module: bliss_interface
Name: get_color_code_for_id/3	Module: bliss_interface

reset_state/0

reset_state :-
    retractall(is_directed_graph),
    retractall(amount_of_nodes(_)),
    retractall(node_color(_,_)),
    retractall(node_label(_,_)),
    retractall(dot_edge_atom(_)),
    asserta(amount_of_nodes(0)).

Calls:

Name: asserta/1
Name: retractall/1

Called:

Name: init_directed_graph/0	Module: bliss_interface
Name: init_undirected_graph/0	Module: bliss_interface
Name: init_bliss_interface/0	Module: bliss_interface

Determinacy Checker

Determinacy Checker:

* Non-determinate: bliss_interface:add_edge/2 (clause 1)
* Calls nondet predicate bliss_interface:amount_of_nodes/1 .
* Non-determinate: bliss_interface:inc_nodes/0 (clause 1)
* Calls nondet predicate retract/1.
* Non-determinate: bliss_interface:get_color_code_for_id/3 (clause 1)
* Calls nondet predicate bliss_interface:node_color/2 .

bliss_interface

prob_prolog/extensions/bliss/bliss_interface.pl

Modules

Predicates of bliss_interface

Module Information

Dynamic Predicates: is_initialised/0 amount_of_nodes/1 dot_edge_atom/1 is_directed_graph/0 node_color/2 node_label/2 color_code/2

174 Lines

19 Predicates

9 Exports

1 Imports

Predicates:

add_dot_edge_atom/2

add_edge/2

add_node/2

add_node/3

dot_file_edges/1

dot_file_edges/2

dot_file_header/1

dot_node_attributes/1

dot_node_attributes/2

foreign/3

foreign_resource/2

get_color_code_for_id/3

graph_to_dot_file/1

inc_nodes/0

init_bliss_interface/0

init_directed_graph/0

init_undirected_graph/0

number_to_atom/2

reset_state/0

Determinacy Checker: