object

unweighted_undirected_graph(Dictionary)

Unweighted undirected graph predicates using a dictionary representation. Undirected edges are stored as two directed edges. The parametric object parameter is the dictionary to use for the graph representation.

Availability:

logtalk_load(graphs(loader))

Author: Paulo Moura

Version: 1:0:0

Date: 2026-02-20

Compilation flags:

static, context_switching_calls

Imports:

public unweighted_graph_common(Dictionary)

public undirected_graph_common

Uses:

list

set

Remarks:

(none)

Inherited public predicates:

 add_edge/4  add_edges/3  add_vertex/3  add_vertices/3  all_pairs_min_paths/2  all_pairs_min_predecessors/2  articulation_points/2  breadth_first_order/3  bridges/2  complement/2  cycle/2  delete_edge/4  delete_edges/3  delete_vertex/3  delete_vertices/3  depth_first_order/3  edge/3  edges/2  empty/1  graph_coloring/3  has_cycle/1  has_path/3  is_bipartite/1  is_complete/1  is_sparse/1  is_tree/1  max_path/5  maximal_cliques/2  maximum_cliques/2  min_distances/3  min_path/5  min_predecessors/3  neighbors/3  new/1  new/2  new/3  number_of_edges/2  number_of_vertices/2  path/3  reachable/3  vertices/2

Public predicates

degree/3

Unifies Degree with the number of edges incident to Vertex. Fails if Vertex is not in the graph.

Compilation flags:

static

Template:

degree(Vertex,Graph,Degree)

Mode and number of proofs:

degree(+vertex,+graph,-integer) - zero_or_one

---

is_connected/1

True iff the graph is connected (every vertex is reachable from every other vertex).

Compilation flags:

static

Template:

is_connected(Graph)

Mode and number of proofs:

is_connected(+graph) - zero_or_one

---

connected_components/2

Unifies Components with a list of connected components. Each component is a sorted list of vertices.

Compilation flags:

static

Template:

connected_components(Graph,Components)

Mode and number of proofs:

connected_components(+graph,-list(list(vertex))) - one

---

Protected predicates

(no local declarations; see entity ancestors if any)

Private predicates

(no local declarations; see entity ancestors if any)

Operators

(none)