From ebfa89b0a72c1cfbd02e526dd09818ffb073e466 Mon Sep 17 00:00:00 2001 From: Raycho Mukelov Date: Sat, 28 Oct 2023 21:07:41 +0300 Subject: [PATCH] Fix --- raft/consensus_state_machine.nim | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/raft/consensus_state_machine.nim b/raft/consensus_state_machine.nim index 6b1b953..24db363 100644 --- a/raft/consensus_state_machine.nim +++ b/raft/consensus_state_machine.nim @@ -25,7 +25,7 @@ type ConsensusFSMCallbackType*[NodeType] = proc(node: NodeType) {.gcsafe.} # Define Non-Terminals as a (unique) tuples of the internal state and a sequence of callbacks NonTerminalSymbol*[NodeType] = (NodeType, seq[ConsensusFSMCallbackType[NodeType]]) - # Define loose conditions computed from our NodeType (Truth Table) + # Define logical functions (conditions) computed from our NodeType etc. (Truth Table) LogicalFunctionConditionValueType* = bool LogicalFunctionCondition*[EventType, NodeTytpe, RaftMessageBase] = proc(e: EventType, n: NodeTytpe, msg: Option[RaftMessageBase]): bool LogicalFunctionConditionsLUT*[EventType, NodeType, RaftMessageBase] = Table[(EventType, NodeType), LogicalFunctionCondition[EventType, NodeType, Option[RaftMessageBase]]]