Lines Matching defs:Model

100                                   Environment::ValueModel &Model) {
107   switch (Model.compare(Type, Val1, Env1, Val2, Env2)) {
121 /// meaning depends on `Model`.
126                                  Environment::ValueModel &Model) {
157     Model.join(Type, Val1, Env1, Val2, Env2, *JoinedVal, JoinedEnv);
165                                        Environment::ValueModel &Model) {
197   if (auto Result = Model.widen(Type, Prev, PrevEnv, Current, CurrentEnv))
212                                   Environment::ValueModel &Model) {
227                                Model))
239              Environment &JoinedEnv, Environment::ValueModel &Model) {
254             Loc->getType(), Val, Env1, It->second, Env2, JoinedEnv, Model)) {
269                    Environment::ValueModel &Model, LatticeEffect &Effect) {
289         K->getType(), *PrevIt->second, PrevEnv, *Val, CurEnv, Model);
695                                Environment::ValueModel &Model) const {
716   if (!compareKeyToValueMaps(ExprToVal, Other.ExprToVal, *this, Other, Model))
719   if (!compareKeyToValueMaps(LocToVal, Other.LocToVal, *this, Other, Model))
726                                  Environment::ValueModel &Model) {
750                                  Model, Effect);
753                                 Model, Effect);
764                               Environment::ValueModel &Model,
789                    EnvB, JoinedEnv, Model);
805       joinLocToVal(EnvA.LocToVal, EnvB.LocToVal, EnvA, EnvB, JoinedEnv, Model);
818                                Environment::ValueModel &Model) {
830   return joinDistinctValues(Ty, *Val1, Env1, *Val2, Env2, JoinedEnv, Model);