Method Detail

• getTargets

  public IntSet getTargets(int i)

  Specified by:

  getTargets in interface IUnaryFlowFunction

  Returns:

  set of d2 such that (d1,d2) is an edge in this distributive function's graph representation, or null if there are none

• getSources

  public IntSet getSources(int i)

  Specified by:

  getSources in interface IReversibleFlowFunction

  Returns:

  set of d1 such that (d1,d2) is an edge in this distributive function's graph representation, or null if there are none

• make

  public static VectorKillFlowFunction make(IntSet kill)

  Parameters:

  kill - the intset of facts which should be killed by a function

  Returns:

  an instance of a flow function which kills these facts

• toString

  public String toString()

  Overrides:

  toString in class Object