C# (CSharp) BDDNode.GetId 예제들

예제 #1

파일: BDDToDNF.cs 프로젝트: IrinaLen/SAT

 public BDDToDNF(BDDNode bdd)
 {
     ToDNF("", bdd);
     if (total == "")
     {
         if (bdd.GetId() == 0)
         {
             total = "тождественная ложь";
         }
         if (bdd.GetId() == 1)
         {
             total = "тождественния истина";
         }
     }
 }

예제 #2

파일: BDDToDNF.cs 프로젝트: IrinaLen/SAT

 private void ToDNF(string curConj, BDDNode node)
 {
     if (node.GetId() == 0)
     {
         return;
     }
     if (node.GetId() == 1)
     {
         if (total.Any())
         {
             total += " + " + curConj;
         }
         else
         {
             total += curConj;
         }
         return;
     }
     ToDNF(curConj + "X" + node.GetVarId() + "\"", node.GetLow());
     ToDNF(curConj + "X" + node.GetVarId(), node.GetHigh());
 }