Class VectorKillFlowFunction

    • 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