Open
Graph Drawing
Framework

 v. 2023.09 (Elderberry)
 

ogdf::TwoSAT Member List

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

adjEntry_iterator typedefogdf::Graphprotected
adjEntryRegistry()ogdf::Graphinlineprotected
adjEntryRegistry() constogdf::Graphinlineprotected
allEdges(CONTAINER &edgeContainer) constogdf::Graphinlineprotected
allNodes(CONTAINER &nodeContainer) constogdf::Graphinlineprotected
begin() constogdf::TwoSATinline
chooseEdge(std::function< bool(edge)> includeEdge=[](edge) { return true;}, bool isFastTest=true) constogdf::Graphprotected
chooseNode(std::function< bool(node)> includeNode=[](node) { return true;}, bool isFastTest=true) constogdf::Graphprotected
clauseCount() constogdf::TwoSATinline
clear() overrideogdf::TwoSATinlinevirtual
clearObservers()ogdf::Observable< GraphObserver, Graph >inlineprotected
collapse(NODELIST &nodesToCollapse)ogdf::Graphinlineprotected
consistencyCheck() constogdf::Graphprotected
const_iterator typedefogdf::TwoSAT
const_reverse_iterator typedefogdf::TwoSAT
contract(edge e, bool keepSelfLoops=false)ogdf::Graphprotected
delEdge(edge e)ogdf::Graphprotectedvirtual
delNode(node v)ogdf::Graphprotectedvirtual
edge_iterator typedefogdf::Graphprotected
edgeInserted(void *userData, edge original, edge copy)ogdf::Graphinlineprotectedvirtual
edgeRegistry()ogdf::Graphinlineprotected
edgeRegistry() constogdf::Graphinlineprotected
edgesogdf::Graphprotected
EdgeType enum nameogdf::Graphprotected
empty() constogdf::Graphinlineprotected
end() constogdf::TwoSATinline
firstEdge() constogdf::Graphinlineprotected
firstNode() constogdf::Graphinlineprotected
genus() constogdf::Graphprotected
getAssignment(twosat_var var) constogdf::TwoSATinline
getNode(twosat_var var, bool sign) constogdf::TwoSATinlineprotected
getNodeIndex(twosat_var var, bool sign) constogdf::TwoSATinlineprotected
getNodes(twosat_var var, bool flip=false) constogdf::TwoSATinlineprotected
getObservers() constogdf::Observable< GraphObserver, Graph >inlineprotected
Graph()ogdf::Graphprotected
Graph(const Graph &copy)ogdf::Graphprotected
Graph(Graph &&move)=deleteogdf::Graphprotected
insert(const NI &nodesBegin, const NI &nodesEnd, const EI &edgesBegin, const EI &edgesEnd, NodeArray< node > &nodeMap, EdgeArray< edge > &edgeMap)ogdf::Graphprotected
insert(const NI &nodesBegin, const NI &nodesEnd, const EF &edgeFilter, NodeArray< node > &nodeMap, EdgeArray< edge > &edgeMap)ogdf::Graphprotected
insert(const NL &nodeList, const EdgeSet< true > &edgeSet, NodeArray< node > &nodeMap, EdgeArray< edge > &edgeMap)ogdf::Graphprotected
insert(const NL &nodeList, const EdgeSet< false > &edgeSet, NodeArray< node > &nodeMap, EdgeArray< edge > &edgeMap)ogdf::Graphprotected
insert(const NL &nodeList, const EL &edgeList, NodeArray< node > &nodeMap, EdgeArray< edge > &edgeMap)ogdf::Graphinlineprotected
insert(const CCsInfo &info, int cc, NodeArray< node > &nodeMap, EdgeArray< edge > &edgeMap)ogdf::Graphinlineprotected
insert(const Graph &G, NodeArray< node > &nodeMap, EdgeArray< edge > &edgeMap)ogdf::Graphinlineprotected
insert(const Graph &G)ogdf::Graphinlineprotected
insertAdjEntry(adjEntry oldAdj, adjEntry newAdj, Direction dir)ogdf::Graphinlineprivatestatic
insertAdjEntry(node n, adjEntry newAdj, Direction dir)ogdf::Graphinlineprivatestatic
insertNodes(const NI &nodesBegin, const NI &nodesEnd, NodeArray< node, true > &nodeMap, int &newNodes, void *cbData)ogdf::Graphprivate
lastEdge() constogdf::Graphinlineprotected
lastNode() constogdf::Graphinlineprotected
m_assignmentogdf::TwoSATprivate
m_edgeIdCountogdf::Graphprivate
m_hiddenEdgeSetsogdf::Graphprivate
m_mutexRegArraysogdf::Observable< GraphObserver, Graph >mutableprivate
m_node_mapogdf::TwoSATprivate
m_nodeIdCountogdf::Graphprivate
m_regAdjArraysogdf::Graphprivate
m_regEdgeArraysogdf::Graphprivate
m_regNodeArraysogdf::Graphprivate
m_regObserversogdf::Observable< GraphObserver, Graph >mutableprivate
maxAdjEntryIndex() constogdf::Graphinlineprotected
maxEdgeIndex() constogdf::Graphinlineprotected
maxNodeIndex() constogdf::Graphinlineprotected
move(edge e, adjEntry adjSrc, Direction dirSrc, adjEntry adjTgt, Direction dirTgt)ogdf::Graphprotected
moveAdj(adjEntry adjMove, Direction dir, adjEntry adjPos)ogdf::Graphinlineprotected
moveAdj(adjEntry adj, node w)ogdf::Graphprivate
moveAdjAfter(adjEntry adjMove, adjEntry adjAfter)ogdf::Graphinlineprotected
moveAdjBefore(adjEntry adjMove, adjEntry adjBefore)ogdf::Graphinlineprotected
moveSource(edge e, node w)ogdf::Graphprotected
moveSource(edge e, adjEntry adjSrc, Direction dir)ogdf::Graphprotected
moveTarget(edge e, node w)ogdf::Graphprotected
moveTarget(edge e, adjEntry adjTgt, Direction dir)ogdf::Graphprotected
newClause(twosat_var var1, bool sign1, twosat_var var2, bool sign2)ogdf::TwoSATinline
newEdge(node v, node w, int index=-1)ogdf::Graphinlineprotected
newEdge(node v, adjEntry adjTgt, int index=-1)ogdf::Graphinlineprotected
newEdge(adjEntry adjSrc, node w, int index=-1)ogdf::Graphinlineprotected
newEdge(adjEntry adjSrc, adjEntry adjTgt, Direction dir=Direction::after, int index=-1)ogdf::Graphinlineprotected
newEdge(S src, Direction dirSrc, T tgt, Direction dirTgt, int index=-1)ogdf::Graphinlineprotected
newNode(int index=-1)ogdf::Graphinlineprotected
newVariable()ogdf::TwoSATinline
node_iterator typedefogdf::Graphprotected
nodeInserted(void *userData, node original, node copy)ogdf::Graphinlineprotectedvirtual
nodeRegistry()ogdf::Graphinlineprotected
nodeRegistry() constogdf::Graphinlineprotected
nodesogdf::Graphprotected
NodeType enum nameogdf::Graphprotected
numberOfEdges() constogdf::Graphinlineprotected
numberOfNodes() constogdf::Graphinlineprotected
Observable()=defaultogdf::Observable< GraphObserver, Graph >protected
Observable(const Observable &copy)=deleteogdf::Observable< GraphObserver, Graph >protected
Observable(Observable &&move)=deleteogdf::Observable< GraphObserver, Graph >protected
Observer< TObserved, TObserver >ogdf::Observable< GraphObserver, Graph >private
operator const internal::GraphAdjRegistry &() constogdf::Graphinlineprotected
operator const internal::GraphEdgeRegistry &() constogdf::Graphinlineprotected
operator const internal::GraphNodeRegistry &() constogdf::Graphinlineprotected
operator=(const Graph &copy)ogdf::Graphprotected
operator=(Graph &&move)=deleteogdf::Graphprotected
Observable< GraphObserver, Graph >::operator=(const Observable &copy)=deleteogdf::Observable< GraphObserver, Graph >protected
Observable< GraphObserver, Graph >::operator=(Observable &&move)=deleteogdf::Observable< GraphObserver, Graph >protected
postInsert(void *userData, int newNodes, int newEdges)ogdf::Graphinlineprotectedvirtual
preInsert(bool copyEmbedding, bool copyIDs, bool notifyObservers, bool edgeFilter, NodeArray< node > &nodeMap, EdgeArray< edge > &edgeMap, int *newNodes, int *newEdges)ogdf::Graphinlineprotectedvirtual
pureNewEdge(node src, node tgt, int index)ogdf::Graphinlineprivate
pureNewNode(int index)ogdf::Graphinlineprivate
rbegin() constogdf::TwoSATinline
registerObserver(GraphObserver *obs) constogdf::Observable< GraphObserver, Graph >inlineprivate
rend() constogdf::TwoSATinline
representsCombEmbedding() constogdf::Graphinlineprotected
resetEdgeIdCount(int maxId)ogdf::Graphprotected
resetNodeIdCount(int maxId)ogdf::Graphprotected
restoreAllEdges()ogdf::Graphprotected
reverseAdjEdges(node v)ogdf::Graphinlineprotected
reverseAdjEdges()ogdf::Graphprotected
reverseAllEdges()ogdf::Graphprotected
reverseEdge(edge e)ogdf::Graphprotected
searchEdge(node v, node w, bool directed=false) constogdf::Graphprotected
solve()ogdf::TwoSATinline
sort(node v, const ADJ_ENTRY_LIST &newOrder)ogdf::Graphinlineprotected
sort(node v, IT begin, IT end)ogdf::Graphinlineprotected
split(edge e)ogdf::Graphprotectedvirtual
splitNode(adjEntry adjStartLeft, adjEntry adjStartRight)ogdf::Graphprotected
swapAdjEdges(adjEntry adj1, adjEntry adj2)ogdf::Graphinlineprotected
TwoSAT()ogdf::TwoSATinline
unregisterObserver(typename ListPure< GraphObserver * >::iterator it) constogdf::Observable< GraphObserver, Graph >inlineprivate
unsplit(node u)ogdf::Graphprotected
unsplit(edge eIn, edge eOut)ogdf::Graphprotectedvirtual
variableCount() constogdf::TwoSATinline
~Graph()ogdf::Graphprotectedvirtual
~Observable()ogdf::Observable< GraphObserver, Graph >inlineprotectedvirtual