C# (CSharp) CPTR571A ClauseNodeの例

コード例 #1

ファイル: PrinterVisitor.cs プロジェクト: SAUCS/CPTR-571-A

 public void Visit(ClauseNode programNode)
 {
     programNode.subject.Accept(this);
     Print(" :- ");
     programNode.predicate.Accept(this);
     PrintLine(".");
 }

コード例 #2

ファイル: XMLPrinterVisitor.cs プロジェクト: SAUCS/CPTR-571-A

 public void Visit(ClauseNode programNode)
 {
     PrintLine("<program>");
     indent();
     programNode.subject.Accept(this);
     unindent();
     PrintLine(":-");
     indent();
     programNode.predicate.Accept(this);
     unindent();
     PrintLine(".");
     PrintLine("</program>");
 }

コード例 #3

ファイル: DatabaseFactSaverVisitor.cs プロジェクト: SAUCS/CPTR-571-A

 public void Visit(ClauseNode programNode)
 {
     programNode.subject.Accept(this);
     programNode.predicate.Accept(this);
 }

コード例 #4

ファイル: EvaluationVisitor.cs プロジェクト: SAUCS/CPTR-571-A

 public void Visit(ClauseNode programNode)
 {
     throw new NotImplementedException ();
 }

コード例 #5

ファイル: ConstraintNormalizationVisitor.cs プロジェクト: SAUCS/CPTR-571-A

 public void Visit(ClauseNode programNode)
 {
     programNode.predicate.Accept(this);
     PrinterVisitor xpr = new PrinterVisitor(Console.Out);
     programNode.Accept(xpr);
 }