代数。图表。贴标签于。例子。网络

描述

阿尔加是用于图的代数构造和操作的库在哈斯克尔。请参见这篇论文对于图书馆背后的动机、基础理论和实施细节。

此模块包含一个使用定义的边标记图的简单示例在模块中代数。图表。贴标签于用于处理网络，即图形其边缘标有距离。

文档

我们的示例网络有城市作为顶点。

建造师

实例详细信息

有边界西蒂来源 #
实例详细信息定义于代数。图表。贴标签于。例子。网络方法最小界限::西蒂 # 最大界限::西蒂 #
枚举西蒂来源 #
实例详细信息定义于代数。图表。贴标签于。例子。网络方法成功::西蒂->西蒂 # pred（前）::西蒂->西蒂 # 到枚举::国际->西蒂 # 来自枚举::西蒂->国际 # enumFrom（枚举自）::西蒂-> [西蒂]# enumFromThen::西蒂->西蒂-> [西蒂]# 枚举从到::西蒂->西蒂-> [西蒂]# enum从然后到::西蒂->西蒂->西蒂-> [西蒂]#
等式西蒂来源 #
实例详细信息定义于代数。图表。贴标签于。例子。网络方法 (==)::西蒂->西蒂->布尔 # (/=)::西蒂->西蒂->布尔 #
订单西蒂来源 #
实例详细信息定义于代数。图表。贴标签于。例子。网络方法比较::西蒂->西蒂->订购 # (<)::西蒂->西蒂->布尔 # (<=)::西蒂->西蒂->布尔 # (>)::西蒂->西蒂->布尔 # (>=)::西蒂->西蒂->布尔 # 最大值::西蒂->西蒂->西蒂 # 最小值::西蒂->西蒂->西蒂 #
显示西蒂来源 #
实例详细信息定义于代数。图表。贴标签于。例子。网络方法显示Prec::国际->西蒂->显示 # 显示::西蒂->字符串 # 显示列表:: [西蒂] ->显示 #

为了简单起见，我们测量行程时间以整数分钟为单位。

东海岸铁路网的一部分阿伯丁和伦敦.

东海岸=覆盖层[阿伯丁  -<150>- 爱丁堡,爱丁堡 -<90>- 纽卡斯尔,纽卡斯尔 -<170>- 伦敦]

苏格兰铁路公司列车网络的一部分阿伯丁和格拉斯哥.

苏格兰铁路公司=覆盖层[阿伯丁  -<140>- 爱丁堡,爱丁堡 -<50>- 格拉斯哥,爱丁堡 -<70>- 格拉斯哥]

列车网络示例。

网络=覆盖 苏格兰铁路公司 东海岸