コード例 #1
0
ファイル: Rule.cs プロジェクト: jdaless/LogSharp 
 public Negation(Term a)
 {
     _left = a;
 }
コード例 #2
0
ファイル: Rule.cs プロジェクト: jdaless/LogSharp 
 public Disjunction(Term a, Term b)
 {
     _left  = a;
     _right = b;
 }
コード例 #3
0
ファイル: Rule.cs プロジェクト: jdaless/LogSharp 
 public Implication(Term a, Term b)
 {
     _left  = a;
     _right = b;
 }