C++ (Cpp) literalt::invert Examples

Example #1

File: z3_prop.cpp Project: smaorus/rvt

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

  return a;
}

Example #2

File: boolector_prop.cpp Project: smaorus/rvt

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