internal MatchDomainS EnforceS(CheckResultPackageToSchema checkresult, string pn, LL.MDE.DataModels.SimpleRDBMS.Schema s)
        {
            MatchDomainS match = new MatchDomainS(); LL.MDE.DataModels.SimpleUML.Package p = checkresult.matchDomainP.p;

            // Contructing s
            editor.AddOrSetInField(s, "name", pn);

            // Return newly binded variables
            match.s = s;
            return(match);
        }
        internal static ISet <CheckResultPackageToSchema> Check(LL.MDE.DataModels.SimpleUML.Package p)
        {
            ISet <CheckResultPackageToSchema> result = new HashSet <CheckResultPackageToSchema>(); ISet <MatchDomainP> matchDomainPs = CheckDomainP(p);

            foreach (MatchDomainP matchDomainP in matchDomainPs)
            {
                string pn = matchDomainP.pn;

                CheckResultPackageToSchema checkonlysMatch = new CheckResultPackageToSchema()
                {
                    matchDomainP = matchDomainP,
                };
                result.Add(checkonlysMatch);
            }                                                             // End foreach
            return(result);
        }