package frenetic

You can search for identifiers within the package.

in-package search v0.2.0

The Frenetic Programming Language and Runtime System

Install

Dune Dependency

frenetic-lang.org Readme Edit opam file Versions (1)

Authors

A

Arjun Guha <arjun@cs.umass.edu>, Nate Foster <jnfoster@cs.cornell.edu>, Steffen Smolka <smolka@cs.cornell.edu>

Maintainers

N

Nate Foster <jnfoster@cs.cornell.edu>

Sources

5.0.5.tar.gz

md5=baf754df13a759c32f2c86a1b6f328da

sha512=80140900e7009ccab14b25e244fe7edab87d858676f8a4b3799b4fea16825013cf68363fe5faec71dd54ba825bb4ea2f812c2c666390948ab217ffa75d9cbd29

doc/frenetic.kernel/Frenetic_kernel/Network/Net/Path/index.html

Module `Net.Path`Source

Parameters

module Weight : WEIGHT with type edge = Topology.Edge.t

Signature

Sourcetype weight = Weight.t

Sourcetype t = Topology.edge list

Sourceexception NegativeCycle of t

Source

val shortest_path : 
  Topology.t ->
  Topology.vertex ->
  Topology.vertex ->
  t option

Source

val all_shortest_paths : 
  Topology.t ->
  Topology.vertex ->
  Topology.vertex Topology.VertexHash.t

Source

val all_pairs_shortest_paths : 
  topo:Topology.t ->
  f:(Topology.vertex -> Topology.vertex -> bool) ->
  (weight * Topology.vertex * Topology.vertex * Topology.edge list) list

On This Page

Parameters
Signature

package frenetic

Install

Dune Dependency

Authors

Maintainers

Sources

doc/frenetic.kernel/Frenetic_kernel/Network/Net/Path/index.html

Module Net.PathSource

Parameters

Signature

Module `Net.Path`Source