Esempio n. 1
0
 public void ParseProposiciones()
 {
     ProposicionList.Clear();
     string[] relaciones    = File.ReadAllLines(RelacionesFile);
     string[] proposiciones = File.ReadAllLines(ProposicionesFile);
     foreach (string prop in proposiciones)
     {
         if (prop.Split(',').Length == 3)
         {
             ProposicionList.Add(new Proposicion(prop.Split(','), relaciones));
         }
     }
 }
Esempio n. 2
0
        public void LoadFileData()
        {
            ProposicionList.Clear();
            AtomoList.Clear();
            string[] atomsTmp = File.ReadAllLines(AtomoFile);
            foreach (string atomRow in atomsTmp)
            {
                string[] tmp = atomRow.Split(',');
                AtomoList.Add(new Atomo()
                {
                    Id = tmp[0], Descripcion = tmp[1]
                });
            }

            ParseProposiciones();
        }