Exemple #1
0
        public void TestMethod1()
        {
            List <int> variables = new List <int> {
                1, 2
            };
            List <List <int> > formula = new List <List <int> > {
            };

            formula[0] = new List <int> {
                1, 2
            };
            formula[1] = new List <int> {
                2
            };
            int        fila       = 0;
            int        clausulas  = 2;
            List <int> tienQueDar = new List <int> {
                0, 1
            };


            var ans = SATFuerzabruta.validar(variables, formula, fila, clausulas);

            //Assert.AreEqual(areEqual(ans, tienQueDar), true);
        }
Exemple #2
0
        // GET: SAT
        public ActionResult SATFuerzabruta(string json)
        {
            DatosSAT       SAT     = new JavaScriptSerializer().Deserialize <DatosSAT>(json);
            SATFuerzabruta Sat     = new SATFuerzabruta(SAT);
            List <int>     estados = Sat.validar();

            return(Json(estados, JsonRequestBehavior.AllowGet));
        }
Exemple #3
0
        public void TestMethod1()
        {
            List <int> variables = new List <int> {
                1, 2
            };
            List <List <int> > formula = new List <List <int> >();

            formula.Add(new List <int> {
                1, 2
            });
            formula.Add(new List <int> {
                2
            });
            int        clausulas  = 2;
            List <int> tienQueDar = new List <int> {
                0, 1
            };

            SATFuerzabruta sat = new SATFuerzabruta(formula, variables, clausulas);
            var            ans = sat.validar();

            Assert.AreEqual(areEqual(ans, tienQueDar), true);
        }