Lines Matching refs:is_bottom
240 bool is_bottom; member
242 NodePrime(RTLIL::SigBit node, bool is_bottom) : in NodePrime()
243 node(node), is_bottom(is_bottom) {} in NodePrime()
247 return node == other.node && is_bottom == other.is_bottom; in operator ==()
255 return hash_ops<pair<RTLIL::SigBit, int>>::hash({node, is_bottom}); in hash()
270 log_assert(is_bottom); in as_top()
276 log_assert(!is_bottom); in as_bottom()
294 if (!node_prime.is_bottom) // vt in find_augmenting_path()
350 log_assert(prev_prime.is_bottom ^ node_prime.is_bottom); in find_augmenting_path()
354 if (!prev_prime.is_bottom && node_prime.is_bottom) in find_augmenting_path()
367 if (prev_prime.is_bottom && !node_prime.is_bottom) in find_augmenting_path()
410 if (!node_prime.is_bottom) in edge_cut()
415 if (!node_prime.is_bottom) // top in edge_cut()