PIPS
Data Fields
_newgen_struct_varcount_ Struct Reference

#include <complexity_ri.h>

Data Fields

intptr_t _type_
 
intptr_t _varcount_symbolic_
 
intptr_t _varcount_guessed_
 symbolic:int More...
 
intptr_t _varcount_bounded_
 guessed:int More...
 
intptr_t _varcount_unknown_
 bounded:int More...
 

Detailed Description

Definition at line 205 of file complexity_ri.h.

Field Documentation

◆ _type_

intptr_t _newgen_struct_varcount_::_type_

Definition at line 206 of file complexity_ri.h.

◆ _varcount_bounded_

intptr_t _newgen_struct_varcount_::_varcount_bounded_

guessed:int

Definition at line 209 of file complexity_ri.h.

◆ _varcount_guessed_

intptr_t _newgen_struct_varcount_::_varcount_guessed_

symbolic:int

Definition at line 208 of file complexity_ri.h.

◆ _varcount_symbolic_

intptr_t _newgen_struct_varcount_::_varcount_symbolic_

Definition at line 207 of file complexity_ri.h.

◆ _varcount_unknown_

intptr_t _newgen_struct_varcount_::_varcount_unknown_

bounded:int

Definition at line 210 of file complexity_ri.h.

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