Package jline.api.mdd

Interface MddNextState

public interface MddNextState
Next-state function of a structured model, over local-index tuples.

Given a global state as a K-tuple of 0-based local values, returns the rows of its successor states. Used by Mdd_reachset to generate the reachable set.

  • Method Summary

    Modifier and Type
    Method
    Description
    int[][]
    next(int[] state)
     

  • Method Details

    • next

      int[][] next(int[] state)
      Parameters:
      state - a K-tuple of 0-based local values
      Returns:
      an (m x K) array whose rows are the successors of state