Exemplos de literalt::invert em C++ (Cpp)

Exemplo n.º 1

Arquivo: z3_prop.cpp Projeto: smaorus/rvt

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

  return a;
}

Exemplo n.º 2

Arquivo: boolector_prop.cpp Projeto: smaorus/rvt

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