Module dev.civl.gmc

Package dev.civl.gmc.dpor

package dev.civl.gmc.dpor
  • Class
    Description
    DependencyAnalyzer<STATE,TRANSITION>
     
    DporDfsSearcher<STATE,TRANSITION>
     
    DporHbSet
    Maintains a set of stack entries which are downward closed wrt to the happens-before relation.
    DporNode<STATE,TRANSITION>
    Wraps a STATE object with transition caching and persistent data used in the DPOR search
    DporNodeFactory<STATE,TRANSITION>
     
    DporSearchStack<STATE,TRANSITION>
    This class represents the search stack used in the DPOR algorithm.
    DporStackEntry<STATE,TRANSITION>
    An element of the DporSearchStack.
    DporTransitionData
    A simple structure to bundle data that is associated to a transition in an execution explored by DPOR.