Beispiel #1
0
        public int MaxClauseOrder()
        {
            int max = 0;

            if (Clauses.Count() > 0)
            {
                max = Clauses.Max(qc => qc.ClauseOrder);
            }
            return(max);
        }