BlackBox Framework Center

Code: Select all

MODULE BBChairShortCircuit;	

	IMPORT
		Services;
		
	VAR
		T:	LONGINT; (*Termination time of vote*)
		Q:	INTEGER;	(*Quorum number*)
		q:	INTEGER; (*Number of members who have voted*)
		dB:	INTEGER; (*Excess of Best score over the next runner up (not including abstain*)
		M:	INTEGER; (*Missing members who have not yet voted*)
(*
*)
	
	PROCEDURE ShortCircuitVote* (VAR o: INTEGER): BOOLEAN;
	VAR time: LONGINT;
	BEGIN
		time := Services.Ticks();
		WHILE time < T DO
			IF (M < dB) OR (Q<=q) THEN
				(* o := Option(B); option that wins the vote*)
				RETURN TRUE
			END;
			time := Services.Ticks();
		END;
		RETURN FALSE
	END ShortCircuitVote;
	
END BBChairShortCircuit.

Code: Select all

	PROCEDURE ShortCircuitVote* (VAR o: INTEGER): BOOLEAN;
	VAR time: LONGINT; flag: BOOLEAN;
	BEGIN
		time := Services.Ticks();
		WHILE (time < T) & (dB <= M) DO time := Services.Ticks() END;
		flag :=  (M < dB) OR (Q<=q);
		IF flag THEN (* o := Option(B); option that wins the vote*) END;
		RETURN flag
	END ShortCircuitVote;
	

Code: Select all

	PROCEDURE ShortCircuitVote* (VAR option: INTEGER): BOOLEAN;
	VAR time: LONGINT; flag: BOOLEAN;
	BEGIN
		WHILE (time < cutOff) & ~Short(count) DO IncrementTime(time) END;
		flag :=  Short(count) OR Quorum(count);
		IF flag THEN option := Option(count)  END; (*option that wins the vote*)
		RETURN flag
	END ShortCircuitVote;