Searched defs:norm_preds (Results 1 – 2 of 2) sorted by relevance
1973 push_pred (pred_chain_union *norm_preds, pred_info pred) in push_pred()2067 normalize_one_pred_1 (pred_chain_union *norm_preds, in normalize_one_pred_1()2164 normalize_one_pred (pred_chain_union *norm_preds, pred_info pred) in normalize_one_pred()2207 normalize_one_pred_chain (pred_chain_union *norm_preds, pred_chain one_chain) in normalize_one_pred_chain()2236 pred_chain_union norm_preds = vNULL; in normalize_preds() local
2092 predicate norm_preds (m_eval); in normalize() local