Exemplos de BddSharp.Kernel TEntry.GetVar em C# (CSharp)

Exemplo n.º 1

 private static bool Used(TEntry entry)
 {
     return(entry.GetVar() > 0 || entry.u > 0);
 }

Exemplo n.º 2

 private static bool Null(TEntry entry)
 {
     return(entry.u == 0 && entry.GetVar() == 0);
 }