SMT-RAT  24.02
Toolbox for Strategic and Parallel Satisfiability-Modulo-Theories Solving
Public Member Functions | Data Fields | Private Attributes
smtrat::ForwardHyperGraph< VertexProperty, EdgeProperty, UniqueVertices >::Edge Struct Reference

Internal type of an edge. More...

#include <ForwardHyperGraph.h>

Collaboration diagram for smtrat::ForwardHyperGraph< VertexProperty, EdgeProperty, UniqueVertices >::Edge:
Collaboration graph
[legend]

Public Member Functions

 Edge (const EdgeProperty &ep)
 Constructor from a property. More...
 
void addOut (Vertex v)
 Add v to the outgoing vertices of this edge. More...
 
const EdgeProperty & operator* () const
 Access the property. More...
 
EdgeProperty & operator* ()
 Access the property. More...
 
const EdgeProperty * operator-> () const
 Access the property. More...
 
EdgeProperty * operator-> ()
 Access the property. More...
 
const std::vector< Vertex > & out () const
 Retrieve the list of outgoing vertices. More...
 

Data Fields

friend ForwardHyperGraph
 

Private Attributes

EdgeProperty mProperty
 Property of this edge. More...
 
std::vector< Vertex > mOut
 Outgoing vertices. More...
 

Detailed Description

template<typename VertexProperty, typename EdgeProperty, bool UniqueVertices = true>
struct smtrat::ForwardHyperGraph< VertexProperty, EdgeProperty, UniqueVertices >::Edge

Internal type of an edge.

Definition at line 36 of file ForwardHyperGraph.h.

Constructor & Destructor Documentation

◆ Edge()

template<typename VertexProperty , typename EdgeProperty , bool UniqueVertices = true>
smtrat::ForwardHyperGraph< VertexProperty, EdgeProperty, UniqueVertices >::Edge::Edge ( const EdgeProperty &  ep)
inline

Constructor from a property.

Definition at line 45 of file ForwardHyperGraph.h.

Member Function Documentation

◆ addOut()

template<typename VertexProperty , typename EdgeProperty , bool UniqueVertices = true>
void smtrat::ForwardHyperGraph< VertexProperty, EdgeProperty, UniqueVertices >::Edge::addOut ( Vertex  v)
inline

Add v to the outgoing vertices of this edge.

Definition at line 47 of file ForwardHyperGraph.h.

◆ operator*() [1/2]

template<typename VertexProperty , typename EdgeProperty , bool UniqueVertices = true>
EdgeProperty& smtrat::ForwardHyperGraph< VertexProperty, EdgeProperty, UniqueVertices >::Edge::operator* ( )
inline

Access the property.

Definition at line 55 of file ForwardHyperGraph.h.

◆ operator*() [2/2]

template<typename VertexProperty , typename EdgeProperty , bool UniqueVertices = true>
const EdgeProperty& smtrat::ForwardHyperGraph< VertexProperty, EdgeProperty, UniqueVertices >::Edge::operator* ( ) const
inline

Access the property.

Definition at line 51 of file ForwardHyperGraph.h.

◆ operator->() [1/2]

template<typename VertexProperty , typename EdgeProperty , bool UniqueVertices = true>
EdgeProperty* smtrat::ForwardHyperGraph< VertexProperty, EdgeProperty, UniqueVertices >::Edge::operator-> ( )
inline

Access the property.

Definition at line 63 of file ForwardHyperGraph.h.

◆ operator->() [2/2]

template<typename VertexProperty , typename EdgeProperty , bool UniqueVertices = true>
const EdgeProperty* smtrat::ForwardHyperGraph< VertexProperty, EdgeProperty, UniqueVertices >::Edge::operator-> ( ) const
inline

Access the property.

Definition at line 59 of file ForwardHyperGraph.h.

◆ out()

template<typename VertexProperty , typename EdgeProperty , bool UniqueVertices = true>
const std::vector<Vertex>& smtrat::ForwardHyperGraph< VertexProperty, EdgeProperty, UniqueVertices >::Edge::out ( ) const
inline

Retrieve the list of outgoing vertices.

Definition at line 67 of file ForwardHyperGraph.h.

Field Documentation

◆ ForwardHyperGraph

template<typename VertexProperty , typename EdgeProperty , bool UniqueVertices = true>
friend smtrat::ForwardHyperGraph< VertexProperty, EdgeProperty, UniqueVertices >::Edge::ForwardHyperGraph

Definition at line 37 of file ForwardHyperGraph.h.

◆ mOut

template<typename VertexProperty , typename EdgeProperty , bool UniqueVertices = true>
std::vector<Vertex> smtrat::ForwardHyperGraph< VertexProperty, EdgeProperty, UniqueVertices >::Edge::mOut
private

Outgoing vertices.

Definition at line 42 of file ForwardHyperGraph.h.

◆ mProperty

template<typename VertexProperty , typename EdgeProperty , bool UniqueVertices = true>
EdgeProperty smtrat::ForwardHyperGraph< VertexProperty, EdgeProperty, UniqueVertices >::Edge::mProperty
private

Property of this edge.

Definition at line 40 of file ForwardHyperGraph.h.

The documentation for this struct was generated from the following file: