Tom Hawkins-2 wrote:
If you are using the latest version of Atom, asserts are checked
between the execution of every rule. The way you've coded it, it may
appear as if the assertions are checked along with the associated
rules, but this is not the case. And not only are the assertions
Tom Hawkins-2 wrote:
Would you explain what you are trying to do a bet more clearly?
Certainly. I am writing an autonomous rover. To choose the direction to
drive towards, the car compares the direction it wants to go with the
direction it is actually facing. To avoid continuously
Tom Hawkins-2 wrote:
period 20 $ atom checkSomeStuff $ do
cond ok
assert A a
assert B b
cover C c
I am trying to generate a square wave. Here's the code:
square - bool square False
period 2 $ atom square high $ phase 0 $ do
square == true
assert
== heading
br, miaubiz
Tom Hawkins-2 wrote:
The work around is to assign the result to an external variable. The
drawback is the result will not be available until the rule executing
the action has completed.
results - bool' result -- Global, external variable to capture
result