diff --git a/AlgebraicDataflowArchitectureModel/models/Algolike.model b/AlgebraicDataflowArchitectureModel/models/Algolike.model index ab7e747..97aef04 100644 --- a/AlgebraicDataflowArchitectureModel/models/Algolike.model +++ b/AlgebraicDataflowArchitectureModel/models/Algolike.model @@ -2,6 +2,8 @@ deck := nil handsA := nil handsB := nil + guessA := 0 + guessB := 0 } channel targetAInput{ out targetA(t:Int, setTargetA(a:Int)) == a @@ -21,6 +23,9 @@ channel guessBInput{ out guessB(t:Int, setGuessB(b:Int)) == b } +channel addDeck{ + out deck(d:List, addCard(num:Integer)) == cons(tuple(num, false), d) +} channel drawAInput{