internal Directory Reference

Directory dependency graph for internal:

Files
file	UpSAT.h [code]
	Declaration of class UpSAT, which implements the upward-planarity testing formulations based on satisfiability (Chimani, Zeranski, 2012+)
file	UpwardPlanarityEmbeddedDigraph.h [code]
	Declaration of class UpwardPlanarityEmbeddedDigraph, which implements the upward-planarity testing algorithm for digraphs with a fixed embedding by Bertolazzi et al.
file	UpwardPlanaritySingleSource.h [code]
	Declaration of class UpwardPlanaritySingleSource, which implements the upward-planarity testing and embedding algorithm for single-source digraphs by Bertolazzi et al.