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));
}
}
}
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();
}