Searched defs:TupleExpander (Results 1 – 3 of 3) sorted by relevance
610 struct TupleExpander : SetTheory::Expander { struct613 std::vector<std::unique_ptr<Record>> &SynthDefs;615 TupleExpander(std::vector<std::unique_ptr<Record>> &SynthDefs) in TupleExpander() function618 void expand(SetTheory &ST, Record *Def, SetTheory::RecSet &Elts) override { in expand()
163 struct TupleExpander : SetTheory::Expander { struct164 void expand(SetTheory &ST, Record *Def, SetTheory::RecSet &Elts) { in expand()
541 struct TupleExpander : SetTheory::Expander { struct542 void expand(SetTheory &ST, Record *Def, SetTheory::RecSet &Elts) override { in expand()