public void SaveLogs()
{
foreach (var assignment in Applier.CurrentTerms)
{
Applier.SaveLog(assignment);
}
foreach (var assignment in Replier.CurrentTerms)
{
Replier.SaveLog(assignment);
}
}
public void SaveLog()
{
Applier.SaveLog(Applier.Term);
Replier.SaveLog(Replier.Term);
}