Class GuardedBranchTransitionHandler

java.lang.Object
org.palladiosimulator.solver.handler.AbstractBranchTransitionHandler
org.palladiosimulator.solver.handler.GuardedBranchTransitionHandler

public class GuardedBranchTransitionHandler extends AbstractBranchTransitionHandler
  • Constructor Details

    • GuardedBranchTransitionHandler

      public GuardedBranchTransitionHandler(SeffVisitor seffVisitor)
      Parameters:
      context -
      _visitor -
      nextHandler -
  • Method Details

    • handle

      public void handle(org.palladiosimulator.pcm.seff.GuardedBranchTransition bt)