Data structures 在哪里可以找到Isabelle/HOL中图形数据结构的定义？
在Isabelle/HOL中定义了许多其他数据结构，例如二叉树。我在Isabelle/HOL文档中没有找到任何与图形数据结构相关的定义。我在哪里可以找到Isabelle/HOL中图形数据结构的定义？或者如何定义Isabelle/HOL中的图形数据结构，例如图形的深度优先遍历。查找AFP（）中的“图论”部分。我本人从未使用过本节中的任何条目。因此，我很难提供任何进一步的见解。我本人从未使用过本节中的任何条目。因此，我很难提供进一步的见解。Data structures 在哪里可以找到Isabelle/HOL中图形数据结构的定义？,data-structures,graph,isabelle,Data Structures,Graph,Isabelle,在Isabelle/HOL中定义了许多其他数据结构，例如二叉树。我在Isabelle/HOL文档中没有找到任何与图形数据结构相关的定义。我在哪里可以找到Isabelle/HOL中图形数据结构的定义？或者如何定义Isabelle/HOL中的图形数据结构，例如图形的深度优先遍历。查找AFP（）中的“图论”部分。我本人从未使用过本节中的任何条目。因此，我很难提供任何进一步的见解。我本人从未使用过本节中的任何条目。因此，我很难提供进一步的见解。