Skip to content

Instantly share code, notes, and snippets.

@ewenmaclean

ewenmaclean/wcg_fill_action.ipl

Created July 16, 2020 09:50
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 ewenmaclean/dbdc0e5c0b88255a3ef63924230f76cd to your computer and use it in GitHub Desktop.
Save ewenmaclean/dbdc0e5c0b88255a3ef63924230f76cd to your computer and use it in GitHub Desktop.
Download ZIP
Raw
wcg_fill_action.ipl
action fill {
obj :?obj
act : act
validate{!state.cabbage == Eaten && !state.goat == Eaten}
validate{this.act == SwapTransit <==> !present(this.obj)}
validate{state.transit == Exchange}
}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment