Lines Matching refs:SetTheory

34 using RecSet = SetTheory::RecSet;
35 using RecVec = SetTheory::RecVec;
38 struct AddOp : public SetTheory::Operator {
39 void apply(SetTheory &ST, DagInit *Expr, RecSet &Elts, in apply()
46 struct SubOp : public SetTheory::Operator {
47 void apply(SetTheory &ST, DagInit *Expr, RecSet &Elts, in apply()
62 struct AndOp : public SetTheory::Operator {
63 void apply(SetTheory &ST, DagInit *Expr, RecSet &Elts, in apply()
78 struct SetIntBinOp : public SetTheory::Operator {
79 virtual void apply2(SetTheory &ST, DagInit *Expr, RecSet &Set, int64_t N,
82 void apply(SetTheory &ST, DagInit *Expr, RecSet &Elts, in apply()
99 void apply2(SetTheory &ST, DagInit *Expr, RecSet &Set, int64_t N, in apply2()
111 void apply2(SetTheory &ST, DagInit *Expr, RecSet &Set, int64_t N, in apply2()
128 void apply2(SetTheory &ST, DagInit *Expr, RecSet &Set, int64_t N, in apply2()
146 void apply2(SetTheory &ST, DagInit *Expr, RecSet &Set, int64_t N, in apply2()
157 struct InterleaveOp : public SetTheory::Operator {
158 void apply(SetTheory &ST, DagInit *Expr, RecSet &Elts, in apply()
176 struct SequenceOp : public SetTheory::Operator {
177 void apply(SetTheory &ST, DagInit *Expr, RecSet &Elts, in apply()
240 struct FieldExpander : public SetTheory::Expander {
245 void expand(SetTheory &ST, Record *Def, RecSet &Elts) override { in expand()
253 void SetTheory::Operator::anchor() {} in anchor()
254 void SetTheory::Expander::anchor() {} in anchor()
256 SetTheory::SetTheory() { in SetTheory() function in SetTheory
269 void SetTheory::addOperator(StringRef Name, std::unique_ptr<Operator> Op) { in addOperator()
273 void SetTheory::addExpander(StringRef ClassName, std::unique_ptr<Expander> E) { in addExpander()
277 void SetTheory::addFieldExpander(StringRef ClassName, StringRef FieldName) { in addFieldExpander()
281 void SetTheory::evaluate(Init *Expr, RecSet &Elts, ArrayRef<SMLoc> Loc) { in evaluate()
307 const RecVec *SetTheory::expand(Record *Set) { in expand()