private void InferFlags(B.SystemPlan plan)
{
foreach (A.HandlerDecl h in Handlers)
{
foreach (var flag in h.RHS.GetFlags())
{
plan.AddBoolFlag(flag);
}
foreach (var a in h.Context)
{
foreach (var flag in a.RHS.GetFlags())
{
plan.AddBoolFlag(flag);
}
}
}
plan.NormaliseFlags();
Console.WriteLine($"[A2B] Inferred flags: Boolean {plan.AllBoolFlags()}; counter {plan.AllIntFlags()}");
}
