de.sayayi.lib.zbdd

Interface ZbddCapacityAdvisor

public interface ZbddCapacityAdvisor

See Also:

Zbdd.Zbdd(ZbddCapacityAdvisor)

Method Summary

Modifier and Type	Method and Description
@Range(from=1L,to=357913941L) int	adviseIncrement(@NotNull ZbddStatistics statistics)
@Range(from=8L,to=357913941L) int	getInitialCapacity() Return the initial number of nodes available for zbdd operations.
@Range(from=1L,to=357913941L) int	getMinimumFreeNodes(@NotNull ZbddStatistics statistics) Returns the minimum number of free nodes.
boolean	isGCRequired(@NotNull ZbddStatistics statistics) Tells whether dead nodes should be garbage collected.

Method Detail

getInitialCapacity

@Contract(pure=true)
@Range(from=8L,to=357913941L) int getInitialCapacity()

Return the initial number of nodes available for zbdd operations.

Returns:

initial capacity, at least 8

getMinimumFreeNodes

@Contract(pure=true)
@Range(from=1L,to=357913941L) int getMinimumFreeNodes(@NotNull
                                                                           @NotNull ZbddStatistics statistics)

Returns the minimum number of free nodes. This method is invoked directly after node garbage collection. If the remaining number of free nodes is less than the value returned by this method, the zbdd node capacity is increased.

Parameters:

statistics - current zbdd statistics, not null

Returns:

minimum number of free nodes (> 0)

See Also:

adviseIncrement(ZbddStatistics)

adviseIncrement

@Contract(pure=true)
@Range(from=1L,to=357913941L) int adviseIncrement(@NotNull
                                                                       @NotNull ZbddStatistics statistics)

isGCRequired

@Contract(pure=true)
boolean isGCRequired(@NotNull
                                          @NotNull ZbddStatistics statistics)

Tells whether dead nodes should be garbage collected. This method is invoked as soon as a new node is created and the number of free nodes is 1 or 0.

Garbage collection is an expensive operation and only useful if a substantial number of nodes are exopected to be freed in the process. The current number of dead nodes may be a good indicator but is not a guarantee that those nodes are invalidated.

Parameters:

statistics - current zbdd statistics, not null

Returns:

true if garbage collection is required, false otherwise