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]);
}
}
}
public bool AddAtomic(string atomicName)
{
Atomic atomic = null;
if (_atomics.TryGetValue(atomicName, out atomic))
{
return(false);
}
atomic = new Atomic(atomicName);
_atomics.Add(atomicName, atomic);
return(true);
}
public bool AddAtomic(string atomicName)
{
Atomic atomic = null;
if (_atomics.TryGetValue(atomicName, out atomic))
{
return false;
}
atomic = new Atomic(atomicName);
_atomics.Add(atomicName, atomic);
return true;
}
