Searched defs:circ_state (Results 1 – 5 of 5) sorted by relevance
387 const std::vector<bool>& circ_state() const in circ_state() function in spot::aig
28 } circ_state; typedef
2207 circ_state = _swig_new_instance_method(_impl.aig_circ_state) variable in aig