看dialyzer(3)。 1.4使用Erlang的透析器 透析器也可以直接从Erlang使用。看dialyzer(3)。
有关有向图上的基本函数,请参见digraph(3)模块。 有向图(或者仅仅是“有向图”)是顶点有限集合V和有向边(或者仅“边”)的有限集合E的一对(V,E)。

扫码关注腾讯云开发者
领取腾讯云代金券
Copyright © 2013 - 2026 Tencent Cloud. All Rights Reserved. 腾讯云 版权所有
深圳市腾讯计算机系统有限公司 ICP备案/许可证号:粤B2-20090059
粤公网安备44030502008569号
腾讯云计算(北京)有限责任公司 京ICP证150476号 | 京ICP备11018762号
