soot.jimple.spark.geom.ptinsE
Class PtInsIntervalManager

java.lang.Object
  soot.jimple.spark.geom.ptinsE.PtInsIntervalManager

public class PtInsIntervalManager
extends Object

Field Summary

static int

Divisions

Constructor Summary

PtInsIntervalManager()

Method Summary

SegmentNode	add_new_interval(long I1, long I2, long L)
void	flush()
SegmentNode[]	get_intervals()
boolean	isThereUnprocessedObject()
void	merge_flow_edges()
void	merge_points_to_tuples()
void	remove_useless_intervals()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

Divisions

public static final int Divisions

See Also:

Constant Field Values

Constructor Detail

PtInsIntervalManager

public PtInsIntervalManager()

Method Detail

get_intervals

public SegmentNode[] get_intervals()

isThereUnprocessedObject

public boolean isThereUnprocessedObject()

flush

public void flush()

add_new_interval

public SegmentNode add_new_interval(long I1,
                                    long I2,
                                    long L)

merge_points_to_tuples

public void merge_points_to_tuples()

merge_flow_edges

public void merge_flow_edges()

remove_useless_intervals

public void remove_useless_intervals()