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