constructs and returns a partitiongraph generated by applying ktails with the given k value to the given trace graph concode_field_sep Logger logger concode_field_sep boolean kEquals concode_elem_sep Set<List<EventType>> getNodeKStrings concode_elem_sep Set<List<EventType>> getNodeKStringHelper concode_elem_sep void kTails
PartitionGraph function ( ChainsTraceGraph arg0 , int arg1 ) { assert ( arg1 > 0 ) ; PartitionGraph loc0 = new PartitionGraph ( arg0 , false , null ) ; kTails ( loc0 , arg1 ) ; return loc0 ; }