wyal.lang

Interface Domain.Value.Array

Enclosing interface:

Domain.Value

public static interface Domain.Value.Array

Represents an abstract array value which has a potentially infinite number of array values.

Author:

David J. Pearce

Method Summary

Modifier and Type	Method and Description
Domain.Value	getIndex(Domain.Value.Integer index)
Domain.Value.Integer	length()
Domain.Value.Array	setIndex(Domain.Value.Integer index, Domain.Value value)

Method Detail

length

Domain.Value.Integer length()

getIndex

Domain.Value getIndex(Domain.Value.Integer index)

setIndex

Domain.Value.Array setIndex(Domain.Value.Integer index,
                            Domain.Value value)