Java ECR.createBottomの例

コード例 #1

ファイル: UnionFindECR.java プロジェクト: wei-wang-523/cascade

 /**
  * Create a pair of location ECR and function ECR, both with bottome type
  *
  * @return
  */
 private Pair<ECR, ECR> createBottomLocFunc() {
   ECR loc = ECR.createBottom();
   ECR func = ECR.createBottom();
   return Pair.of(loc, func);
 }