Hierarchy For Package com.inubit.research.validation.bpmn.soundness

Package Hierarchies:

• All Packages

Class Hierarchy

• java.lang.Object
  • com.inubit.research.validation.bpmn.soundness.BPMNSimulator
  • com.inubit.research.validation.bpmn.soundness.ProcessState
  • com.inubit.research.validation.bpmn.soundness.ReachabilityGraph
  • com.inubit.research.validation.bpmn.soundness.ReachabilityGraphEdge
  • com.inubit.research.validation.bpmn.soundness.ReachabilityGraphNode
  • com.inubit.research.validation.bpmn.soundness.SoundnessChecker
  • com.inubit.research.validation.bpmn.soundness.SoundnessChecker.Direction
  • java.lang.Throwable (implements java.io.Serializable)
    • java.lang.Exception
      • com.inubit.research.validation.bpmn.soundness.StateSpaceException

Enum Hierarchy

• java.lang.Object
  • java.lang.Enum<E> (implements java.lang.Comparable<T>, java.io.Serializable)
    • com.inubit.research.validation.bpmn.soundness.SoundnessChecker.SplitOrJoinType