public void AutoEvaluateFlag(Port port, NodeFlag flag)
{
IAutoEvaluationTheoremProvider <NodeFlag> provider = GetTheoremProvider(flag);
if (provider == null)
{
return;
}
IAutoEvaluationTheorem <NodeFlag> theorem;
GroupCollection groups;
if (!provider.TryLookupBest(port, out theorem, out groups))
{
return;
}
theorem.AutoEvaluate(port, groups);
}
public void AutoEvaluateProperty(Bus bus, NodeProperty property)
{
IAutoEvaluationTheoremProvider <NodeProperty> provider = GetTheoremProvider(property);
if (provider == null)
{
return;
}
IAutoEvaluationTheorem <NodeProperty> theorem;
GroupCollection groups;
if (!provider.TryLookupBest(bus, out theorem, out groups))
{
return;
}
theorem.AutoEvaluate(bus, groups);
}
