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