public void Remove(int K, int N)
{
Dependencies.Remove($"P({K},{N})");
for (int i = 0; i < Formulas.Count; i++)
{
FormulaSlot slot = Formulas[i];
if (slot.K == K && slot.N == N)
{
Formulas.RemoveAt(i);
slot.Remove();
CheckIndices();
return;
}
}
}
