Ejemplos de literalt::invert en C++ (Cpp)

Ejemplo n.º 1

Archivo: z3_prop.cpp Proyecto: smaorus/rvt

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

  return a;
}

Ejemplo n.º 2

Archivo: boolector_prop.cpp Proyecto: smaorus/rvt

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