UnCoVer (Using Coverability for Verification)
 All Classes Namespaces Functions Variables Typedefs Enumerations Enumerator Friends Pages
AnonHypergraph Member List

This is the complete list of members for AnonHypergraph, including all inherited members.

addEdge(string label, vector< IDType > const &attVertices=vector< IDType >())AnonHypergraph
addVertex()AnonHypergraph
AnonHypergraph(std::string name="")AnonHypergraph
AnonHypergraph(const AnonHypergraph &graph)AnonHypergraph
areParallelEdges(IDType id1, IDType id2) const AnonHypergraph
beginEdges() noexceptAnonHypergraph
beginEdges() const noexceptAnonHypergraph
beginVertices() noexceptAnonHypergraph
beginVertices() const noexceptAnonHypergraph
cbeginEdges() const noexceptAnonHypergraph
cbeginVertices() const noexceptAnonHypergraph
cendEdges() const noexceptAnonHypergraph
cendVertices() const noexceptAnonHypergraph
connectedEdgesAnonHypergraphprotected
deleteEdge(IDType id)AnonHypergraph
deleteVertex(IDType id, unordered_set< IDType > *delEdges=nullptr)AnonHypergraph
deleteVertices(vector< IDType > const &ids, unordered_set< IDType > *delEdges=nullptr)AnonHypergraph
edgesAnonHypergraphprotected
EMap typedefAnonHypergraph
endEdges() noexceptAnonHypergraph
endEdges() const noexceptAnonHypergraph
endVertices() noexceptAnonHypergraph
endVertices() const noexceptAnonHypergraph
ESet typedefAnonHypergraph
getConnectedEdges(IDType vid)AnonHypergraph
getConnectedEdges(IDType vid) const AnonHypergraph
getConnEdgesCount(IDType vid) const AnonHypergraph
getEdge(IDType id)AnonHypergraph
getEdge(IDType id) const AnonHypergraph
getEdgeArity(IDType id) const AnonHypergraph
getEdgeCount() const AnonHypergraph
getName() const AnonHypergraph
getVertexCount() const AnonHypergraph
getVerticesOfEdge(IDType edgeID)AnonHypergraph
getVerticesOfEdge(IDType edgeID) const AnonHypergraph
hasEdge(IDType id) const AnonHypergraph
hasVertex(IDType id) const AnonHypergraph
lastUsedIDAnonHypergraphprotected
mergeEdges(IDType id1, IDType id2)AnonHypergraph
mergeEdges(unordered_set< IDType > const &ids)AnonHypergraph
mergeVertexIntoFirst(IDType id1, IDType id2)AnonHypergraph
mergeVertices(IDType id1, IDType id2)AnonHypergraph
mergeVertices(unordered_set< IDType > const &ids)AnonHypergraph
nameAnonHypergraphprotected
setName(string s)AnonHypergraph
Streamable()Streamableinlineprotected
streamTo(std::ostream &ost) const overrideAnonHypergraphvirtual
verticesAnonHypergraphprotected
VMap typedefAnonHypergraph
~AnonHypergraph()AnonHypergraphvirtual
~Streamable()Streamableinlineprotectedvirtual