Exemplo n.º 1
0
 private bool Valid(TruthAssignment ta)
 {
     foreach (var thisTa in rows)
     {
         if (thisTa.Agrees(ta))
         {
             return(true);
         }
     }
     return(false);
 }
Exemplo n.º 2
0
 public bool Agrees(TruthAssignment ta)
 {
     foreach (var key in values.Keys)
     {
         if (ta.ContainsVar(key) && ta[key] != values[key])
         {
             return(false);
         }
     }
     return(true);
 }