Class VectorGenFlowFunction

    • 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 VectorGenFlowFunction make​(IntSet gen)
        Parameters:
        gen - the intset of facts which should be gen'ed by a function
        Returns:
        an instance of a flow function which gens these facts