de.unisaarland.cs.st.jerify.verifier.cfg.flownodes.typestate

Classes  TSDummyFlowNode TSFixpointerIterationFlowNode TSFlowNode TSStateChangingFlowNode TSStateFilterNode TSStateSetFlowNode TSTransitionFlowNode