示例#1
0
        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);
        }
示例#2
0
        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);
        }