#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] |