This is the complete list of members for ogdf::TwoSAT, including all inherited members.
adjEntry_iterator typedef | ogdf::Graph | protected |
adjEntryRegistry() | ogdf::Graph | inlineprotected |
adjEntryRegistry() const | ogdf::Graph | inlineprotected |
allEdges(CONTAINER &edgeContainer) const | ogdf::Graph | inlineprotected |
allNodes(CONTAINER &nodeContainer) const | ogdf::Graph | inlineprotected |
begin() const | ogdf::TwoSAT | inline |
chooseEdge(std::function< bool(edge)> includeEdge=[](edge) { return true;}, bool isFastTest=true) const | ogdf::Graph | protected |
chooseNode(std::function< bool(node)> includeNode=[](node) { return true;}, bool isFastTest=true) const | ogdf::Graph | protected |
clauseCount() const | ogdf::TwoSAT | inline |
clear() override | ogdf::TwoSAT | inlinevirtual |
clearObservers() | ogdf::Observable< GraphObserver, Graph > | inlineprotected |
collapse(NODELIST &nodesToCollapse) | ogdf::Graph | inlineprotected |
consistencyCheck() const | ogdf::Graph | protected |
const_iterator typedef | ogdf::TwoSAT | |
const_reverse_iterator typedef | ogdf::TwoSAT | |
contract(edge e, bool keepSelfLoops=false) | ogdf::Graph | protected |
delEdge(edge e) | ogdf::Graph | protectedvirtual |
delNode(node v) | ogdf::Graph | protectedvirtual |
edge_iterator typedef | ogdf::Graph | protected |
edgeInserted(void *userData, edge original, edge copy) | ogdf::Graph | inlineprotectedvirtual |
edgeRegistry() | ogdf::Graph | inlineprotected |
edgeRegistry() const | ogdf::Graph | inlineprotected |
edges | ogdf::Graph | protected |
EdgeType enum name | ogdf::Graph | protected |
empty() const | ogdf::Graph | inlineprotected |
end() const | ogdf::TwoSAT | inline |
firstEdge() const | ogdf::Graph | inlineprotected |
firstNode() const | ogdf::Graph | inlineprotected |
genus() const | ogdf::Graph | protected |
getAssignment(twosat_var var) const | ogdf::TwoSAT | inline |
getNode(twosat_var var, bool sign) const | ogdf::TwoSAT | inlineprotected |
getNodeIndex(twosat_var var, bool sign) const | ogdf::TwoSAT | inlineprotected |
getNodes(twosat_var var, bool flip=false) const | ogdf::TwoSAT | inlineprotected |
getObservers() const | ogdf::Observable< GraphObserver, Graph > | inlineprotected |
Graph() | ogdf::Graph | protected |
Graph(const Graph ©) | ogdf::Graph | protected |
Graph(Graph &&move)=delete | ogdf::Graph | protected |
insert(const NI &nodesBegin, const NI &nodesEnd, const EI &edgesBegin, const EI &edgesEnd, NodeArray< node > &nodeMap, EdgeArray< edge > &edgeMap) | ogdf::Graph | protected |
insert(const NI &nodesBegin, const NI &nodesEnd, const EF &edgeFilter, NodeArray< node > &nodeMap, EdgeArray< edge > &edgeMap) | ogdf::Graph | protected |
insert(const NL &nodeList, const EdgeSet< true > &edgeSet, NodeArray< node > &nodeMap, EdgeArray< edge > &edgeMap) | ogdf::Graph | protected |
insert(const NL &nodeList, const EdgeSet< false > &edgeSet, NodeArray< node > &nodeMap, EdgeArray< edge > &edgeMap) | ogdf::Graph | protected |
insert(const NL &nodeList, const EL &edgeList, NodeArray< node > &nodeMap, EdgeArray< edge > &edgeMap) | ogdf::Graph | inlineprotected |
insert(const CCsInfo &info, int cc, NodeArray< node > &nodeMap, EdgeArray< edge > &edgeMap) | ogdf::Graph | inlineprotected |
insert(const Graph &G, NodeArray< node > &nodeMap, EdgeArray< edge > &edgeMap) | ogdf::Graph | inlineprotected |
insert(const Graph &G) | ogdf::Graph | inlineprotected |
insertAdjEntry(adjEntry oldAdj, adjEntry newAdj, Direction dir) | ogdf::Graph | inlineprivatestatic |
insertAdjEntry(node n, adjEntry newAdj, Direction dir) | ogdf::Graph | inlineprivatestatic |
insertNodes(const NI &nodesBegin, const NI &nodesEnd, NodeArray< node, true > &nodeMap, int &newNodes, void *cbData) | ogdf::Graph | private |
lastEdge() const | ogdf::Graph | inlineprotected |
lastNode() const | ogdf::Graph | inlineprotected |
m_assignment | ogdf::TwoSAT | private |
m_edgeIdCount | ogdf::Graph | private |
m_hiddenEdgeSets | ogdf::Graph | private |
m_mutexRegArrays | ogdf::Observable< GraphObserver, Graph > | mutableprivate |
m_node_map | ogdf::TwoSAT | private |
m_nodeIdCount | ogdf::Graph | private |
m_regAdjArrays | ogdf::Graph | private |
m_regEdgeArrays | ogdf::Graph | private |
m_regNodeArrays | ogdf::Graph | private |
m_regObservers | ogdf::Observable< GraphObserver, Graph > | mutableprivate |
maxAdjEntryIndex() const | ogdf::Graph | inlineprotected |
maxEdgeIndex() const | ogdf::Graph | inlineprotected |
maxNodeIndex() const | ogdf::Graph | inlineprotected |
move(edge e, adjEntry adjSrc, Direction dirSrc, adjEntry adjTgt, Direction dirTgt) | ogdf::Graph | protected |
moveAdj(adjEntry adjMove, Direction dir, adjEntry adjPos) | ogdf::Graph | inlineprotected |
moveAdj(adjEntry adj, node w) | ogdf::Graph | private |
moveAdjAfter(adjEntry adjMove, adjEntry adjAfter) | ogdf::Graph | inlineprotected |
moveAdjBefore(adjEntry adjMove, adjEntry adjBefore) | ogdf::Graph | inlineprotected |
moveSource(edge e, node w) | ogdf::Graph | protected |
moveSource(edge e, adjEntry adjSrc, Direction dir) | ogdf::Graph | protected |
moveTarget(edge e, node w) | ogdf::Graph | protected |
moveTarget(edge e, adjEntry adjTgt, Direction dir) | ogdf::Graph | protected |
newClause(twosat_var var1, bool sign1, twosat_var var2, bool sign2) | ogdf::TwoSAT | inline |
newEdge(node v, node w, int index=-1) | ogdf::Graph | inlineprotected |
newEdge(node v, adjEntry adjTgt, int index=-1) | ogdf::Graph | inlineprotected |
newEdge(adjEntry adjSrc, node w, int index=-1) | ogdf::Graph | inlineprotected |
newEdge(adjEntry adjSrc, adjEntry adjTgt, Direction dir=Direction::after, int index=-1) | ogdf::Graph | inlineprotected |
newEdge(S src, Direction dirSrc, T tgt, Direction dirTgt, int index=-1) | ogdf::Graph | inlineprotected |
newNode(int index=-1) | ogdf::Graph | inlineprotected |
newVariable() | ogdf::TwoSAT | inline |
node_iterator typedef | ogdf::Graph | protected |
nodeInserted(void *userData, node original, node copy) | ogdf::Graph | inlineprotectedvirtual |
nodeRegistry() | ogdf::Graph | inlineprotected |
nodeRegistry() const | ogdf::Graph | inlineprotected |
nodes | ogdf::Graph | protected |
NodeType enum name | ogdf::Graph | protected |
numberOfEdges() const | ogdf::Graph | inlineprotected |
numberOfNodes() const | ogdf::Graph | inlineprotected |
Observable()=default | ogdf::Observable< GraphObserver, Graph > | protected |
Observable(const Observable ©)=delete | ogdf::Observable< GraphObserver, Graph > | protected |
Observable(Observable &&move)=delete | ogdf::Observable< GraphObserver, Graph > | protected |
Observer< TObserved, TObserver > | ogdf::Observable< GraphObserver, Graph > | private |
operator const internal::GraphAdjRegistry &() const | ogdf::Graph | inlineprotected |
operator const internal::GraphEdgeRegistry &() const | ogdf::Graph | inlineprotected |
operator const internal::GraphNodeRegistry &() const | ogdf::Graph | inlineprotected |
operator=(const Graph ©) | ogdf::Graph | protected |
operator=(Graph &&move)=delete | ogdf::Graph | protected |
Observable< GraphObserver, Graph >::operator=(const Observable ©)=delete | ogdf::Observable< GraphObserver, Graph > | protected |
Observable< GraphObserver, Graph >::operator=(Observable &&move)=delete | ogdf::Observable< GraphObserver, Graph > | protected |
postInsert(void *userData, int newNodes, int newEdges) | ogdf::Graph | inlineprotectedvirtual |
preInsert(bool copyEmbedding, bool copyIDs, bool notifyObservers, bool edgeFilter, NodeArray< node > &nodeMap, EdgeArray< edge > &edgeMap, int *newNodes, int *newEdges) | ogdf::Graph | inlineprotectedvirtual |
pureNewEdge(node src, node tgt, int index) | ogdf::Graph | inlineprivate |
pureNewNode(int index) | ogdf::Graph | inlineprivate |
rbegin() const | ogdf::TwoSAT | inline |
registerObserver(GraphObserver *obs) const | ogdf::Observable< GraphObserver, Graph > | inlineprivate |
rend() const | ogdf::TwoSAT | inline |
representsCombEmbedding() const | ogdf::Graph | inlineprotected |
resetEdgeIdCount(int maxId) | ogdf::Graph | protected |
resetNodeIdCount(int maxId) | ogdf::Graph | protected |
restoreAllEdges() | ogdf::Graph | protected |
reverseAdjEdges(node v) | ogdf::Graph | inlineprotected |
reverseAdjEdges() | ogdf::Graph | protected |
reverseAllEdges() | ogdf::Graph | protected |
reverseEdge(edge e) | ogdf::Graph | protected |
searchEdge(node v, node w, bool directed=false) const | ogdf::Graph | protected |
solve() | ogdf::TwoSAT | inline |
sort(node v, const ADJ_ENTRY_LIST &newOrder) | ogdf::Graph | inlineprotected |
sort(node v, IT begin, IT end) | ogdf::Graph | inlineprotected |
split(edge e) | ogdf::Graph | protectedvirtual |
splitNode(adjEntry adjStartLeft, adjEntry adjStartRight) | ogdf::Graph | protected |
swapAdjEdges(adjEntry adj1, adjEntry adj2) | ogdf::Graph | inlineprotected |
TwoSAT() | ogdf::TwoSAT | inline |
unregisterObserver(typename ListPure< GraphObserver * >::iterator it) const | ogdf::Observable< GraphObserver, Graph > | inlineprivate |
unsplit(node u) | ogdf::Graph | protected |
unsplit(edge eIn, edge eOut) | ogdf::Graph | protectedvirtual |
variableCount() const | ogdf::TwoSAT | inline |
~Graph() | ogdf::Graph | protectedvirtual |
~Observable() | ogdf::Observable< GraphObserver, Graph > | inlineprotectedvirtual |