Container Add a new value to a container. The size of the container is extended by 1 and the new value is added as the last element of the container. Container Return an iterator over the values. Note the interator returned is not a standard java.util.iterator. This will enable the freeing of resources in, for example, implementations which store their models in a database.
Container return the number values in the container.
Container Remove a value from the container. The predicate of the statement s identifies the ordinal of the value to be removed. Once removed, the values in the container with a higher ordinal value are renumbered. The renumbering algorithm depends on the type of container. The statement to be removed from the model.