Project

General

Profile

Actions

Feature #28

open

Improve methods in domains

Added by Anonymous almost 10 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;});
                [...]
        }

No data to display

Actions

Also available in: Atom PDF