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

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

beginV()Edge
beginV() const Edge
cbeginV() const Edge
cendV() const Edge
Edge(IDType id, vector< IDType > const &verts=vector< IDType >(), string label="")Edge
endV()Edge
endV() const Edge
getArity() const Edge
getID() const Edge
getLabel() const Edge
getVertices()Edge
getVertices() const Edge
IDEdgeprivate
labelEdgeprivate
operator<<(std::ostream &ost, Edge const &data)Edgefriend
setLabel(string s)Edge
verticesEdgeprivate
VList typedefEdge
~Edge()Edge