protected void eventCondition(IAutomataTransitionConditionFinite condition)
        {
            //string startID;
            //string endID;
            //if (transtion.StateStart != null) { startID = transtion.StateStart.GetID(); } else { startID = "<null>"; };
            //if (transtion.StateEnd != null) { endID = transtion.StateEnd.GetID(); } else { endID = "<null>"; };
            //TesterLog("eventCondition", startID + "->" + endID + " # " + "evaluating condition");

            TesterLog("eventCondition", "evaluating condition");
        }
 public void DoOnEval(IAutomataTransitionConditionFinite condition)
 {
     if (OnEval != null)
     {
         OnEval(condition);
     }
 }
 public void decision_Receiving_Idle(IAutomataTransitionConditionFinite condition, EventArgsAllow args)
 {
     //Not measuring anything
     //Second step of cycle
     args.Allow = (BufferReceive.Count == 0);
 }
 public void decision_Idle_Sending(IAutomataTransitionConditionFinite condition, EventArgsAllow args)
 {
     args.Allow = (BufferSend.Count > 0);
 }
 protected void eventCondition(IAutomataTransitionConditionFinite condition)
 {
     //TesterLog("eventCondition", "evaluating condition");
 }
 public static void TransitionConditionRandom(IAutomataTransitionConditionFinite condition, EventArgsAllow args)
 {
     args.Allow = RandomnessFactory.GetSingleBinary();
 }
 public static void TransitionConditionNever(IAutomataTransitionConditionFinite condition, EventArgsAllow args)
 {
     args.Allow = false;
 }
 public static void TransitionConditionAlways(IAutomataTransitionConditionFinite condition, EventArgsAllow args)
 {
     args.Allow = true;
 }