Interface Positions

    • Method Detail

      • merge

        Positions merge​(Positions other)
        Merge this Position with another one returning a new Position resulting of this merge.
        Parameters:
        other - Positions instance.
        Returns:
        new Positions instance.
      • children

        List<? extends Positions> children()
        Return this position children Positions.
        Returns:
        Iterable of Positions.
      • size

        int size()
        The size of this positions. The semantic changes between different implementation of Positions.
        Returns:
        int.