Project

General

Profile

Feature #28

Improve methods in domains

Added by Raphaƫl Lallement about 5 years ago.

Status:
New
Priority:
Normal
Assignee:
-
Target version:
-

Description

It should be possible in two different scopes to have the same variable name, but this is not possible. It will make it possible to have :

        {
                preconditions{
                        FORALL(Agent UAV, {UAV>>E.carriedBy;}, {UAV.isAt==From;});
                [...]
        }
        {
                preconditions{
                        EXIST(Agent UAV, {UAV>>E.carriedBy;}, {UAV.isAt==From;});
                [...]
        }

Also available in: Atom PDF