CounterMachinePrelim

IsZeromodel <h2>OutputFunction</h2>Has no parameters. <h2>TransitionFunctio</h2>Has no parameters. <h2>SampleDelay</h2><table border="1"><tr><td><b>Parameter</b></td><td><b>Expression</b></td><td><b>Value</b></td></tr><tr><td>initialOutputs</td><td>{true}</td><td>{true}</td></tr></table>