internal Directory Reference

Directory dependency graph for internal:

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