C# (CSharp) Microsoft.Automata STbRule.IsTrueForAllRegisterUpdatesの例

コード例 #1

ファイル: Rule.cs プロジェクト: OlliSaarikivi/Automata

        public override bool IsTrueForAllRegisterUpdates(Predicate <TERM> pred)
        {
            foreach (var c in cases)
            {
                if (!c.Value.IsTrueForAllRegisterUpdates(pred))
                {
                    return(false);
                }
            }

            return(defaultcase.IsTrueForAllRegisterUpdates(pred));
        }

コード例 #2

ファイル: Rule.cs プロジェクト: OlliSaarikivi/Automata

 public override bool IsTrueForAllRegisterUpdates(Predicate <TERM> pred)
 {
     return(trueCase.IsTrueForAllRegisterUpdates(pred) && falseCase.IsTrueForAllRegisterUpdates(pred));
 }