コード例 #1
0
ファイル: CnfDisassembler.cs プロジェクト: xeno-by/rapt
        public override void Visit(TermNode node)
        {
            Term term;
            IAstTreeNode clauseRoot;

            if (node.Parent is NegationNode)
            {
                term = new Term(node, false);
                clauseRoot = node.Parent.Parent;
            }
            else if (node.Parent is OrNode || node.Parent is L1Expression)
            {
                term = new Term(node, true);
                clauseRoot = node.Parent;
            }
            else if (node.Parent is AndNode)
            {
                term = new Term(node, true);
                clauseRoot = node;
            }
            else
            {
                throw new NotSupportedException(String.Format(
                    "Not a CNF or fatal error: '{0}", node.Parent));
            }

            if (!_clauses.ContainsKey(clauseRoot)) _clauses[clauseRoot] = new Clause();
            _clauses[clauseRoot].Terms.Add(term);
        }
コード例 #2
0
ファイル: ZeroActionVisitor.cs プロジェクト: xeno-by/rapt
 public virtual void Visit(TermNode node){}
コード例 #3
0
ファイル: TreeDumper.cs プロジェクト: xeno-by/rapt
        public override void Visit(TermNode node)
        {
            writer.WriteLine(node.ToString());
//            writer.WriteLine(node.Token);
        }
コード例 #4
0
ファイル: Term.cs プロジェクト: xeno-by/rapt
 public Term(TermNode node, bool polarity)
 {
     Polarity = polarity;
     TermNode = node;
 }
コード例 #5
0
ファイル: Term.cs プロジェクト: xeno-by/rapt
 public Term(TermNode node)
     :this(node, node.Parent == null ? true : !(node.Parent is NegationNode))
 {
 }
コード例 #6
0
ファイル: ZeroActionXformer.cs プロジェクト: xeno-by/rapt
 protected virtual IAstTreeNode Xform(TermNode node) { return null; }
コード例 #7
0
ファイル: ZeroActionXformer.cs プロジェクト: xeno-by/rapt
 public sealed override void Visit(TermNode node) { VisitAndXform(node, Xform(node)); }