Skip to content

Instantly share code, notes, and snippets.

@ddefb

ddefb/obstacle.mli

Created March 5, 2019 20:19
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save ddefb/4dd24d17e51c0b479784f01a30b34264 to your computer and use it in GitHub Desktop.
Save ddefb/4dd24d17e51c0b479784f01a30b34264 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
obstacle.mli
node obstacle(dist: int) returns (obs: bool)
let
automaton
state OBSTACLE do
obs = true;
unless (dist > 45) then NO_OBSTACLE
state NO_OBSTACLE do
obs = false;
unless (dist <= 45) then OBSTACLE
end
tel
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment