UnCoVer (Using Coverability for Verification)
Main Page
Related Pages
Namespaces
Classes
Files
Class List
Class Index
Class Hierarchy
Class Members
All
Classes
Namespaces
Functions
Variables
Typedefs
Enumerations
Enumerator
Friends
Pages
uncover
graphs
Hypergraph
Hypergraph Member List
This is the complete list of members for
Hypergraph
, 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
() noexcept
AnonHypergraph
beginEdges
() const noexcept
AnonHypergraph
beginVertices
() noexcept
AnonHypergraph
beginVertices
() const noexcept
AnonHypergraph
cbeginEdges
() const noexcept
AnonHypergraph
cbeginVertices
() const noexcept
AnonHypergraph
cendEdges
() const noexcept
AnonHypergraph
cendVertices
() const noexcept
AnonHypergraph
connectedEdges
AnonHypergraph
protected
deleteEdge
(IDType id)
AnonHypergraph
deleteVertex
(IDType id, unordered_set< IDType > *delEdges=nullptr)
AnonHypergraph
deleteVertices
(vector< IDType > const &ids, unordered_set< IDType > *delEdges=nullptr)
AnonHypergraph
edges
AnonHypergraph
protected
EMap
typedef
AnonHypergraph
endEdges
() noexcept
AnonHypergraph
endEdges
() const noexcept
AnonHypergraph
endVertices
() noexcept
AnonHypergraph
endVertices
() const noexcept
AnonHypergraph
ESet
typedef
AnonHypergraph
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
getID
() const
Hypergraph
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
Hypergraph
(std::string name="")
Hypergraph
Hypergraph
(const AnonHypergraph &graph)
Hypergraph
Hypergraph
(const Hypergraph &graph)
Hypergraph
id
Hypergraph
protected
lastUsedID
AnonHypergraph
protected
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
name
AnonHypergraph
protected
setName
(string s)
AnonHypergraph
Streamable
()
Streamable
inline
protected
streamTo
(std::ostream &ost) const override
Hypergraph
virtual
vertices
AnonHypergraph
protected
VMap
typedef
AnonHypergraph
~AnonHypergraph
()
AnonHypergraph
virtual
~Hypergraph
()
Hypergraph
virtual
~Streamable
()
Streamable
inline
protected
virtual
Generated on Tue Dec 8 2015 17:14:09 for UnCoVer (Using Coverability for Verification) by
1.8.6