internal MatchDomainT EnforceT(CheckResultAttributeToColumn checkresult, LL.MDE.DataModels.SimpleRDBMS.Table t)
        {
            MatchDomainT match = new MatchDomainT(); LL.MDE.DataModels.SimpleUML.Class c = checkresult.matchDomainC.c;

            // Contructing t

            // Return newly binded variables
            match.t = t;
            return(match);
        }
        internal static ISet <CheckResultAttributeToColumn> Check(LL.MDE.DataModels.SimpleUML.Class c, string prefix)
        {
            ISet <CheckResultAttributeToColumn> result = new HashSet <CheckResultAttributeToColumn>(); ISet <MatchDomainC> matchDomainCs = CheckDomainC(c);

            foreach (MatchDomainC matchDomainC in matchDomainCs)
            {
                CheckResultAttributeToColumn checkonlysMatch = new CheckResultAttributeToColumn()
                {
                    matchDomainC = matchDomainC,
                };
                result.Add(checkonlysMatch);
            }                                                             // End foreach
            return(result);
        }