<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd"> <!--Rendered using the Haskell Html Library v0.2--> <HTML ><HEAD ><META HTTP-EQUIV="Content-Type" CONTENT="text/html; charset=UTF-8" ><TITLE >Data.Graph.Inductive.Example</TITLE ><LINK HREF="haddock.css" REL="stylesheet" TYPE="text/css" ><SCRIPT SRC="haddock-util.js" TYPE="text/javascript" ></SCRIPT ></HEAD ><BODY ><DIV CLASS="outer" ><DIV CLASS="mini-topbar" >Data.Graph.Inductive.Example</DIV ><DIV CLASS="mini-synopsis" ><H1 >Auxiliary Functions </H1 > <DIV CLASS="decl" ><A HREF="Data-Graph-Inductive-Example.html#v%3AgenUNodes" TARGET="main" >genUNodes</A ></DIV > <DIV CLASS="decl" ><A HREF="Data-Graph-Inductive-Example.html#v%3AgenLNodes" TARGET="main" >genLNodes</A ></DIV > <DIV CLASS="decl" ><A HREF="Data-Graph-Inductive-Example.html#v%3AlabUEdges" TARGET="main" >labUEdges</A ></DIV > <DIV CLASS="decl" ><A HREF="Data-Graph-Inductive-Example.html#v%3AnoEdges" TARGET="main" >noEdges</A ></DIV > <H1 >Small Dynamic Graphs </H1 > <DIV CLASS="decl" ><A HREF="Data-Graph-Inductive-Example.html#v%3Aa" TARGET="main" >a</A ></DIV > <DIV CLASS="decl" ><A HREF="Data-Graph-Inductive-Example.html#v%3Ab" TARGET="main" >b</A ></DIV > <DIV CLASS="decl" ><A HREF="Data-Graph-Inductive-Example.html#v%3Ac" TARGET="main" >c</A ></DIV > <DIV CLASS="decl" ><A HREF="Data-Graph-Inductive-Example.html#v%3Ae" TARGET="main" >e</A ></DIV > <DIV CLASS="decl" ><A HREF="Data-Graph-Inductive-Example.html#v%3Aloop" TARGET="main" >loop</A ></DIV > <DIV CLASS="decl" ><A HREF="Data-Graph-Inductive-Example.html#v%3Aab" TARGET="main" >ab</A ></DIV > <DIV CLASS="decl" ><A HREF="Data-Graph-Inductive-Example.html#v%3Aabb" TARGET="main" >abb</A ></DIV > <DIV CLASS="decl" ><A HREF="Data-Graph-Inductive-Example.html#v%3Adag3" TARGET="main" >dag3</A ></DIV > <DIV CLASS="decl" ><A HREF="Data-Graph-Inductive-Example.html#v%3Ae3" TARGET="main" >e3</A ></DIV > <DIV CLASS="decl" ><A HREF="Data-Graph-Inductive-Example.html#v%3Acyc3" TARGET="main" >cyc3</A ></DIV > <DIV CLASS="decl" ><A HREF="Data-Graph-Inductive-Example.html#v%3Ag3" TARGET="main" >g3</A ></DIV > <DIV CLASS="decl" ><A HREF="Data-Graph-Inductive-Example.html#v%3Ag3b" TARGET="main" >g3b</A ></DIV > <DIV CLASS="decl" ><A HREF="Data-Graph-Inductive-Example.html#v%3Adag4" TARGET="main" >dag4</A ></DIV > <DIV CLASS="decl" ><A HREF="Data-Graph-Inductive-Example.html#v%3Ad1" TARGET="main" >d1</A ></DIV > <DIV CLASS="decl" ><A HREF="Data-Graph-Inductive-Example.html#v%3Ad3" TARGET="main" >d3</A ></DIV > <H1 >Small Static Graphs </H1 > <DIV CLASS="decl" ><A HREF="Data-Graph-Inductive-Example.html#v%3Aa%27" TARGET="main" >a'</A ></DIV > <DIV CLASS="decl" ><A HREF="Data-Graph-Inductive-Example.html#v%3Ab%27" TARGET="main" >b'</A ></DIV > <DIV CLASS="decl" ><A HREF="Data-Graph-Inductive-Example.html#v%3Ac%27" TARGET="main" >c'</A ></DIV > <DIV CLASS="decl" ><A HREF="Data-Graph-Inductive-Example.html#v%3Ae%27" TARGET="main" >e'</A ></DIV > <DIV CLASS="decl" ><A HREF="Data-Graph-Inductive-Example.html#v%3Aloop%27" TARGET="main" >loop'</A ></DIV > <DIV CLASS="decl" ><A HREF="Data-Graph-Inductive-Example.html#v%3Aab%27" TARGET="main" >ab'</A ></DIV > <DIV CLASS="decl" ><A HREF="Data-Graph-Inductive-Example.html#v%3Aabb%27" TARGET="main" >abb'</A ></DIV > <DIV CLASS="decl" ><A HREF="Data-Graph-Inductive-Example.html#v%3Adag3%27" TARGET="main" >dag3'</A ></DIV > <DIV CLASS="decl" ><A HREF="Data-Graph-Inductive-Example.html#v%3Ae3%27" TARGET="main" >e3'</A ></DIV > <DIV CLASS="decl" ><A HREF="Data-Graph-Inductive-Example.html#v%3Adag4%27" TARGET="main" >dag4'</A ></DIV > <DIV CLASS="decl" ><A HREF="Data-Graph-Inductive-Example.html#v%3Ad1%27" TARGET="main" >d1'</A ></DIV > <DIV CLASS="decl" ><A HREF="Data-Graph-Inductive-Example.html#v%3Ad3%27" TARGET="main" >d3'</A ></DIV > <H1 >Functions to Create (Regular) Graphs </H1 > <DIV CLASS="decl" ><A HREF="Data-Graph-Inductive-Example.html#v%3Aucycle" TARGET="main" >ucycle</A ></DIV > <DIV CLASS="decl" ><A HREF="Data-Graph-Inductive-Example.html#v%3Astar" TARGET="main" >star</A ></DIV > <DIV CLASS="decl" ><A HREF="Data-Graph-Inductive-Example.html#v%3AucycleM" TARGET="main" >ucycleM</A ></DIV > <DIV CLASS="decl" ><A HREF="Data-Graph-Inductive-Example.html#v%3AstarM" TARGET="main" >starM</A ></DIV > <H1 >More Graphs </H1 > <H2 >Dynamic Versions </H2 > <DIV CLASS="decl" ><A HREF="Data-Graph-Inductive-Example.html#v%3Aclr479" TARGET="main" >clr479</A ></DIV > <DIV CLASS="decl" ><A HREF="Data-Graph-Inductive-Example.html#v%3Aclr489" TARGET="main" >clr489</A ></DIV > <DIV CLASS="decl" ><A HREF="Data-Graph-Inductive-Example.html#v%3Aclr486" TARGET="main" >clr486</A ></DIV > <DIV CLASS="decl" ><A HREF="Data-Graph-Inductive-Example.html#v%3Aclr508" TARGET="main" >clr508</A ></DIV > <DIV CLASS="decl" ><A HREF="Data-Graph-Inductive-Example.html#v%3Aclr528" TARGET="main" >clr528</A ></DIV > <DIV CLASS="decl" ><A HREF="Data-Graph-Inductive-Example.html#v%3Aclr595" TARGET="main" >clr595</A ></DIV > <DIV CLASS="decl" ><A HREF="Data-Graph-Inductive-Example.html#v%3Agr1" TARGET="main" >gr1</A ></DIV > <DIV CLASS="decl" ><A HREF="Data-Graph-Inductive-Example.html#v%3Akin248" TARGET="main" >kin248</A ></DIV > <DIV CLASS="decl" ><A HREF="Data-Graph-Inductive-Example.html#v%3Avor" TARGET="main" >vor</A ></DIV > <H2 >Static Versions </H2 > <DIV CLASS="decl" ><A HREF="Data-Graph-Inductive-Example.html#v%3Aclr479%27" TARGET="main" >clr479'</A ></DIV > <DIV CLASS="decl" ><A HREF="Data-Graph-Inductive-Example.html#v%3Aclr489%27" TARGET="main" >clr489'</A ></DIV > <DIV CLASS="decl" ><A HREF="Data-Graph-Inductive-Example.html#v%3Aclr486%27" TARGET="main" >clr486'</A ></DIV > <DIV CLASS="decl" ><A HREF="Data-Graph-Inductive-Example.html#v%3Aclr508%27" TARGET="main" >clr508'</A ></DIV > <DIV CLASS="decl" ><A HREF="Data-Graph-Inductive-Example.html#v%3Aclr528%27" TARGET="main" >clr528'</A ></DIV > <DIV CLASS="decl" ><A HREF="Data-Graph-Inductive-Example.html#v%3Akin248%27" TARGET="main" >kin248'</A ></DIV > <DIV CLASS="decl" ><A HREF="Data-Graph-Inductive-Example.html#v%3Avor%27" TARGET="main" >vor'</A ></DIV ></DIV ></DIV ></BODY ></HTML >