Lines Matching defs:Model

99                                   Environment::ValueModel &Model) {
106   switch (Model.compare(Type, Val1, Env1, Val2, Env2)) {
120 /// meaning depends on `Model`.
125                                  Environment::ValueModel &Model) {
156     Model.join(Type, Val1, Env1, Val2, Env2, *JoinedVal, JoinedEnv);
164                                        Environment::ValueModel &Model) {
196   if (auto Result = Model.widen(Type, Prev, PrevEnv, Current, CurrentEnv))
210                            Environment::ValueModel &Model) {
225                                Model))
237              Environment &JoinedEnv, Environment::ValueModel &Model) {
252             Loc->getType(), Val, Env1, It->second, Env2, JoinedEnv, Model)) {
267                    Environment::ValueModel &Model, LatticeEffect &Effect) {
287         K->getType(), *PrevIt->second, PrevEnv, *Val, CurEnv, Model);
693                                Environment::ValueModel &Model) const {
714   if (!compareKeyToValueMaps(ExprToVal, Other.ExprToVal, *this, Other, Model))
717   if (!compareKeyToValueMaps(LocToVal, Other.LocToVal, *this, Other, Model))
724                                  Environment::ValueModel &Model) {
748                                  Model, Effect);
751                                 Model, Effect);
762                               Environment::ValueModel &Model,
787                    EnvB, JoinedEnv, Model);
803       joinLocToVal(EnvA.LocToVal, EnvB.LocToVal, EnvA, EnvB, JoinedEnv, Model);
816                                Environment::ValueModel &Model) {
828   return joinDistinctValues(Ty, *Val1, Env1, *Val2, Env2, JoinedEnv, Model);