Esempi in C++ (Cpp) per literalt::invert

Esempio n. 1

File: z3_prop.cpp Progetto: smaorus/rvt

literalt z3_propt::lnot(literalt a)
{
  a.invert();

  return a;
}

Esempio n. 2

File: boolector_prop.cpp Progetto: smaorus/rvt

literalt boolector_propt::lnot(literalt a)
{
  a.invert();
  return a;
}