コード例 #1
0
ファイル: Not.cs プロジェクト: uriJuhasz/Boogie_verifier 
 public override int GetHashCode()
 {
     return(f.GetHashCode() + 1);
 }