package binsec_codex

  1. Overview
  2. Docs
package binsec_codex
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Cfg_analysis.ESource

include Graph.Sig.EDGE with type vertex = V.t and type t = V.t * V.t and type label = unit
Sourcetype t = V.t * V.t
Sourceval compare : t -> t -> int

Edges are directed.

Sourcetype vertex = V.t
Sourceval src : t -> vertex

Edge origin.

Sourceval dst : t -> vertex

Edge destination.

Edges are labeled.

Sourcetype label = unit
Sourceval create : vertex -> label -> vertex -> t

create v1 l v2 creates an edge from v1 to v2 with label l

Sourceval label : t -> label

Get the label of an edge.

Sourceval equal : t -> t -> bool
Sourceval pretty : Format.formatter -> t -> unit