コード例 #1
0
 private ConstantPropagationDomain FreshCurrent()
 {
     return(current.Clone());
 }