C# (CSharp) Slicer.Analyzers.FOLConverter.Formulae2Clauses NNFVisitor Examples

Example #1

File: NNFVisitorN.cs Project: uriJuhasz/Boogie_verifier

 internal NNFVisitorN(NNFVisitor positiveVisitor)
 {
     p = positiveVisitor;
     n = this;
 }

Example #2

File: NNFVisitor.cs Project: uriJuhasz/Boogie_verifier

 public NNFVisitor()
 {
     n = new NNFVisitorN(this);
     p = this;
 }