Struct comp_wptt_vert_canon_config_t
ClassList > comp_wptt_vert_canon_config_t
The type definition for configuring the root_neut_rlitt computation.
#include <comp_wptt_vertex_canonicity.h>
Public Attributes
| Type | Name |
|---|---|
| const note_wptt_node_t * | parent |
| bool | parent_is_root |
| comp_wptt_vert_canon_positivity_e | positivity |
| storage_write_funptr_t | storage_write |
| const note_wptt_node_t * | vertex |
| const note_wptt_t * | wptt |
Public Attributes Documentation
variable parent
const note_wptt_node_t* comp_wptt_vert_canon_config_t::parent;
variable parent_is_root
bool comp_wptt_vert_canon_config_t::parent_is_root;
variable positivity
comp_wptt_vert_canon_positivity_e comp_wptt_vert_canon_config_t::positivity;
variable storage_write
storage_write_funptr_t comp_wptt_vert_canon_config_t::storage_write;
variable vertex
const note_wptt_node_t* comp_wptt_vert_canon_config_t::vertex;
variable wptt
const note_wptt_t* comp_wptt_vert_canon_config_t::wptt;
The documentation for this class was generated from the following file source/comp-wptt_vertex_canonicity/src/comp_wptt_vertex_canonicity.h