コード例 #1
0
ファイル: z3_prop.cpp プロジェクト: smaorus/rvt 
literalt z3_propt::lnot(literalt a)
{
  a.invert();

  return a;
}
コード例 #2
0
ファイル: boolector_prop.cpp プロジェクト: smaorus/rvt 
literalt boolector_propt::lnot(literalt a)
{
  a.invert();
  return a;
}