Michael Cashmore

Duration and instant action handling in KB and plan parser

2

This PR includes an update to the KB to store and provide durative action duration inequalities, as well as a flag to note whether an action is an instant action....

Domain constants added to problem

1

Constants are now added to the "get_instances" service, but when calling this service to generate a problem file, this replicates the domain constants, prompting an error or warning from the...

Fix instantaneous actions in the plan parser and plan dispatcher.

1

Instant actions in the Esterel plan should become a single node, containing both the effects and conditions of the action. This will solve the issue of unintended concurrent dispatch in...