Exemple #1
0
literalt z3_propt::lnot(literalt a)
{
  a.invert();

  return a;
}
Exemple #2
0
literalt boolector_propt::lnot(literalt a)
{
  a.invert();
  return a;
}