#include <loop.h>

Data Fields | |
| enum ctrump_expr_code | cmp_op | 
| int | incr | 
| struct ctrump_var * | inductive | 
| struct ctrump_pdg_node * | iv_loop_entry_value | 
| struct ctrump_expr * | bound | 
Definition at line 398 of file loop.h.
struct ctrump_var* ctrump_loop_count_pred_info::inductive [read]           | 
        
struct ctrump_pdg_node* ctrump_loop_count_pred_info::iv_loop_entry_value [read]           | 
        
struct ctrump_expr* ctrump_loop_count_pred_info::bound [read]           | 
        
 1.5.6