C# (CSharp) Uebung6 SAT.CountTrueLiterals Examples

Example #1

        public int ComputeProbabilistic()
        {
            Dictionary <Literal, bool> belegung = new Dictionary <Literal, bool>();

            foreach (var lit in sat.Literale)
            {
                bool boolValue = random.Next(0, 2) == 0 ? false : true;
                belegung.Add(lit, boolValue);
            }
            return(sat.CountTrueLiterals(belegung));
        }