HATP » hatponboard-lib

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;});
                [...]
        }