[Smartfrog-checkins] [Smartfrog.org-JIRA] Commented: (SFOS-1025) Useful additional constraint functionality:

[andrew f. (JIRA) <ji...@sm...>]

    [ http://jira.smartfrog.org/jira/browse/SFOS-1025?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel&focusedCommentId=11415#action_11415 ] 

andrew farrell commented on SFOS-1025:
--------------------------------------

Done. Just needs check-in.

> Useful additional constraint functionality:
> -------------------------------------------
>
>                 Key: SFOS-1025
>                 URL: http://jira.smartfrog.org/jira/browse/SFOS-1025
>             Project: SmartFrog
>          Issue Type: Improvement
>            Reporter: andrew farrell
>            Assignee: andrew farrell
>
> Multi-dimensional arrays.
> Pre-specified values in arrays.
> Arbitrary quantified propositions over array members.

-- 
This message is automatically generated by JIRA.
-
If you think it was sent incorrectly contact one of the administrators: http://jira.smartfrog.org/jira/secure/Administrators.jspa
-
For more information on JIRA, see: http://www.atlassian.com/software/jira