boolean function ( List arg0 , Collection arg1 ) { for ( Iterator loc0 = arg0 . iterator ( ) ; loc0 . hasNext ( ) ; ) { Region loc1 = ( Region ) loc0 . next ( ) ; if ( loc1 . arg1 . containsAll ( arg1 ) ) return true ; } return false ; }
returns true if any region in regions contains all the variables in vars . concode_field_sep BaseRegionComputer regionComputer concode_elem_sep boolean debug concode_elem_sep Logger logger concode_field_sep void addEdgesForOverlaps concode_elem_sep List computeOverlaps concode_elem_sep void addAllFactors concode_elem_sep List computeBaseRegions concode_elem_sep List computeBaseRegions concode_elem_sep List computeBaseRegions concode_elem_sep void removeSubsumedRegions concode_elem_sep RegionGraph constructRegionGraph