C++ (Cpp) literalt::invert Beispiele

Beispiel #1

Datei: z3_prop.cpp Projekt: smaorus/rvt

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

  return a;
}

Beispiel #2

Datei: boolector_prop.cpp Projekt: smaorus/rvt

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