Lines Matching +defs:w +defs:f +defs:head

80             literal w, x, y, z;  member
118 …void set_on_mux(std::function<void(literal head, literal cond, literal th, literal el)> const& f) …  in set_on_mux()
119 …void set_on_maj(std::function<void(literal head, literal a, literal b, literal c)> const& f) { m_o…  in set_on_maj()
120 …void set_on_orand(std::function<void(literal head, literal a, literal b, literal c)> const& f) { m…  in set_on_orand()
121 …void set_on_and(std::function<void(literal head, literal a, literal b, literal c)> const& f) { m_o…  in set_on_and()
122 …void set_on_xor(std::function<void(literal head, literal a, literal b, literal c)> const& f) { m_o…  in set_on_xor()
123 …void set_on_andxor(std::function<void(literal head, literal a, literal b, literal c)> const& f) { …  in set_on_andxor()
124 …void set_on_xorand(std::function<void(literal head, literal a, literal b, literal c)> const& f) { …  in set_on_xorand()
125 …void set_on_gamble(std::function<void(literal head, literal a, literal b, literal c)> const& f) { …  in set_on_gamble()
126 …void set_on_onehot(std::function<void(literal head, literal a, literal b, literal c)> const& f) { …  in set_on_onehot()
127 …void set_on_dot(std::function<void(literal head, literal a, literal b, literal c)> const& f) { m_o…  in set_on_dot()