Dag_DfsFunctions_t Struct Reference

DFS function struct. More...

#include <dag.h>

Data Fields
PF_VPVPCPI	BackVisit
PF_VPVPCPI	FirstVisit
PF_VPVPCPI	LastVisit
PF_IVPCPI	Set

---

Detailed Description

DFS function struct.

The generic DFS functions:

• Set, may force a different behaviour in the visit
• FirstVisit, invoked at the beginning of the visit
• BackVisit, invoked after each operand's visit
• LastVisit, invoked at the end of the visit

All functions must be of the form:

<type> f(Dag_Vertex_t * v, char * d, int b)

where <type>=(int) in the case of `Set()' and <type>=(void) in all the other cases. `v' is the current vertex, `d' is a generic data reference, and `b' is set to the incoming edge annotation (if any). DFS beahaves differently according to the return value of `Set()': -1 forces visiting, 0 default behaviour (all nodes visited once and only once), 1 forces backtracking.

---

Field Documentation

PF_VPVPCPI Dag_DfsFunctions_t::BackVisit

PF_VPVPCPI Dag_DfsFunctions_t::FirstVisit

PF_VPVPCPI Dag_DfsFunctions_t::LastVisit

PF_IVPCPI Dag_DfsFunctions_t::Set

---

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

• NuSMV/code/nusmv/core/dag/dag.h