C# (CSharp) Logic.Matrixの例

コード例 #1

ファイル: ParseTesting.cs プロジェクト: drwiner/UnaryPredicateLogic

 public void Test_Propositions()
 {
     Logic.Matrix lMatrix = Logic.Parser.Parse(new string[] { "A" });
     lMatrix = Logic.Parser.Parse(new string[] { "a" });
     lMatrix = Logic.Parser.Parse(new string[] { "a<=>A" });
     lMatrix = Logic.Parser.Parse(new string[] { "a&b" });
 }

コード例 #2

ファイル: ParseTesting.cs プロジェクト: drwiner/UnaryPredicateLogic

 public void Test_NumberedPredication()
 {
     Logic.Matrix lMatrix = Logic.Parser.Parse(new string[] { "1A" });
     lMatrix = Logic.Parser.Parse(new string[] { "2A" });
     lMatrix = Logic.Parser.Parse(new string[] { "3A" });
     lMatrix = Logic.Parser.Parse(new string[] { "0A" });
 }