Home
last modified time | relevance | path

Searched refs:origin_odd (Results 1 – 2 of 2) sorted by relevance

/dports/math/spot/spot-2.10.2/tests/core/
H A Dparity.cc212 bool origin_max, bool origin_odd, unsigned num_sets) in is_right_parity() argument
237 target_odd = origin_odd; in is_right_parity()
246 << style[origin_odd ? 0 : 1] << ' ' << num_sets in is_right_parity()
/dports/math/py-spot/spot-2.10.2/tests/core/
H A Dparity.cc212 bool origin_max, bool origin_odd, unsigned num_sets) in is_right_parity() argument
237 target_odd = origin_odd; in is_right_parity()
246 << style[origin_odd ? 0 : 1] << ' ' << num_sets in is_right_parity()