public EpisState(Atomic[] atomicsName, bool[] atomicsPositivity)
{
_expressionContext = new ExpressionContext(this);
if (atomicsName.Count() == atomicsPositivity.Count())
{
_status = new Dictionary<Atomic, bool>();
for (int i = 0; i < atomicsName.Count(); i++)
{
_status.Add(atomicsName[i] , atomicsPositivity[i]);
}
}
}