Class ResolverResult<A extends Activity>

    • Constructor Detail

      • ResolverResult

        public ResolverResult​(Map<A,​Placement<A>> placements,
                              int maxColumnsCount)
        Constructs a new resolver result.
        Parameters:
        placements - the position map
        maxColumnsCount - the maximum number of columns needed for all clusters
    • Method Detail

      • getPlacements

        public Map<A,​Placement<A>> getPlacements()
        Returns the placement map.
        Returns:
        the placements
      • getMaxColumns

        public int getMaxColumns()
        The maximum number of columns for all clusters found as part of the resolution.
        Returns:
        the maximum number of columns