Open
Graph Drawing
Framework

 v. 2023.09 (Elderberry)
 

ogdf::UpSAT Member List

This is the complete list of members for ogdf::UpSAT, including all inherited members.

computeDominatingEdges()ogdf::UpSATprivate
computeMuVariables()ogdf::UpSATprivate
computeSigmaVariables()ogdf::UpSATprivate
computeTauVariables()ogdf::UpSATprivate
Dogdf::UpSATprivate
embedFromModel(const Minisat::Model &model, adjEntry &externalToItsRight)ogdf::UpSATprivate
embedUpwardPlanar(adjEntry &externalToItsRight, NodeArray< int > *nodeOrder=nullptr)ogdf::UpSAT
feasibleOriginalEdgesogdf::UpSATprivate
FPSS(NodeArray< int > *nodeOrder)ogdf::UpSATprivate
getNumberOfClauses()ogdf::UpSAT
getNumberOfVariables()ogdf::UpSAT
HL(bool embed, adjEntry &externalToItsRight, NodeArray< int > *nodeOrder)ogdf::UpSATprivate
Mogdf::UpSATprivate
m_Fogdf::UpSATprivate
m_Gogdf::UpSATprivate
muogdf::UpSATprivate
Nogdf::UpSATprivate
numberOfClausesogdf::UpSATprivate
numberOfVariablesogdf::UpSATprivate
OE(bool embed, adjEntry &externalToItsRight, NodeArray< int > *nodeOrder)ogdf::UpSATprivate
reset()ogdf::UpSAT
ruleFixed(const Minisat::Model &model)ogdf::UpSATprivate
rulePlanarity()ogdf::UpSATprivate
ruleSigmaTransitive()ogdf::UpSATprivate
ruleTauTransitive()ogdf::UpSATprivate
ruleTutte()ogdf::UpSATprivate
ruleUpward()ogdf::UpSATprivate
sigmaogdf::UpSATprivate
sortBySigma(List< adjEntry > &adjList, const Minisat::Model &model)ogdf::UpSATprivate
tauogdf::UpSATprivate
testUpwardPlanarity(NodeArray< int > *nodeOrder=nullptr)ogdf::UpSAT
UpSAT(Graph &G)ogdf::UpSATexplicit
UpSAT(GraphCopy &G, bool feasibleOriginalEdges)ogdf::UpSAT
writeNodeOrder(const Minisat::Model &model, NodeArray< int > *nodeOrder)ogdf::UpSATprivate