Searched refs:init_orbits (Results 1 – 4 of 4) sorted by relevance
49 void init_orbits(vector<pdd> const& eqs, vector<uint_set>& orbits);
400 init_orbits(eqs, orbits); in simplify_exlin()410 void simplifier::init_orbits(vector<pdd> const& eqs, vector<uint_set>& orbits) { in init_orbits() function in dd::simplifier
50 void init_orbits(vector<pdd> const& eqs, vector<uint_set>& orbits);