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