Searched defs:TupleExpander (Results 1 – 2 of 2) 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() argument618 void expand(SetTheory &ST, Record *Def, SetTheory::RecSet &Elts) override { in expand()
541 struct TupleExpander : SetTheory::Expander { struct542 void expand(SetTheory &ST, Record *Def, SetTheory::RecSet &Elts) override { in expand()