runs emptiness query for given size . returns if sat . appends output to out out may be null . concode_field_sep PlaceHolder placeHolder concode_field_sep Pair<Boolean,Double> run concode_elem_sep Pair<Boolean,Double> runIntersection
Pair < Boolean , Double > function ( int arg0 , StringBuilder arg1 , File arg2 ) { return run ( arg0 , arg1 , "srini_string" , arg2 ) ; }