From e656e46e7cb136d861fd433cea8e32c585b235d9 Mon Sep 17 00:00:00 2001 From: Marc Hernandez Date: Sun, 7 Apr 2024 19:21:52 -0700 Subject: [PATCH] x) minor renames --- imm/FSM.cs | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/imm/FSM.cs b/imm/FSM.cs index 44bf500..e492ac2 100644 --- a/imm/FSM.cs +++ b/imm/FSM.cs @@ -28,6 +28,8 @@ public record class State : imm.Recorded> } } + + public record class FSM : imm.Recorded> where T : FSM where CTX : Context @@ -36,10 +38,10 @@ public record class FSM : imm.Recorded> public CTX Context { get; private set; } public ST State { get; private set; } - public FSM(CTX context, ST state) + public FSM( CTX context, ST stStart ) { Context = context; - State = state; + State = stStart; } public FSM Transition(ST newState)