Packages

p

com.cra.figaro.library

collection

package collection

Ordering
  1. Alphabetic
Visibility
  1. Public
  2. All

Type Members

  1. trait Container [Index, Value] extends Process[Index, Value]

    A Container is a Process with a defined sequence of indices.

  2. class ContainerElement [Index, Value] extends AnyRef

    Represents an element whose value is a container.

    Represents an element whose value is a container.

    Elements that are created by operations are put in the same universe as this element.

  3. class FixedSizeArray [Value] extends Container[Int, Value]

    A Figaro collection representing a fixed number of elements.

    A Figaro collection representing a fixed number of elements. The indices into the collection are the integers from 0 to the size - 1.

  4. class FixedSizeArrayElement [Value] extends ContainerElement[Int, Value]

    Holder for an element whose value is a fixed size array.

  5. trait IncrementalProcess [Index, Value] extends Process[Index, Value]

    A process in which you can incrementally get the elements at a set of indices, while producing a new process.

    A process in which you can incrementally get the elements at a set of indices, while producing a new process. The new process should take into account any dependencies with elements that have already been generated.

  6. trait IndependentProcess [Index, Value] extends Process[Index, Value]

    A process in which all elements are independent.

  7. class MakeArray [T] extends Deterministic[FixedSizeArray[T]] with ValuesMaker[FixedSizeArray[T]]

    An element representing a random process that generates an array of a variable number of items, in which each item is generated by an element defined by a given function.

    An element representing a random process that generates an array of a variable number of items, in which each item is generated by an element defined by a given function. MakeArray uses two streams: a stream of items in a potentially infinite array, and a stream of FixedSizeArray prefixes of this stream of increasing lengths. The value of the MakeArray element is one of these FixedSizeArrays, depending on the value of numItems.

  8. trait Process [Index, Value] extends AnyRef

    A Process maps indices to elements over values.

    A Process maps indices to elements over values.

    Elements, of course, have a universe. Wherever possible, operations on processes, such as getting elements, or mapping or chaining through a function, produce an element in the same universe as the original element. An exception is an element over an optional value created for an index out of range, which goes in the default universe, because there is no source element. Another exception is a fold operation on a container, which is given a universe (defaults to the current Universe.universe).

  9. class ProcessElement [Index, Value] extends AnyRef

    Represents an element whose value is a process.

    Represents an element whose value is a process.

    Elements that are created by operations are put in the same universe as this element.

Ungrouped