A B C D E G H I M P R S T U V Z _

A

adviseIncrement(ZbddStatistics) - Method in interface de.sayayi.lib.zbdd.ZbddCapacityAdvisor

atomize(int) - Method in class de.sayayi.lib.zbdd.Zbdd

B

base() - Method in class de.sayayi.lib.zbdd.Zbdd

Returns the base zbdd set.

C

change(int, int) - Method in class de.sayayi.lib.zbdd.Zbdd

checkVar(int) - Method in class de.sayayi.lib.zbdd.Zbdd

checkZbdd(int, String) - Method in class de.sayayi.lib.zbdd.Zbdd

clear() - Method in interface de.sayayi.lib.zbdd.cache.ZbddCache

clear() - Method in class de.sayayi.lib.zbdd.cache.ZbddFastCache

clear() - Method in class de.sayayi.lib.zbdd.Zbdd

Clear all nodes from this zbdd instance.

clone() - Method in class de.sayayi.lib.zbdd.Zbdd

contains(int, int) - Method in class de.sayayi.lib.zbdd.Zbdd

count(int) - Method in class de.sayayi.lib.zbdd.Zbdd

createVar() - Method in class de.sayayi.lib.zbdd.Zbdd

Create a new literal/variable.

cube(int) - Method in class de.sayayi.lib.zbdd.Zbdd

Returns a zbdd set with the given var as its only element.

cube(int...) - Method in class de.sayayi.lib.zbdd.Zbdd

Returns a zbdd set with the given vars combined as its only element.

D

de.sayayi.lib.zbdd - package de.sayayi.lib.zbdd

de.sayayi.lib.zbdd.cache - package de.sayayi.lib.zbdd.cache

decRef(int) - Method in class de.sayayi.lib.zbdd.Zbdd

difference(int, int) - Method in class de.sayayi.lib.zbdd.Zbdd

divide(int, int) - Method in class de.sayayi.lib.zbdd.Zbdd

E

empty() - Method in class de.sayayi.lib.zbdd.Zbdd

Returns the empty zbdd set.

ensureCapacity() - Method in class de.sayayi.lib.zbdd.Zbdd

G

gc() - Method in class de.sayayi.lib.zbdd.Zbdd

getAvailableNodes() - Method in interface de.sayayi.lib.zbdd.ZbddStatistics

getCubeName(int[]) - Method in interface de.sayayi.lib.zbdd.ZbddLiteralResolver

Return the string representation of a cube.

getDeadNodes() - Method in interface de.sayayi.lib.zbdd.ZbddStatistics

Returns the current number of dead nodes.

getFreeNodes() - Method in interface de.sayayi.lib.zbdd.ZbddStatistics

Returns the number of free nodes.

getGCCount() - Method in interface de.sayayi.lib.zbdd.ZbddStatistics

Returns the total number of garbage collection calls.

getGCFreedNodes() - Method in interface de.sayayi.lib.zbdd.ZbddStatistics

Returns the cumulative number of nodes freed by grabage collection.

getInitialCapacity() - Method in interface de.sayayi.lib.zbdd.ZbddCapacityAdvisor

Return the initial number of nodes available for zbdd operations.

getLiteralName(int) - Method in interface de.sayayi.lib.zbdd.ZbddLiteralResolver

Returns the literal name for zbdd variable var.

getLiteralResolver() - Method in class de.sayayi.lib.zbdd.Zbdd

Returns the literal resolver associated with this zbdd instance.

getMemoryUsage() - Method in interface de.sayayi.lib.zbdd.ZbddStatistics

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

getMinimumFreeNodes(ZbddStatistics) - Method in interface de.sayayi.lib.zbdd.ZbddCapacityAdvisor

Returns the minimum number of free nodes.

getNode(int, int, int) - Method in class de.sayayi.lib.zbdd.Zbdd

getNodeLookupHitCount() - Method in interface de.sayayi.lib.zbdd.ZbddStatistics

getNodeLookupHitRatio() - Method in interface de.sayayi.lib.zbdd.ZbddStatistics

getNodeLookupMissRatio() - Method in interface de.sayayi.lib.zbdd.ZbddStatistics

getNodeLookups() - Method in interface de.sayayi.lib.zbdd.ZbddStatistics

Return the number of node lookups.

getNodesCapacity() - Method in interface de.sayayi.lib.zbdd.ZbddStatistics

Returns the current node capacity.

getOccupiedNodes() - Method in interface de.sayayi.lib.zbdd.ZbddStatistics

getP0(int) - Method in class de.sayayi.lib.zbdd.Zbdd

getP1(int) - Method in class de.sayayi.lib.zbdd.Zbdd

getRegisteredVars() - Method in interface de.sayayi.lib.zbdd.ZbddStatistics

Returns the number of registered variables.

getResult(ZbddCache.Operation1, int) - Method in interface de.sayayi.lib.zbdd.cache.ZbddCache

Retrieve result from the cache.

getResult(ZbddCache.Operation2, int, int) - Method in interface de.sayayi.lib.zbdd.cache.ZbddCache

Retrieve result from the cache.

getResult(ZbddCache.Operation1, int) - Method in class de.sayayi.lib.zbdd.cache.ZbddFastCache

getResult(ZbddCache.Operation2, int, int) - Method in class de.sayayi.lib.zbdd.cache.ZbddFastCache

getStatistics() - Method in class de.sayayi.lib.zbdd.Zbdd

Returns the statistics for this zbdd instance.

getVar(int) - Method in class de.sayayi.lib.zbdd.Zbdd

getZbddCache() - Method in class de.sayayi.lib.zbdd.Zbdd

Returns the currently assigned zbdd cache implementation.

H

hash(int, int, int) - Method in class de.sayayi.lib.zbdd.Zbdd

I

incRef(int) - Method in class de.sayayi.lib.zbdd.Zbdd

intersect(int, int) - Method in class de.sayayi.lib.zbdd.Zbdd

isBase(int) - Static method in class de.sayayi.lib.zbdd.Zbdd

isEmpty(int) - Static method in class de.sayayi.lib.zbdd.Zbdd

Tells if the zbdd set identified by zbdd is empty.

isGCRequired(ZbddStatistics) - Method in interface de.sayayi.lib.zbdd.ZbddCapacityAdvisor

Tells whether dead nodes should be garbage collected.

M

MAX_NODES - Static variable in class de.sayayi.lib.zbdd.Zbdd

Maximum number of nodes.

MIN_CACHE_SIZE - Static variable in class de.sayayi.lib.zbdd.cache.ZbddFastCache

modulo(int, int) - Method in class de.sayayi.lib.zbdd.Zbdd

multiply(int, int) - Method in class de.sayayi.lib.zbdd.Zbdd

P

putResult(ZbddCache.Operation1, int, int) - Method in interface de.sayayi.lib.zbdd.cache.ZbddCache

putResult(ZbddCache.Operation2, int, int, int) - Method in interface de.sayayi.lib.zbdd.cache.ZbddCache

putResult(ZbddCache.Operation1, int, int) - Method in class de.sayayi.lib.zbdd.cache.ZbddFastCache

putResult(ZbddCache.Operation2, int, int, int) - Method in class de.sayayi.lib.zbdd.cache.ZbddFastCache

R

removeBase(int) - Method in class de.sayayi.lib.zbdd.Zbdd

S

setLiteralResolver(ZbddLiteralResolver) - Method in class de.sayayi.lib.zbdd.Zbdd

setZbddCache(ZbddCache) - Method in class de.sayayi.lib.zbdd.Zbdd

Sets or removes a zbdd cache.

subset0(int, int) - Method in class de.sayayi.lib.zbdd.Zbdd

subset1(int, int) - Method in class de.sayayi.lib.zbdd.Zbdd

T

toString() - Method in class de.sayayi.lib.zbdd.cache.ZbddFastCache

toString(int) - Method in class de.sayayi.lib.zbdd.Zbdd

U

union(int, int) - Method in class de.sayayi.lib.zbdd.Zbdd

V

valueOf(String) - Static method in enum de.sayayi.lib.zbdd.cache.ZbddCache.Operation1

Returns the enum constant of this type with the specified name.

valueOf(String) - Static method in enum de.sayayi.lib.zbdd.cache.ZbddCache.Operation2

Returns the enum constant of this type with the specified name.

values() - Static method in enum de.sayayi.lib.zbdd.cache.ZbddCache.Operation1

Returns an array containing the constants of this enum type, in the order they are declared.

values() - Static method in enum de.sayayi.lib.zbdd.cache.ZbddCache.Operation2

Returns an array containing the constants of this enum type, in the order they are declared.

visitCube(int[]) - Method in interface de.sayayi.lib.zbdd.Zbdd.CubeVisitor

This method is invoked for each cube in the zbdd set.

visitCubes(int, Zbdd.CubeVisitor) - Method in class de.sayayi.lib.zbdd.Zbdd

Z

Zbdd - Class in de.sayayi.lib.zbdd

Zero-suppressed decision diagram on Wikipedia.

Zbdd() - Constructor for class de.sayayi.lib.zbdd.Zbdd

Zbdd(ZbddCapacityAdvisor) - Constructor for class de.sayayi.lib.zbdd.Zbdd

Zbdd(Zbdd) - Constructor for class de.sayayi.lib.zbdd.Zbdd

Zbdd.CubeVisitor - Interface in de.sayayi.lib.zbdd

Cube visitor interface to be used with Zbdd.visitCubes(int, CubeVisitor).

ZBDD_BASE - Static variable in class de.sayayi.lib.zbdd.Zbdd

ZBDD_EMPTY - Static variable in class de.sayayi.lib.zbdd.Zbdd

ZbddCache - Interface in de.sayayi.lib.zbdd.cache

ZbddCache.Operation1 - Enum in de.sayayi.lib.zbdd.cache

ZbddCache.Operation2 - Enum in de.sayayi.lib.zbdd.cache

ZbddCapacityAdvisor - Interface in de.sayayi.lib.zbdd

ZbddException - Exception in de.sayayi.lib.zbdd

Zbdd related exception.

ZbddException(String) - Constructor for exception de.sayayi.lib.zbdd.ZbddException

ZbddFastCache - Class in de.sayayi.lib.zbdd.cache

Fast cache implementation.

ZbddFastCache() - Constructor for class de.sayayi.lib.zbdd.cache.ZbddFastCache

ZbddFastCache(int) - Constructor for class de.sayayi.lib.zbdd.cache.ZbddFastCache

ZbddLiteralResolver - Interface in de.sayayi.lib.zbdd

Resolve zbdd literal and cube names.

ZbddStatistics - Interface in de.sayayi.lib.zbdd

Zbdd statistics.

_

__atomize(int) - Method in class de.sayayi.lib.zbdd.Zbdd

__atomize_cache(int) - Method in class de.sayayi.lib.zbdd.Zbdd

__change(int, int) - Method in class de.sayayi.lib.zbdd.Zbdd

__change_cache(int, int) - Method in class de.sayayi.lib.zbdd.Zbdd

__contains(int, int) - Method in class de.sayayi.lib.zbdd.Zbdd

__count(int) - Method in class de.sayayi.lib.zbdd.Zbdd

__count_cache(int) - Method in class de.sayayi.lib.zbdd.Zbdd

__decRef(int) - Method in class de.sayayi.lib.zbdd.Zbdd

__difference(int, int) - Method in class de.sayayi.lib.zbdd.Zbdd

__difference_cache(int, int) - Method in class de.sayayi.lib.zbdd.Zbdd

__divide(int, int) - Method in class de.sayayi.lib.zbdd.Zbdd

__divide_cache(int, int) - Method in class de.sayayi.lib.zbdd.Zbdd

__incRef(int) - Method in class de.sayayi.lib.zbdd.Zbdd

__intersect(int, int) - Method in class de.sayayi.lib.zbdd.Zbdd

__intersect_cache(int, int) - Method in class de.sayayi.lib.zbdd.Zbdd

__modulo(int, int) - Method in class de.sayayi.lib.zbdd.Zbdd

__modulo_cache(int, int) - Method in class de.sayayi.lib.zbdd.Zbdd

__multiply(int, int) - Method in class de.sayayi.lib.zbdd.Zbdd

__multiply_cache(int, int) - Method in class de.sayayi.lib.zbdd.Zbdd

__removeBase(int) - Method in class de.sayayi.lib.zbdd.Zbdd

__removeBase_cache(int) - Method in class de.sayayi.lib.zbdd.Zbdd

__subset0(int, int) - Method in class de.sayayi.lib.zbdd.Zbdd

__subset0_cache(int, int) - Method in class de.sayayi.lib.zbdd.Zbdd

__subset1(int, int) - Method in class de.sayayi.lib.zbdd.Zbdd

__subset1_cache(int, int) - Method in class de.sayayi.lib.zbdd.Zbdd

__union(int, int) - Method in class de.sayayi.lib.zbdd.Zbdd

__union_cache(int, int) - Method in class de.sayayi.lib.zbdd.Zbdd

A B C D E G H I M P R S T U V Z _