Package
Class
Tree
Deprecated
Index
Help
PREV NEXT
FRAMES
NO FRAMES
All Classes
A
D
E
F
G
I
J
M
N
O
P
R
S
T
V
W
A
Attribute
- class jedd.
Attribute
.
Attribute()
- Constructor for class jedd.
Attribute
add(Attribute, PhysicalDomain, Attribute, PhysicalDomain, long)
- Method in interface jedd.
Relation
Undocumented
allowReorder(boolean)
- Method in class jedd.
Jedd
Allows/prevents dynamic BDD variable reordering.
applyShifter(Jedd.Shifter)
- Method in interface jedd.
Relation
Shift the bits in the relation using the provided shifter.
D
Domain
- class jedd.
Domain
.
Domain()
- Constructor for class jedd.
Domain
domain()
- Method in class jedd.
Attribute
E
enableProfiling(PrintStream)
- Method in class jedd.
Jedd
Starts up the Jedd profiler which records the time taken by each operation.
F
fsize()
- Method in interface jedd.
Relation
Returns the number of tuples in the relation.
G
gbc()
- Method in class jedd.
Jedd
Forces the underlying BDD backend to perform a garbage collection.
get(Object)
- Method in interface jedd.
Numberer
Should return the number that was assigned to object o that was previously passed as an argument to add().
get(long)
- Method in interface jedd.
Numberer
Should return the object that was assigned the number number.
I
iterator(Attribute[])
- Method in interface jedd.
Relation
Returns an iterator over the tuples in the relation.
iterator()
- Method in interface jedd.
Relation
Returns an iterator over the components in the relation.
J
Jedd
- class jedd.
Jedd
.
Jedd.Shifter
- interface jedd.
Jedd.Shifter
.
jedd
- package jedd
M
makeShifter(int[], int[])
- Method in class jedd.
Jedd
Creates a Shifter that can be applied to shift bits within a BDD.
maxBits()
- Method in class jedd.
Domain
N
Numberer
- interface jedd.
Numberer
.
A numberer converts objects to unique non-negative integers, and vice-versa.
numNodes()
- Method in interface jedd.
Relation
Returns the number of BDD nodes used to represent the relation.
numberer()
- Method in class jedd.
Domain
O
outputProfile()
- Method in class jedd.
Jedd
Outputs the profiling data recorded by the profiler to an SQL file.
P
PhysicalDomain
- class jedd.
PhysicalDomain
.
PhysicalDomain()
- Constructor for class jedd.
PhysicalDomain
PhysicalDomain.Copier
- interface jedd.
PhysicalDomain.Copier
.
R
Relation
- interface jedd.
Relation
.
S
setBackend(String)
- Method in class jedd.
Jedd
Sets the BDD backend that Jedd should use.
setOrder(Order)
- Method in class jedd.
Jedd
Sets the physical domain ordering in the BDD.
setTimeLimit(long)
- Method in class jedd.
Jedd
Set the time limit for profiling: the profile records the shape of only those operations which take at least timeLimit ms.
size()
- Method in interface jedd.
Relation
Returns the number of tuples in the relation.
T
toString()
- Method in interface jedd.
Relation
Returns a string representation listing all the tuples in the relation.
V
v()
- Static method in class jedd.
Jedd
Returns the singleton instance of Jedd.
W
width(PhysicalDomain)
- Method in interface jedd.
Relation
Undocumented
A
D
E
F
G
I
J
M
N
O
P
R
S
T
V
W
Package
Class
Tree
Deprecated
Index
Help
PREV NEXT
FRAMES
NO FRAMES
All Classes