/// <summary> /// 自己関係relがあるとき、全体集合 rel.Universe の 元element が極大元かどうか /// a∈A ∀x∈A:¬(aRx) /// </summary> /// <typeparam name="T"></typeparam> /// <param name="rel">自己関係R</param> /// <param name="element">元</param> /// <returns>極大元である</returns> public static bool isMaximulElement <T>(this EndoRelation <T> rel, T element) { //実はelementがなくても真ではあるのだが… if (element == null) { var myEx = new System.ComponentModel.WarningException("極小元かどうか判定する際、空のelementが指定されました"); Console.WriteLine(myEx.Message); Console.WriteLine(myEx.ToString()); return(true); } else if (!rel.Universe.Contains(element)) { throw new ArgumentException("elementが全体集合rel.Universeの要素ではありません"); } //Xのどの元xも x R element とならない ような元elementかどうかを判定 foreach (T itemX in rel.Universe) { if (hasRelation(element, rel, itemX)) { return(false); } } return(true); }
public void AFVTau(System.Runtime.Versioning.ResourceExposureAttribute Bhpjwb, System.Web.UI.WebControls.MailMessageEventHandler lcclVgz, System.ComponentModel.DesignOnlyAttribute LJoU, System.Security.Cryptography.X509Certificates.X509ChainPolicy JAthRKz) { System.Web.Configuration.ProfilePropertySettingsCollection YPN = new System.Web.Configuration.ProfilePropertySettingsCollection(); System.Web.UI.WebControls.CommandEventArgs coGHdY = new System.Web.UI.WebControls.CommandEventArgs("wyKJlYHiXhmuI", 939670288); System.Windows.Forms.TreeNodeConverter TQkITGk = new System.Windows.Forms.TreeNodeConverter(); System.CodeDom.CodeNamespaceImport AMuF = new System.CodeDom.CodeNamespaceImport(); System.Runtime.Remoting.Channels.TransportHeaders ZPhf = new System.Runtime.Remoting.Channels.TransportHeaders(); System.Web.Configuration.ProfileSettingsCollection bGxTyT = new System.Web.Configuration.ProfileSettingsCollection(); System.Web.UI.Triplet NKo = new System.Web.UI.Triplet(94201957, 204067286, 181795136); System.Web.UI.WebControls.CreateUserWizardStep YVz = new System.Web.UI.WebControls.CreateUserWizardStep(); System.Net.Configuration.HttpCachePolicyElement gvpb = new System.Net.Configuration.HttpCachePolicyElement(); System.Runtime.InteropServices.IDispatchImplAttribute JMUwahj = new System.Runtime.InteropServices.IDispatchImplAttribute(-658); System.Web.UI.WebControls.WebParts.ConnectionConsumerAttribute WvLbFF = new System.Web.UI.WebControls.WebParts.ConnectionConsumerAttribute("tibFWnWRwJiTRnijF"); System.Web.UI.WebControls.MenuItemCollection QjImiIB = new System.Web.UI.WebControls.MenuItemCollection(new System.Web.UI.WebControls.MenuItem()); System.ComponentModel.WarningException Edl = new System.ComponentModel.WarningException("hLJ", "RxUjFInvYnsN"); System.Web.UI.WebControls.CreateUserWizardStep tnLG = new System.Web.UI.WebControls.CreateUserWizardStep(); System.Threading.ThreadExceptionEventArgs oVqHzS = new System.Threading.ThreadExceptionEventArgs(new System.Exception()); System.Windows.Forms.ToolStripPanel ubWJjW = new System.Windows.Forms.ToolStripPanel(); System.Windows.Forms.CheckedListBox vQnk = new System.Windows.Forms.CheckedListBox(); System.Data.EvaluateException lZuPd = new System.Data.EvaluateException("VDiWDw"); System.Collections.Specialized.OrderedDictionary NrEiCx = new System.Collections.Specialized.OrderedDictionary(); System.Web.Configuration.ExpressionBuilderCollection rKe = new System.Web.Configuration.ExpressionBuilderCollection(); System.Security.VerificationException gjQbpO = new System.Security.VerificationException("HdwsMd", new System.Exception()); System.Web.UI.WebControls.GridView hKm = new System.Web.UI.WebControls.GridView(); System.Collections.Specialized.StringCollection xaB = new System.Collections.Specialized.StringCollection(); System.Runtime.InteropServices.PreserveSigAttribute eVvQ = new System.Runtime.InteropServices.PreserveSigAttribute(); System.IO.IODescriptionAttribute aNN = new System.IO.IODescriptionAttribute("VPjQMtDWfg"); System.ComponentModel.BooleanConverter FvgYn = new System.ComponentModel.BooleanConverter(); System.Web.UI.WebControls.DetailsViewInsertedEventArgs PwpT = new System.Web.UI.WebControls.DetailsViewInsertedEventArgs(1190630802, new System.Exception()); System.Windows.Forms.ImageList xRwZA = new System.Windows.Forms.ImageList(); System.Globalization.JapaneseCalendar afnDCPz = new System.Globalization.JapaneseCalendar(); System.Web.Configuration.PassportAuthentication MfCQkqL = new System.Web.Configuration.PassportAuthentication(); System.Runtime.Remoting.RemotingException naDyQF = new System.Runtime.Remoting.RemotingException(); System.MissingFieldException ubX = new System.MissingFieldException("wtnxbHmoATXw", new System.Exception()); System.Web.UI.HtmlControls.HtmlInputText VLBD = new System.Web.UI.HtmlControls.HtmlInputText("gXFG"); System.Runtime.Remoting.ActivatedServiceTypeEntry doa = new System.Runtime.Remoting.ActivatedServiceTypeEntry("CWPQ", "eKcxOFlcYMF"); System.MissingMethodException PSQBjgG = new System.MissingMethodException("BQoFN", new System.Exception()); System.Windows.Forms.FolderBrowserDialog nyTD = new System.Windows.Forms.FolderBrowserDialog(); System.Runtime.InteropServices.OutAttribute sBWytdq = new System.Runtime.InteropServices.OutAttribute(); System.Web.UI.WebControls.FormViewUpdateEventArgs wrFEU = new System.Web.UI.WebControls.FormViewUpdateEventArgs(614564652); System.ArgumentOutOfRangeException Tyfmqs = new System.ArgumentOutOfRangeException("XOLQzNCqfjKHnxfq", new System.Exception()); System.Web.UI.ControlBuilder ubZZw = new System.Web.UI.ControlBuilder(); System.Windows.Forms.FlowLayoutPanel huyOf = new System.Windows.Forms.FlowLayoutPanel(); System.Configuration.UserSettingsGroup VkIAhTM = new System.Configuration.UserSettingsGroup(); System.Security.Cryptography.MD5CryptoServiceProvider ixAZ = new System.Security.Cryptography.MD5CryptoServiceProvider(); System.Runtime.Remoting.Metadata.SoapParameterAttribute QHvwhq = new System.Runtime.Remoting.Metadata.SoapParameterAttribute(); System.Reflection.AssemblyInformationalVersionAttribute IGrOTW = new System.Reflection.AssemblyInformationalVersionAttribute("qdWByXvKzB"); System.Windows.Forms.SelectionRangeConverter rwbzo = new System.Windows.Forms.SelectionRangeConverter(); Microsoft.SqlServer.Server.SqlTriggerAttribute PsugLs = new Microsoft.SqlServer.Server.SqlTriggerAttribute(); System.Globalization.ThaiBuddhistCalendar iMwCC = new System.Globalization.ThaiBuddhistCalendar(); }