コード例 #1
0
ファイル: RU.cs プロジェクト: uriJuhasz/Boogie_verifier 
 internal override MSGTTRTC makeMSGTTRTC(MSGTTRT rt)
 {
     return(new RMSGTTRTC(this, rt));
 }
コード例 #2
0
ファイル: RU.cs プロジェクト: uriJuhasz/Boogie_verifier 
 public RMSGTTRTC(RU universe, MSGTTRT rt)
     : base(universe, rt)
 {
     this.universe = universe;
 }