Package org.jspace

Interface SpaceFactory


public interface SpaceFactory
Factory used to build spaces.
  • Method Summary

    Modifier and Type Method Description
    Space newSpace​(int bound)
    Create a new space with a given max number of elements inside.
  • Method Details

    • newSpace

      Space newSpace​(int bound)
      Create a new space with a given max number of elements inside. If bound is <=0 then the space is unbounded.
      Parameters:
      bound - a limit on the number of elements in the space.
      Returns:
      a new space.