Package
Class
Tree
Deprecated
Index
Help
PREV NEXT
FRAMES
NO FRAMES
All Classes
A
D
E
G
I
J
N
O
P
R
S
T
V
A
Attribute
- class jedd.
Attribute
.
Attribute()
- Constructor for class jedd.
Attribute
add(Object)
- Method in interface jedd.
Numberer
Tells the numberer that a new object needs to be assigned a number.
D
Domain
- class jedd.
Domain
.
Domain()
- Constructor for class jedd.
Domain
domain()
- Method in class jedd.
Attribute
E
enableProfiling()
- Method in class jedd.
Jedd
Starts up the Jedd profiler which records the time taken by each operation.
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(int)
- 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
- package jedd
N
Numberer
- interface jedd.
Numberer
.
A numberer converts objects to unique non-negative integers, and vice-versa.
name()
- Method in class jedd.
Attribute
name()
- Method in class jedd.
Domain
numNodes()
- Method in interface jedd.
Relation
Returns the number of BDD nodes used to represent the relation.
numberer()
- Method in class jedd.
Attribute
numberer()
- Method in class jedd.
Domain
O
outputProfile(PrintStream)
- 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
R
Relation
- interface jedd.
Relation
.
S
setBackend(String)
- Method in class jedd.
Jedd
Sets the BDD backend that Jedd should use.
setOrder(Object[], boolean)
- Method in class jedd.
Jedd
Sets the physical domain ordering in the BDD.
size()
- Method in interface jedd.
Numberer
Should return the number of objects that have been assigned numbers.
size()
- Method in interface jedd.
Relation
Returns the number of tuples in the relation.
T
toString()
- Method in class jedd.
Attribute
toString()
- Method in class jedd.
Domain
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.
A
D
E
G
I
J
N
O
P
R
S
T
V
Package
Class
Tree
Deprecated
Index
Help
PREV NEXT
FRAMES
NO FRAMES
All Classes