NuSMV/code/nusmv/core/node/printers/PrinterWffCore_private.h File Reference

#include "nusmv/core/node/printers/PrinterWffCore.h"
#include "nusmv/core/node/printers/PrinterBase.h"
#include "nusmv/core/node/printers/PrinterBase_private.h"
#include "nusmv/core/utils/utils.h"

Go to the source code of this file.

Data Structures
struct	PrinterWffCore
	Private and protected interface of class 'PrinterWffCore'. More...
Functions
int	printer_wff_core_print_node (PrinterBase_ptr self, node_ptr n, int priority)
	Virtual menthod that prints the given node (core nodes are handled here).

---

Function Documentation

int printer_wff_core_print_node	(	PrinterBase_ptr	self,
		node_ptr	n,
		int	priority
	)

Virtual menthod that prints the given node (core nodes are handled here).