Searched defs:TupleExpander (Results 1 – 1 of 1) sorted by relevance
605 struct TupleExpander : SetTheory::Expander { struct608 std::vector<std::unique_ptr<Record>> &SynthDefs;610 TupleExpander(std::vector<std::unique_ptr<Record>> &SynthDefs) in TupleExpander() function613 void expand(SetTheory &ST, Record *Def, SetTheory::RecSet &Elts) override { in expand()