<Chapter Label="Properties of digraphs"><Heading>Properties of digraphs</Heading>

  <Section><Heading>Vertex properties</Heading>
    <#Include Label="DigraphHasAVertex">
    <#Include Label="DigraphHasNoVertices">
  </Section>

  <Section><Heading>Edge properties</Heading>
    <#Include Label="DigraphHasLoops">
    <#Include Label="IsAntisymmetricDigraph">
    <#Include Label="IsBipartiteDigraph">
    <#Include Label="IsCompleteBipartiteDigraph">
    <#Include Label="IsCompleteDigraph">
    <#Include Label="IsCompleteMultipartiteDigraph">
    <#Include Label="IsEmptyDigraph">
    <#Include Label="IsEquivalenceDigraph">
    <#Include Label="IsFunctionalDigraph">
    <#Include Label="IsPermutationDigraph">
    <#Include Label="IsMultiDigraph">
    <#Include Label="IsNonemptyDigraph">
    <#Include Label="IsReflexiveDigraph">
    <#Include Label="IsSymmetricDigraph">
    <#Include Label="IsTournament">
    <#Include Label="IsTransitiveDigraph">
  </Section>

  <Section><Heading>Orders</Heading>
    <#Include Label="IsPreorderDigraph">
    <#Include Label="IsPartialOrderDigraph">
    <#Include Label="IsMeetSemilatticeDigraph">
    <#Include Label="DigraphMeetTable">
    <#Include Label="IsUpperSemimodularDigraph">
    <#Include Label="IsDistributiveLatticeDigraph">
  </Section>

  <Section><Heading>Regularity</Heading>
    <#Include Label="IsInRegularDigraph">
    <#Include Label="IsOutRegularDigraph">
    <#Include Label="IsRegularDigraph">
    <#Include Label="IsDistanceRegularDigraph">
  </Section>

  <Section><Heading>Connectivity and cycles</Heading>
    <#Include Label="IsAcyclicDigraph">
    <#Include Label="IsChainDigraph">
    <#Include Label="IsConnectedDigraph">
    <#Include Label="IsBiconnectedDigraph">
    <#Include Label="IsBridgelessDigraph">
    <#Include Label="IsStronglyConnectedDigraph">
    <#Include Label="IsAperiodicDigraph">
    <#Include Label="IsDirectedTree">
    <#Include Label="IsUndirectedTree">
    <#Include Label="IsEulerianDigraph">
    <#Include Label="IsHamiltonianDigraph">
    <#Include Label="IsCycleDigraph">
  </Section>
  
  <Section Label="Planarity"><Heading>Planarity</Heading>
    <#Include Label="IsPlanarDigraph">
    <#Include Label="IsOuterPlanarDigraph">
  </Section>

  <Section><Heading>Homomorphisms and transformations</Heading>
    <#Include Label="IsDigraphCore">
    <#Include Label="IsEdgeTransitive">
    <#Include Label="IsVertexTransitive">
  </Section>

  
</Chapter>
