de.sayayi.lib.zbdd

Interface ZbddStatistics

public interface ZbddStatistics

Zbdd statistics.

See Also:

Zbdd.getStatistics()

Method Summary

Modifier and Type	Method and Description
default int	getAvailableNodes()
int	getDeadNodes() Returns the current number of dead nodes.
int	getFreeNodes() Returns the number of free nodes.
int	getGCCount() Returns the total number of garbage collection calls.
long	getGCFreedNodes() Returns the cumulative number of nodes freed by grabage collection.
long	getMemoryUsage() Returns a rough estimation of the number of bytes used by the zbdd.
int	getNodeLookupHitCount()
default double	getNodeLookupHitRatio()
default double	getNodeLookupMissRatio()
int	getNodeLookups() Return the number of node lookups.
int	getNodesCapacity() Returns the current node capacity.
default int	getOccupiedNodes()
int	getRegisteredVars() Returns the number of registered variables.

Method Detail

getNodesCapacity

@Contract(pure=true)
int getNodesCapacity()

Returns the current node capacity.

Returns:

node capacity

getFreeNodes

@Contract(pure=true)
int getFreeNodes()

Returns the number of free nodes.

Returns:

free node count

getDeadNodes

@Contract(pure=true)
int getDeadNodes()

Returns the current number of dead nodes.

Returns:

dead node count

getAvailableNodes

@Contract(pure=true)
default int getAvailableNodes()

getOccupiedNodes

@Contract(pure=true)
default int getOccupiedNodes()

getNodeLookups

@Contract(pure=true)
int getNodeLookups()

Return the number of node lookups.

Returns:

number of node lookups

getNodeLookupHitCount

@Contract(pure=true)
int getNodeLookupHitCount()

getNodeLookupHitRatio

@Contract(pure=true)
default double getNodeLookupHitRatio()

getNodeLookupMissRatio

@Contract(pure=true)
default double getNodeLookupMissRatio()

getGCCount

@Contract(pure=true)
int getGCCount()

Returns the total number of garbage collection calls.

Returns:

garbage collection count

getGCFreedNodes

@Contract(pure=true)
long getGCFreedNodes()

Returns the cumulative number of nodes freed by grabage collection.

Returns:

cumulative number of freed nodes

getMemoryUsage

@Contract(pure=true)
long getMemoryUsage()

Returns a rough estimation of the number of bytes used by the zbdd.

Returns:

memory usage in bytes

getRegisteredVars

@Contract(pure=true)
int getRegisteredVars()

Returns the number of registered variables.

Returns:

registered variable count