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);
 }