PIPS
Data Fields
_newgen_struct_conditional_ Struct Reference

#include <paf_ri.h>

+ Collaboration diagram for _newgen_struct_conditional_:

Data Fields

intptr_t _type_
 
predicate _conditional_predicate_
 
quast _conditional_true_quast_
 predicate:predicate More...
 
quast _conditional_false_quast_
 true_quast:quast More...
 

Detailed Description

Definition at line 291 of file paf_ri.h.

Field Documentation

◆ _conditional_false_quast_

quast _newgen_struct_conditional_::_conditional_false_quast_

true_quast:quast

Definition at line 295 of file paf_ri.h.

◆ _conditional_predicate_

predicate _newgen_struct_conditional_::_conditional_predicate_

Definition at line 293 of file paf_ri.h.

◆ _conditional_true_quast_

quast _newgen_struct_conditional_::_conditional_true_quast_

predicate:predicate

Definition at line 294 of file paf_ri.h.

◆ _type_

intptr_t _newgen_struct_conditional_::_type_

Definition at line 292 of file paf_ri.h.

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