cprover
full_slicert::cfg_nodet Struct Reference

#include <full_slicer_class.h>

Public Member Functions

 cfg_nodet ()
 

Public Attributes

bool node_required
 

Detailed Description

Definition at line 47 of file full_slicer_class.h.

Constructor & Destructor Documentation

§ cfg_nodet()

full_slicert::cfg_nodet::cfg_nodet ( )
inline

Definition at line 49 of file full_slicer_class.h.

Member Data Documentation

§ node_required

bool full_slicert::cfg_nodet::node_required

Definition at line 53 of file full_slicer_class.h.


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