Searched defs:prune_factor (Results 1 – 2 of 2) sorted by relevance
1346 int16_t allowed_tx_mask, int prune_factor, in prune_txk_type_separ()1479 uint16_t allowed_tx_mask, int prune_factor, in prune_txk_type()
3863 const int prune_factor = prune_level >= 2 ? 6 : 5; in analyze_single_states() local