Module dev.civl.gmc
Package dev.civl.gmc.dpor

Interface DependencyAnalyzer<STATE,TRANSITION>

public interface DependencyAnalyzer<STATE,TRANSITION>

  • Method Summary

    Modifier and Type
    Method
    Description
    boolean
    checkDependent(DporSearchStack<STATE,TRANSITION> stack, int stackIndex, int pid)
    Checks whether the transition at "stackIndex" in the stack is dependent with process pid
    int
    numCrossTraceSteps()
    Number of trace steps executed from a "cross state" (see
    invalid reference 
    ImmutableStateFactory#crossState
    ) for the purposes of determining dependence.
    int
    numCrossTransitions()
    Number of transitions executed from a "cross state" (see
    invalid reference 
    ImmutableStateFactory#crossState
    ) for the purposes of determining dependence.

  • Method Details

    • numCrossTransitions

      int numCrossTransitions()
      Number of transitions executed from a "cross state" (see
      invalid reference 
      ImmutableStateFactory#crossState
      ) for the purposes of determining dependence.

    • numCrossTraceSteps

      int numCrossTraceSteps()
      Number of trace steps executed from a "cross state" (see
      invalid reference 
      ImmutableStateFactory#crossState
      ) for the purposes of determining dependence.

    • checkDependent

      boolean checkDependent(DporSearchStack<STATE,TRANSITION> stack, int stackIndex, int pid)
      Checks whether the transition at "stackIndex" in the stack is dependent with process pid
      Parameters:
      stack - The current search stack
      stackIndex - The index on the stack of the transition which we are checking dependency with
      pid - The process id of the process we want to check dependency against
      Returns: