ject.action.1.19.source-code.conditioner.desc Maven / Gradle / Ivy
:- signature
fluent oncondition
fluent cooling
action switchcondition
action switchheat
:- rules
inertial oncondition
inertial !oncondition
inertial cooling
inertial !cooling
caused !cooling if !oncondition
caused oncondition after switchcondition && !oncondition
caused !oncondition after switchcondition && oncondition
caused cooling after switchheat && oncondition && !cooling
caused !cooling after switchheat && cooling