• Home
• org.tweetyproject
• action
• 1.27
• source code

×

Project download

Many resources are needed to download a project. Please understand that we have to compensate our server costs. Thank you in advance.
Project price only 1 $

You can buy this project and download/modify it how often you want.

ject.action.1.27.source-code.water.query Maven / Gradle / Ivy

% Flowers can be wet
!always [!flowersWet]
% turning the valve on causes water flow whenever possible
necessarily [waterFlowing] after {turnWaterOn}
% flowers may be watered either by being wet already, or by turning the water on, or by plugging in the hose and then turning the water on
holds [flowersWet] || necessarily [flowersWet] after {turnWaterOn} || necessarily [flowersWet] after {plugHose};{turnWaterOn}
% dry flowers will not get wet if the hose is not plugged in
!holds [!flowersWet && !hosePluggedIn] || necessarily [!flowersWet] after {turnWaterOn}