NodeTransformation Struct Reference

#include <NodeWalker.h>

Data Fields
void *	arg
node_ptr(*	func )(const NodeWalker_ptr walker, node_ptr node, void *arg)

---

Detailed Description

This structure is used when calling add_node_transformation E.g a printer will call all transformation functions which has been registered, in a chain, before printing each node.

This can be used e.g. to handle printing of daggification of expressions.

See also:

PrinterBase_print_node

---

Field Documentation

void* NodeTransformation::arg

node_ptr(* NodeTransformation::func)(const NodeWalker_ptr walker, node_ptr node, void *arg)

---

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

• NuSMV/code/nusmv/core/node/NodeWalker.h