A B C D E F G H I J L M N O P R S T U V W X Z

A

AbstractBddCache - class SableJBDD.bdd.internal.AbstractBddCache.
An abstract cache uses three integers as the key.
AbstractBddCache() - Constructor for class SableJBDD.bdd.internal.AbstractBddCache
 
AbstractUniqueTable - class SableJBDD.bdd.internal.AbstractUniqueTable.
A unique table is a canonical mapping from a triple key (var, low, high) to a BDD internal node.
accesses() - Method in class SableJBDD.cache.CacheProfiler
 
and(JBDD) - Method in class SableJBDD.bdd.JBDD
AND operation.
andWith(JBDD) - Method in class SableJBDD.bdd.JBDD
In-node AND operation in place.

B

BDDOP_INVALID - Static variable in interface SableJBDD.bdd.JBddConstants
 
BddCache - interface SableJBDD.bdd.internal.BddCache.
An abstract cache uses three integers as the key.
BddNodeFactory - interface SableJBDD.bdd.internal.BddNodeFactory.
BddNodeFactory defines the interface for making bdd nodes.
BddNodePool - class SableJBDD.bdd.internal.BddNodePool.
A BDD node pool pre-allocates and recycles bdd nodes.
biimply(JBDD) - Method in class SableJBDD.bdd.JBDD
BIIMPLY operation.

C

CacheEntry - class SableJBDD.cache.CacheEntry.
A cache entry keeps a key and value, it is caller's option to use weak references for keys and values.
CacheEntry() - Constructor for class SableJBDD.cache.CacheEntry
Defines an empty cache entry.
CacheEntry(int, int, int, Object) - Constructor for class SableJBDD.cache.CacheEntry
Defines a cache entry with a (key, value) pair.
CacheProfiler - class SableJBDD.cache.CacheProfiler.
A cache profiler implements profiling interface.
CacheProfiler() - Constructor for class SableJBDD.cache.CacheProfiler
 
clearNext() - Method in class SableJBDD.bdd.JBddNode
 
copy() - Method in class SableJBDD.bdd.JBDD
Returns a copy of current BDD with the same manager and same root node.

D

DEFAULT_DYNA_POOL_SIZE - Static variable in interface SableJBDD.bdd.JBddConstants
 
DEFAULT_EXPANDIBLE_SIZE - Static variable in interface SableJBDD.bdd.JBddConstants
 
DEFAULT_FIXED_POOL_SIZE - Static variable in interface SableJBDD.bdd.JBddConstants
 
DEFAULT_PHANTOM_POOL_SIZE - Static variable in interface SableJBDD.bdd.JBddConstants
 
DEFAULT_PRE_ALLOC_SIZE - Static variable in interface SableJBDD.bdd.JBddConstants
 
DYNAMIC - Static variable in interface SableJBDD.bdd.JBddConstants
 
DummyNodePool - class SableJBDD.bdd.internal.DummyNodePool.
A dummy node pool doesn't nothing.
DummyNodePool() - Constructor for class SableJBDD.bdd.internal.DummyNodePool
 
DynamicNodePool - class SableJBDD.bdd.internal.DynamicNodePool.
A dynamic, reclaimable node pool create a phantom reference for a newly created node, enqueue the reference, and release the first phantom reference.
DynamicNodePool(int) - Constructor for class SableJBDD.bdd.internal.DynamicNodePool
 
diff(JBDD) - Method in class SableJBDD.bdd.JBDD
DIFF operation.
domainRepresentation() - Method in class SableJBDD.fdd.FiniteDomain
 

E

EXPANDIBLE - Static variable in interface SableJBDD.bdd.JBddConstants
 
EmptyBddCache - class SableJBDD.bdd.internal.EmptyBddCache.
An abstract cache uses three integers as the key.
EmptyBddCache() - Constructor for class SableJBDD.bdd.internal.EmptyBddCache
 
ExpandibleNodePool - class SableJBDD.bdd.internal.ExpandibleNodePool.
An expandible and reclaimable node pool dynamically expands phantom node queue for recycling all newly created nodes(vs pre-allocated nodes).
ExpandibleNodePool(int) - Constructor for class SableJBDD.bdd.internal.ExpandibleNodePool
 
empty() - Method in class SableJBDD.cache.CacheEntry
Checks if the entry holds a null value.
equals(Object) - Method in class SableJBDD.bdd.JBDD
 
equals(Object) - Method in class SableJBDD.bdd.JBddVariable
 
equals(Object) - Method in class SableJBDD.bdd.internal.UniqueObject
 
exist(JBDD) - Method in class SableJBDD.bdd.JBDD
Apply existential quantification on this bdd function.
exist(JBDD) - Method in class SableJBDD.fdd.FiniteDomain
Applies existential quantification on variables of this domain.

F

FIXED_SIZE - Static variable in interface SableJBDD.bdd.JBddConstants
 
FOURWAY - Static variable in interface SableJBDD.bdd.JBddConstants
 
FiniteDomain - class SableJBDD.fdd.FiniteDomain.
A finite domain provides constructions and operations of BDD functions on a finite set of variables.
FiniteDomain(JBddManager, String, int) - Constructor for class SableJBDD.fdd.FiniteDomain
Defines a finite domain with a BDD manager, a domain name, and the domain capacity.
FiniteDomain(JBddManager, String, int, boolean) - Constructor for class SableJBDD.fdd.FiniteDomain
Defines a finite domain with a BDD manager, a domain name, domain capacity, and a flag indicating whether the domain can be expanded automatically.
FiniteDomain(JBddManager, String, int[]) - Constructor for class SableJBDD.fdd.FiniteDomain
Defines a finite domain with a bdd manager and variables at specific levels.
FiniteDomain(JBddManager, String, int[], boolean) - Constructor for class SableJBDD.fdd.FiniteDomain
Defines a finite domain with a bdd manager, name, variables at specific levels, and a expandible flag.
FixedSizeNodePool - class SableJBDD.bdd.internal.FixedSizeNodePool.
A fixed size reclaimable node pool doesn't build phatom references for newly created nodes (vs pre-allocated nodes).
FixedSizeNodePool(int) - Constructor for class SableJBDD.bdd.internal.FixedSizeNodePool
Defines a pool with an initial number of pre-allocated nodes.
findOrCreate(JBddVariable, JBddNode, JBddNode) - Method in class SableJBDD.bdd.internal.AbstractUniqueTable
Finds or creates a BddNode by a triple key.
findOrCreate(JBddVariable, JBddNode, JBddNode) - Method in class SableJBDD.bdd.internal.PhantomUniqueTable
Finds or creates a BddNode by a triple key.
findOrCreate(JBddVariable, JBddNode, JBddNode) - Method in interface SableJBDD.bdd.internal.UniqueTable
Finds or creates a BddNode by a triple key.
forall(JBDD) - Method in class SableJBDD.bdd.JBDD
Apply universal quantification on this bdd function.

G

getAssociativity() - Method in class SableJBDD.cache.IdealCache
Returns the cache associativity.
getAssociativity() - Method in class SableJBDD.cache.MultiWayCache
 
getAssociativity() - Method in class SableJBDD.cache.OneWayCache
 
getAssociativity() - Method in interface SableJBDD.cache.TripleIntKeyCache
 
getFreshNode(JBddVariable, JBddNode, JBddNode) - Method in interface SableJBDD.bdd.internal.BddNodeFactory
 
getFreshNode(JBddVariable, JBddNode, JBddNode) - Method in class SableJBDD.bdd.internal.BddNodePool
Gets a node from a pool either by reusing an existing node or by creating a new object.
getFreshNode(JBddVariable, JBddNode, JBddNode) - Method in class SableJBDD.bdd.internal.DummyNodePool
 
getFreshNode(JBddVariable, JBddNode, JBddNode) - Method in class SableJBDD.bdd.internal.ReclaimableNodePool
Gets a node from a pool either by reusing an existing node or by creating a new object.
getIthVariable(int) - Method in class SableJBDD.bdd.JBddManager
 
getLevel() - Method in class SableJBDD.bdd.JBddVariable
 
getNext() - Method in class SableJBDD.bdd.JBddNode
 
getNumberOfVariables() - Method in class SableJBDD.bdd.JBddManager
 
getSmallestPrimeGTE(int) - Static method in class SableJBDD.bdd.internal.Prime
Finds the smallest prime number greater than or equal to a given integer.
getUniqueId() - Method in class SableJBDD.bdd.internal.UniqueObject
 
getValue() - Method in class SableJBDD.cache.CacheEntry
 
getVariableAtLevel(int) - Method in class SableJBDD.bdd.JBddManager
 
getVariableIndexAtLevel(int) - Method in class SableJBDD.bdd.JBddManager
 

H

HashFunction - class SableJBDD.bdd.util.HashFunction.
 
HashFunction() - Constructor for class SableJBDD.bdd.util.HashFunction
 
hash(int, int, int) - Static method in class SableJBDD.bdd.util.HashFunction
 
hashCode() - Method in class SableJBDD.bdd.JBDD
 
hashCode() - Method in class SableJBDD.bdd.JBddVariable
 
hashCode() - Method in class SableJBDD.bdd.internal.UniqueObject
 
high - Variable in class SableJBDD.bdd.JBddNode
 
hitRate() - Method in class SableJBDD.cache.CacheProfiler
 
hits() - Method in class SableJBDD.cache.CacheProfiler
 

I

IDEAL - Static variable in interface SableJBDD.bdd.JBddConstants
 
IdealCache - class SableJBDD.cache.IdealCache.
 
IdealCache(int) - Constructor for class SableJBDD.cache.IdealCache
Defines an ideal cache with the specific number of entries.
imply(JBDD) - Method in class SableJBDD.bdd.JBDD
IMPLY operation.
invalidate(int, int, int) - Method in class SableJBDD.cache.IdealCache
Removes an entry which matches the key
invalidate(int, int, int) - Method in class SableJBDD.cache.MultiWayCache
Removes an entry which matches the key.
invalidate(int, int, int) - Method in class SableJBDD.cache.OneWayCache
Removes a cache entry matched by a key object.
invalidate(int, int, int) - Method in interface SableJBDD.cache.TripleIntKeyCache
Clears a cache entry matching.
invimp(JBDD) - Method in class SableJBDD.bdd.JBDD
Inverse imply operation.
isOne() - Method in class SableJBDD.bdd.JBDD
Checks if this BDD is ONE
isPrime(int) - Static method in class SableJBDD.bdd.internal.Prime
 
isRootOf(JBddVariable) - Method in class SableJBDD.bdd.JBDD
Checks if the root is a particular variable
isZero() - Method in class SableJBDD.bdd.JBDD
Checks if this BDD is ZERO
ith(int) - Method in class SableJBDD.fdd.FiniteDomain
Gets a BDD function representing the ith element of this domain.

J

JBDD - class SableJBDD.bdd.JBDD.
A BDD object represents a bdd function.
JBddConstants - interface SableJBDD.bdd.JBddConstants.
Constants used by JBDD.
JBddInternalNode - class SableJBDD.bdd.JBddInternalNode.
A class for bdd internal nodes.
JBddInternalNode(JBddVariable, JBddNode, JBddNode) - Constructor for class SableJBDD.bdd.JBddInternalNode
Defines an internal bdd node.
JBddInternalNode(JBddNode) - Constructor for class SableJBDD.bdd.JBddInternalNode
Allocate an empty BDD node.
JBddManager - class SableJBDD.bdd.JBddManager.
A BDD manager manages system resources such as unique table and caches.
JBddManager() - Constructor for class SableJBDD.bdd.JBddManager
Defines a JBDD manager without variables.
JBddManager(int) - Constructor for class SableJBDD.bdd.JBddManager
Defines a JBDD manager with a specified number of variables.
JBddManager(int[]) - Constructor for class SableJBDD.bdd.JBddManager
Defines a JBDD manager with a specific variable ordering.
JBddNode - class SableJBDD.bdd.JBddNode.
A class for bdd internal nodes.
JBddNode() - Constructor for class SableJBDD.bdd.JBddNode
 
JBddVariable - class SableJBDD.bdd.JBddVariable.
A bdd variable has name, order, and so on.

L

less(JBDD) - Method in class SableJBDD.bdd.JBDD
LESS operation.
lookup(Unique, Unique, Unique) - Method in class SableJBDD.bdd.internal.AbstractBddCache
Looks up a bdd node by f, g, and h.
lookup(Unique, Unique, Unique) - Method in interface SableJBDD.bdd.internal.BddCache
Looks up a bdd node by three unique keys, f, g, and h could be a bdd variable, a bdd node, or operations.
lookup(Unique, Unique, Unique) - Method in class SableJBDD.bdd.internal.EmptyBddCache
Looks up a bdd node by f, g, and h.
lookup(int, int, int) - Method in class SableJBDD.cache.IdealCache
Looks up the value object associated with a key.
lookup(int, int, int) - Method in class SableJBDD.cache.MultiWayCache
Looks up the value associated with a key.
lookup(int, int, int) - Method in class SableJBDD.cache.OneWayCache
Looks up the value object associated with a key object.
lookup(int, int, int) - Method in interface SableJBDD.cache.TripleIntKeyCache
Looks up the cache.
low - Variable in class SableJBDD.bdd.JBddNode
 

M

MAX_LEVEL - Static variable in interface SableJBDD.bdd.JBddConstants
 
MultiWayCache - class SableJBDD.cache.MultiWayCache.
 
MultiWayCache(int, int) - Constructor for class SableJBDD.cache.MultiWayCache
Defines a multi-way cache with a specific number of entries and an associativity.
matches(JBddVariable, JBddNode, JBddNode) - Method in class SableJBDD.bdd.JBddNode
Checks if this bdd node matches (v, l, h) triple.
matches(int, int, int) - Method in class SableJBDD.cache.CacheEntry
Checks if the entry matches a key.
missRate() - Method in class SableJBDD.cache.CacheProfiler
 
misses() - Method in class SableJBDD.cache.CacheProfiler
 
mutate(JBddVariable, JBddNode, JBddNode) - Method in class SableJBDD.bdd.JBddNode
Mutates a reclaimed node to a new instance.
mutate(int, int, int, Object) - Method in class SableJBDD.cache.CacheEntry
Mutates an entry to old another key value pair

N

NO_CACHE - Static variable in interface SableJBDD.bdd.JBddConstants
 
NO_POOLING - Static variable in interface SableJBDD.bdd.JBddConstants
 
NonReclaimableNodePool - class SableJBDD.bdd.internal.NonReclaimableNodePool.
A non-reclaimable node pool does nothing with newly created nodes, and doesn't recycle nodes too.
NonReclaimableNodePool(int) - Constructor for class SableJBDD.bdd.internal.NonReclaimableNodePool
Defines a pool with an initial number of pre-allocated nodes.
nand(JBDD) - Method in class SableJBDD.bdd.JBDD
NAND operations, it is more efficient than AND followed by NOT.
nandWith(JBDD) - Method in class SableJBDD.bdd.JBDD
In-node NAND operation.
negBddOf(JBddVariable) - Method in class SableJBDD.bdd.JBddManager
Gets a BDD function representing the negative form of a variable
newVariable(String) - Method in class SableJBDD.bdd.JBddManager
Creates a new bdd variable with a name, it is automatically allocated at the top level.
newVariableAtLevel(int) - Method in class SableJBDD.bdd.JBddManager
Gets or creates a new bdd variable at a specific order (level).
nor(JBDD) - Method in class SableJBDD.bdd.JBDD
NOR operation, it is more efficient than OR followed by NOT.
norWith(JBDD) - Method in class SableJBDD.bdd.JBDD
In-node NOR operation.
not() - Method in class SableJBDD.bdd.JBDD
NOT operation.
numberOfEntries() - Method in class SableJBDD.cache.IdealCache
Returns the number of cache entries.
numberOfEntries() - Method in class SableJBDD.cache.MultiWayCache
 
numberOfEntries() - Method in class SableJBDD.cache.OneWayCache
 
numberOfEntries() - Method in interface SableJBDD.cache.TripleIntKeyCache
 

O

ONE() - Method in class SableJBDD.bdd.JBddManager
 
ONEWAY - Static variable in interface SableJBDD.bdd.JBddConstants
 
OneWayCache - class SableJBDD.cache.OneWayCache.
 
OneWayCache(int) - Constructor for class SableJBDD.cache.OneWayCache
Defines an one-way cache with a specific associativity.
or(JBDD) - Method in class SableJBDD.bdd.JBDD
OR operation.
orWith(JBDD) - Method in class SableJBDD.bdd.JBDD
In-node OR operation.

P

PHANTOM_REF - Static variable in interface SableJBDD.bdd.JBddConstants
 
PRE_ALLOCATION - Static variable in interface SableJBDD.bdd.JBddConstants
 
PROFILING - Static variable in interface SableJBDD.bdd.util.Profiling
 
PhantomUniqueTable - class SableJBDD.bdd.internal.PhantomUniqueTable.
A phantom unique table implements UniqueTable interface, and can recycle nodes not reachable from other programs other than this unique table.
PhantomUniqueTable(int, int) - Constructor for class SableJBDD.bdd.internal.PhantomUniqueTable
 
Prime - class SableJBDD.bdd.internal.Prime.
A class finds the smallest prime number above a given number This is a standard example from Sun's developer's forum.
Prime() - Constructor for class SableJBDD.bdd.internal.Prime
 
Profiling - interface SableJBDD.bdd.util.Profiling.
A cache profiling interface.
posBddOf(JBddVariable) - Method in class SableJBDD.bdd.JBddManager
Gets a BDD function representing the positive form of a variable.
printConfigurations(PrintStream) - Method in class SableJBDD.bdd.JBddManager
Prints out configurations of unique table, and caches.
put(Unique, Unique, Unique, JBddNode) - Method in class SableJBDD.bdd.internal.AbstractBddCache
Puts the ite(f,g,h) in the cache.
put(Unique, Unique, Unique, JBddNode) - Method in interface SableJBDD.bdd.internal.BddCache
Puts a bdd node into the cache.
put(Unique, Unique, Unique, JBddNode) - Method in class SableJBDD.bdd.internal.EmptyBddCache
Puts the ite(f,g,h) in the cache.
put(int, int, int, Object) - Method in class SableJBDD.cache.IdealCache
Puts a (key, value) pair into the cache.
put(int, int, int, Object) - Method in class SableJBDD.cache.MultiWayCache
Puts a (key, value) entry into the cache.
put(int, int, int, Object) - Method in class SableJBDD.cache.OneWayCache
Puts a (key, value) pair into the cache.
put(int, int, int, Object) - Method in interface SableJBDD.cache.TripleIntKeyCache
Puts a key and value entry into the cache.

R

REGULAR_REF - Static variable in interface SableJBDD.bdd.JBddConstants
 
ReclaimableNodePool - class SableJBDD.bdd.internal.ReclaimableNodePool.
A reclaimable node pool creates a phantom reference for each newly created node.
ReclaimableNodePool(int) - Constructor for class SableJBDD.bdd.internal.ReclaimableNodePool
Defines a pool with an initial number of pre-allocated nodes.
RegularBddCache - class SableJBDD.bdd.internal.RegularBddCache.
A regular triple key cache takes three objects as key.
RegularBddCache(TripleIntKeyCache) - Constructor for class SableJBDD.bdd.internal.RegularBddCache
Defines a triple key cache using regular references.
RegularUniqueTable - class SableJBDD.bdd.internal.RegularUniqueTable.
A regular unique table is a hash table using regular references.
RegularUniqueTable(int) - Constructor for class SableJBDD.bdd.internal.RegularUniqueTable
Defines a unique table with a specific number of entries.
reclaim() - Method in class SableJBDD.bdd.JBddNode
Reclaims the node object, only called by node pool.
replace(Map) - Method in class SableJBDD.bdd.JBDD
Replaces a set of variables in this bdd to another set of variables.
replace(JBDD, FiniteDomain) - Method in class SableJBDD.fdd.FiniteDomain
Replaces domain variables in a BDD by variables in another domain.
reportCacheStatistics(PrintStream) - Method in class SableJBDD.bdd.JBddManager
Reports the unique table and cache statistics.
reportOrdering(PrintStream) - Method in class SableJBDD.fdd.FiniteDomain
Reports variable orderings in this domain, from low to high.
reportStatistics(PrintStream) - Method in class SableJBDD.bdd.internal.AbstractBddCache
 
reportStatistics(PrintStream) - Method in class SableJBDD.bdd.internal.BddNodePool
 
reportStatistics(PrintStream) - Method in class SableJBDD.bdd.internal.DummyNodePool
 
reportStatistics(PrintStream) - Method in class SableJBDD.bdd.internal.ReclaimableNodePool
 
reportStatistics(PrintStream) - Method in class SableJBDD.bdd.internal.WeakUniqueTable
 
reportStatistics(PrintStream) - Method in interface SableJBDD.bdd.util.Profiling
 
reportStatistics(PrintStream) - Method in class SableJBDD.cache.CacheProfiler
 
reset() - Method in class SableJBDD.bdd.internal.AbstractBddCache
 
reset() - Method in interface SableJBDD.bdd.internal.BddCache
Resets the cache.
reset() - Method in class SableJBDD.bdd.internal.EmptyBddCache
 
reset() - Method in class SableJBDD.cache.CacheEntry
Resets cache entry
reset() - Method in class SableJBDD.cache.IdealCache
Resets all cache entries
reset() - Method in class SableJBDD.cache.MultiWayCache
Resets cache entries.
reset() - Method in class SableJBDD.cache.OneWayCache
 
reset() - Method in interface SableJBDD.cache.TripleIntKeyCache
Resets cache entries.

S

SOFT_REF - Static variable in interface SableJBDD.bdd.JBddConstants
 
SableJBDD.bdd - package SableJBDD.bdd
 
SableJBDD.bdd.internal - package SableJBDD.bdd.internal
 
SableJBDD.bdd.util - package SableJBDD.bdd.util
 
SableJBDD.cache - package SableJBDD.cache
 
SableJBDD.fdd - package SableJBDD.fdd
 
SoftBddCache - class SableJBDD.bdd.internal.SoftBddCache.
A soft triple key cache uses soft references for cached objects.
SoftBddCache(TripleIntKeyCache) - Constructor for class SableJBDD.bdd.internal.SoftBddCache
Defines a soft cache with a specific cache implementation.
SoftUniqueTable - class SableJBDD.bdd.internal.SoftUniqueTable.
A soft unique table is a unique table using soft references to objects.
SoftUniqueTable(int) - Constructor for class SableJBDD.bdd.internal.SoftUniqueTable
Defines a unique table with a specific number of entries.
SoftUniqueTable(int, BddNodeFactory) - Constructor for class SableJBDD.bdd.internal.SoftUniqueTable
Defines a unique table with a specific number of entries and a JBddNode pool.
setName(String) - Method in class SableJBDD.bdd.JBddVariable
 
setNext(JBddNode) - Method in class SableJBDD.bdd.JBddNode
 
size() - Method in class SableJBDD.bdd.JBDD
Counts the size of this bdd function (the number of internal nodes), excluding two sink nodes.
size() - Method in class SableJBDD.bdd.internal.AbstractBddCache
 
size() - Method in interface SableJBDD.bdd.internal.BddCache
Returns the number of entries.
size() - Method in class SableJBDD.bdd.internal.EmptyBddCache
 
steps() - Method in class SableJBDD.cache.CacheProfiler
 

T

TWOWAY - Static variable in interface SableJBDD.bdd.JBddConstants
 
TripleIntKeyCache - interface SableJBDD.cache.TripleIntKeyCache.
A cache interface using three integers as the key, and an object as the value.
toDotGraph(PrintStream, String) - Method in class SableJBDD.bdd.JBDD
Dumps this bdd to a DOT format graph.
toString() - Method in class SableJBDD.bdd.JBDD
 
toString() - Method in class SableJBDD.bdd.JBddInternalNode
 
toString() - Method in class SableJBDD.bdd.JBddVariable
 

U

UniqueInteger - class SableJBDD.bdd.internal.UniqueInteger.
A unique integer object holds an int value, two instances may hold the same value, but have different (unique) ids.
UniqueInteger(int) - Constructor for class SableJBDD.bdd.internal.UniqueInteger
Defines a unique integer with a specific value.
UniqueObject - class SableJBDD.bdd.internal.UniqueObject.
A unique object assigns a unique id to each instance of its subclasses.
UniqueObject() - Constructor for class SableJBDD.bdd.internal.UniqueObject
 
UniqueTable - interface SableJBDD.bdd.internal.UniqueTable.
A unique table is a canonical mapping from a triple key (var, low, high) to a BDD internal node.
unique(JBDD) - Method in class SableJBDD.bdd.JBDD
Apply unique quantification on this bdd function.

V

variable - Variable in class SableJBDD.bdd.JBddNode
 

W

WEAK_REF - Static variable in interface SableJBDD.bdd.JBddConstants
 
WeakUniqueTable - class SableJBDD.bdd.internal.WeakUniqueTable.
A weak unique table is a unique table using weak references to objects.
WeakUniqueTable(int) - Constructor for class SableJBDD.bdd.internal.WeakUniqueTable
Defines a unique table with a specific number of entries.
WeakUniqueTable(int, BddNodeFactory) - Constructor for class SableJBDD.bdd.internal.WeakUniqueTable
 

X

xor(JBDD) - Method in class SableJBDD.bdd.JBDD
XOR operation.
xorWith(JBDD) - Method in class SableJBDD.bdd.JBDD
In-node XOR operation.

Z

ZERO() - Method in class SableJBDD.bdd.JBddManager
 

A B C D E F G H I J L M N O P R S T U V W X Z