Overview
Package
Class
Tree
Deprecated
Index
Help
PREV NEXT
FRAMES
NO FRAMES
All Classes
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
R
S
T
U
V
W
A
add(RelationInstance, Backend.Adder, long)
- Method in class jedd.internal.
CuddBackend
add(RelationInstance, Backend.Adder, long)
- Method in class jedd.internal.
JavabddBackend
add(RelationContainer, PhysicalDomain, PhysicalDomain, long)
- Method in class jedd.internal.
Jedd
add(Attribute, PhysicalDomain, Attribute, PhysicalDomain, long)
- Method in class jedd.internal.
RelationContainer
add(RelationInstance, Backend.Adder, long)
- Method in class jedd.internal.
SableBackend
add(Attribute, PhysicalDomain, Attribute, PhysicalDomain, long)
- Method in interface jedd.
Relation
Undocumented
add(Attribute, PhysicalDomain, Attribute, PhysicalDomain, long)
- Method in interface jedd.
Relation
Undocumented
allowReorder(boolean)
- Method in class jedd.internal.
Jedd
allowReorder(boolean)
- Method in class jedd.
Jedd
Allows/prevents dynamic BDD variable reordering.
allowReorder(boolean)
- Method in class jedd.
Jedd
Allows/prevents dynamic BDD variable reordering.
applyShifter(Jedd.Shifter)
- Method in class jedd.internal.
RelationContainer
applyShifter(Jedd.Shifter)
- Method in interface jedd.
Relation
Shift the bits in the relation using the provided shifter.
applyShifter(Jedd.Shifter)
- Method in interface jedd.
Relation
Shift the bits in the relation using the provided shifter.
AsymInterleave
- Class in
jedd.order
Produces a BDD variable ordering in which the variables of the physical domains are interleaved, but asummetrically (taking k1 bits from one child, then k2 bits from the next child, etc.).
AsymInterleave(List, List)
- Constructor for class jedd.order.
AsymInterleave
AsymInterleave(Order, int)
- Constructor for class jedd.order.
AsymInterleave
AsymInterleave(Order, int, Order, int)
- Constructor for class jedd.order.
AsymInterleave
AsymInterleave(Order, int, Order, int, Order, int)
- Constructor for class jedd.order.
AsymInterleave
Attribute
- Class in
jedd
Attribute
- Class in
jedd
Attribute()
- Constructor for class jedd.
Attribute
Attribute()
- Constructor for class jedd.
Attribute
Attribute
- Class in
jedd.internal
Attribute()
- Constructor for class jedd.internal.
Attribute
B
Backend
- Class in
jedd.internal
Backend()
- Constructor for class jedd.internal.
Backend
Backend.Adder
- Interface in
jedd.internal
Backend.Copier
- Interface in
jedd.internal
Backend.Projector
- Interface in
jedd.internal
Backend.RelationProjectorCopier
- Class in
jedd.internal
Backend.Replacer
- Interface in
jedd.internal
bdd(RelationInstance)
- Method in class jedd.internal.
BuddyBackend
bdd(int)
- Method in class jedd.internal.
BuddyBackend
bdd(RelationInstance)
- Method in class jedd.internal.
CuddBackend
bdd(SWIGTYPE_p_DdNode)
- Method in class jedd.internal.
CuddBackend
bdd(RelationInstance)
- Method in class jedd.internal.
JavabddBackend
bdd(BDD)
- Method in class jedd.internal.
JavabddBackend
bdd()
- Method in class jedd.internal.
RelationContainer
bdd(RelationInstance)
- Method in class jedd.internal.
SableBackend
bdd(JBDD)
- Method in class jedd.internal.
SableBackend
bitAfterLast()
- Method in class jedd.internal.
PhysicalDomain
bits()
- Method in class jedd.internal.
PhysicalDomain
BuddyBackend
- Class in
jedd.internal
BuddyBackend()
- Constructor for class jedd.internal.
BuddyBackend
BuddyInstance
- Class in
jedd.internal
C
cast(Relation, Attribute[], PhysicalDomain[])
- Method in class jedd.internal.
Jedd
clearPhysPos()
- Method in class jedd.internal.
PhysicalDomain
compose(RelationInstance, RelationInstance, PhysicalDomain[])
- Method in class jedd.internal.
Jedd
compose(RelationInstance, RelationContainer, PhysicalDomain[])
- Method in class jedd.internal.
Jedd
copy(RelationContainer, PhysicalDomain[], Attribute[], PhysicalDomain[])
- Method in class jedd.internal.
Jedd
copy(RelationInstance, PhysicalDomain[], Attribute[], PhysicalDomain[])
- Method in class jedd.internal.
Jedd
count
- Static variable in class jedd.internal.
RelationContainer
CuddBackend
- Class in
jedd.internal
CuddBackend()
- Constructor for class jedd.internal.
CuddBackend
CuddInstance
- Class in
jedd.internal
D
delRefTime
- Static variable in class jedd.internal.
RelationContainer
domain()
- Method in class jedd.
Attribute
domain()
- Method in class jedd.
Attribute
Domain
- Class in
jedd
Domain
- Class in
jedd
Domain()
- Constructor for class jedd.
Domain
Domain()
- Constructor for class jedd.
Domain
domain()
- Method in class jedd.internal.
Attribute
Domain
- Class in
jedd.internal
Domain()
- Constructor for class jedd.internal.
Domain
E
enable(PrintStream)
- Static method in class jedd.internal.
Profiler
enabled()
- Static method in class jedd.internal.
Profiler
enableProfiling(PrintStream)
- Method in class jedd.
Jedd
Starts up the Jedd profiler which records the time taken by each operation.
enableProfiling(PrintStream)
- Method in class jedd.
Jedd
Starts up the Jedd profiler which records the time taken by each operation.
eq(RelationInstance)
- Method in class jedd.internal.
RelationContainer
eq(RelationContainer)
- Method in class jedd.internal.
RelationContainer
eqIntersect(RelationInstance)
- Method in class jedd.internal.
RelationContainer
eqIntersect(RelationContainer)
- Method in class jedd.internal.
RelationContainer
eqMinus(RelationInstance)
- Method in class jedd.internal.
RelationContainer
eqMinus(RelationContainer)
- Method in class jedd.internal.
RelationContainer
equals(RelationInstance, RelationInstance)
- Method in class jedd.internal.
Jedd
equals(RelationInstance, RelationContainer)
- Method in class jedd.internal.
Jedd
eqUnion(RelationInstance)
- Method in class jedd.internal.
RelationContainer
eqUnion(RelationContainer)
- Method in class jedd.internal.
RelationContainer
F
falseBDD()
- Method in class jedd.internal.
Jedd
finalize()
- Method in class jedd.internal.
RelationContainer
finish(String, RelationInstance)
- Method in class jedd.internal.
Profiler
firstBit()
- Method in class jedd.internal.
PhysicalDomain
firstCube(BDD, int, int[])
- Method in class org.sf.javabdd.
JeddJavaFactory
firstCube(int, int, int[])
- Method in class org.sf.javabdd.
JeddJavaFactory
fsize()
- Method in class jedd.internal.
RelationContainer
fsize()
- Method in interface jedd.
Relation
Returns the number of tuples in the relation.
fsize()
- Method in interface jedd.
Relation
Returns the number of tuples in the relation.
G
gbc()
- Method in class jedd.internal.
Jedd
gbc()
- Method in class jedd.
Jedd
Forces the underlying BDD backend to perform a garbage collection.
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.
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.
getBits()
- Method in class jedd.internal.
PhysicalDomain
H
hasBit(int)
- Method in class jedd.internal.
PhysicalDomain
I
init(String)
- Static method in class jedd.internal.
Backend
init(String, int)
- Static method in class jedd.internal.
Backend
init(int, int)
- Static method in class org.sf.javabdd.
JeddJavaFactory
Interleave
- Class in
jedd.order
Produces a BDD variable ordering in which the variables of the physical domains are interleaved.
Interleave(List)
- Constructor for class jedd.order.
Interleave
Interleave(Order)
- Constructor for class jedd.order.
Interleave
Interleave(Order, Order)
- Constructor for class jedd.order.
Interleave
Interleave(Order, Order, Order)
- Constructor for class jedd.order.
Interleave
Interleave(Order, Order, Order, Order)
- Constructor for class jedd.order.
Interleave
Interleave(Order, Order, Order, Order, Order)
- Constructor for class jedd.order.
Interleave
Interleave(Order, Order, Order, Order, Order, Order)
- Constructor for class jedd.order.
Interleave
Interleave(Order, Order, Order, Order, Order, Order, Order)
- Constructor for class jedd.order.
Interleave
Interleave(Order, Order, Order, Order, Order, Order, Order, Order)
- Constructor for class jedd.order.
Interleave
intersect(RelationInstance, RelationInstance)
- Method in class jedd.internal.
Jedd
intersect(RelationInstance, RelationContainer)
- Method in class jedd.internal.
Jedd
iterator(Attribute[])
- Method in class jedd.internal.
RelationContainer
iterator()
- Method in class jedd.internal.
RelationContainer
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.
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.
ithVar(int)
- Method in class jedd.internal.
BuddyBackend
ithVar(int)
- Method in class jedd.internal.
CuddBackend
ithVar(int)
- Method in class jedd.internal.
JavabddBackend
ithVar(int)
- Method in class jedd.internal.
SableBackend
J
JavabddBackend
- Class in
jedd.internal
JavabddBackend()
- Constructor for class jedd.internal.
JavabddBackend
JavabddInstance
- Class in
jedd.internal
jedd
- package jedd
Jedd
- Class in
jedd.internal
Jedd
- Class in
jedd
Jedd
- Class in
jedd
jedd.internal
- package jedd.internal
jedd.order
- package jedd.order
Jedd.Shifter
- Interface in
jedd
Jedd.Shifter
- Interface in
jedd
JeddJavaFactory
- Class in
org.sf.javabdd
Implements additional BDD operations missing from JavaBDD's JavaFactory.
JeddJavaFactory()
- Constructor for class org.sf.javabdd.
JeddJavaFactory
join(RelationInstance, RelationInstance, PhysicalDomain[])
- Method in class jedd.internal.
Jedd
join(RelationInstance, RelationContainer, PhysicalDomain[])
- Method in class jedd.internal.
Jedd
K
kill()
- Method in class jedd.internal.
RelationContainer
L
listBits()
- Method in class jedd.internal.
PhysicalDomain
listBits()
- Method in class jedd.order.
AsymInterleave
listBits()
- Method in class jedd.order.
Interleave
listBits()
- Method in interface jedd.order.
Order
listBits()
- Method in class jedd.order.
Permute
listBits()
- Method in class jedd.order.
Rev
listBits()
- Method in class jedd.order.
Seq
literal(Object[], Attribute[], PhysicalDomain[])
- Method in class jedd.internal.
Jedd
M
makeAdder(int[], int[])
- Method in class jedd.internal.
CuddBackend
makeAdder(int[], int[])
- Method in class jedd.internal.
JavabddBackend
makeAdder(int[], int[])
- Method in class jedd.internal.
SableBackend
makeShifter(int[], int[])
- Method in class jedd.internal.
Jedd
makeShifter(int[], int[])
- Method in class jedd.
Jedd
Creates a Shifter that can be applied to shift bits within a BDD.
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
maxBits()
- Method in class jedd.
Domain
maxBits()
- Method in class jedd.internal.
Domain
maxUsefulBit()
- Method in class jedd.internal.
Domain
minus(RelationInstance, RelationInstance)
- Method in class jedd.internal.
Jedd
minus(RelationInstance, RelationContainer)
- Method in class jedd.internal.
Jedd
N
name()
- Method in class jedd.internal.
Attribute
name()
- Method in class jedd.internal.
Domain
name()
- Method in class jedd.internal.
PhysicalDomain
nextCube(BDD, int, int[])
- Method in class org.sf.javabdd.
JeddJavaFactory
nextCube(int, int, int[])
- Method in class org.sf.javabdd.
JeddJavaFactory
nextPath(int, int, int[])
- Method in class org.sf.javabdd.
JeddJavaFactory
nithVar(int)
- Method in class jedd.internal.
BuddyBackend
nithVar(int)
- Method in class jedd.internal.
CuddBackend
nithVar(int)
- Method in class jedd.internal.
JavabddBackend
nithVar(int)
- Method in class jedd.internal.
SableBackend
numberer()
- Method in class jedd.
Domain
numberer()
- Method in class jedd.
Domain
numberer()
- Method in class jedd.internal.
Attribute
numberer()
- Method in class jedd.internal.
Domain
Numberer
- Interface in
jedd
A numberer converts objects to unique non-negative integers, and vice-versa.
Numberer
- Interface in
jedd
A numberer converts objects to unique non-negative integers, and vice-versa.
numNodes(RelationContainer)
- Method in class jedd.internal.
Jedd
numNodes(RelationInstance)
- Method in class jedd.internal.
Jedd
numNodes()
- Method in class jedd.internal.
RelationContainer
numNodes()
- Method in interface jedd.
Relation
Returns the number of BDD nodes used to represent the relation.
numNodes()
- Method in interface jedd.
Relation
Returns the number of BDD nodes used to represent the relation.
numPaths(RelationContainer)
- Method in class jedd.internal.
Jedd
numPaths(RelationInstance)
- Method in class jedd.internal.
Jedd
numUsefulBits()
- Method in class jedd.internal.
Domain
O
oldtoString()
- Method in class jedd.internal.
RelationContainer
Order
- Interface in
jedd.order
Interface for a specification of the order in which the BDD variables of all the physical domains should appear in the BDD.
org.sf.javabdd
- package org.sf.javabdd
outputProfile()
- Method in class jedd.
Jedd
Outputs the profiling data recorded by the profiler to an SQL file.
outputProfile()
- Method in class jedd.
Jedd
Outputs the profiling data recorded by the profiler to an SQL file.
P
Pair
- Interface in
jedd.internal
Permute
- Class in
jedd.order
Interleaves the BDD variables of a single physical domain with themselves.
Permute(int, Order)
- Constructor for class jedd.order.
Permute
PhysicalDomain
- Class in
jedd.internal
PhysicalDomain()
- Constructor for class jedd.internal.
PhysicalDomain
PhysicalDomain
- Class in
jedd
PhysicalDomain
- Class in
jedd
PhysicalDomain()
- Constructor for class jedd.
PhysicalDomain
PhysicalDomain()
- Constructor for class jedd.
PhysicalDomain
PhysicalDomain.Copier
- Interface in
jedd
PhysicalDomain.Copier
- Interface in
jedd
physicalDomains
- Variable in class jedd.internal.
Jedd
printInfo()
- Method in class jedd.internal.
Profiler
Profiler
- Class in
jedd.internal
Profiler.BDD
- Class in
jedd.internal
project(RelationContainer, PhysicalDomain[])
- Method in class jedd.internal.
Jedd
project(RelationInstance, PhysicalDomain[])
- Method in class jedd.internal.
Jedd
R
read(RelationInstance)
- Method in class jedd.internal.
Jedd
read(RelationContainer)
- Method in class jedd.internal.
Jedd
readBits(PhysicalDomain, int[])
- Method in class jedd.internal.
Domain
Relation
- Interface in
jedd
Relation
- Interface in
jedd
RelationContainer
- Class in
jedd.internal
RelationContainer(Attribute[], PhysicalDomain[], String)
- Constructor for class jedd.internal.
RelationContainer
RelationContainer(Attribute[], PhysicalDomain[], String, RelationContainer)
- Constructor for class jedd.internal.
RelationContainer
RelationContainer(Attribute[], PhysicalDomain[], String, RelationInstance)
- Constructor for class jedd.internal.
RelationContainer
RelationInstance
- Interface in
jedd.internal
relpc(Backend.Projector)
- Method in class jedd.internal.
Backend
relpc(Backend.Copier)
- Method in class jedd.internal.
Backend
relpc(RelationInstance)
- Method in class jedd.internal.
Backend
replace(RelationContainer, PhysicalDomain[], PhysicalDomain[])
- Method in class jedd.internal.
Jedd
replace(RelationInstance, PhysicalDomain[], PhysicalDomain[])
- Method in class jedd.internal.
Jedd
Rev
- Class in
jedd.order
Reverses the bits in the ordering.
Rev(Order)
- Constructor for class jedd.order.
Rev
reverse(List)
- Static method in class jedd.order.
Rev
S
SableBackend
- Class in
jedd.internal
SableBackend()
- Constructor for class jedd.internal.
SableBackend
SableInstance
- Class in
jedd.internal
Seq
- Class in
jedd.order
Procudes a BDD variable ordering in which the bits of all the physical domains are placed sequentially, one physical domain after another.
Seq(List)
- Constructor for class jedd.order.
Seq
Seq(Order)
- Constructor for class jedd.order.
Seq
Seq(Order, Order)
- Constructor for class jedd.order.
Seq
Seq(Order, Order, Order)
- Constructor for class jedd.order.
Seq
Seq(Order, Order, Order, Order)
- Constructor for class jedd.order.
Seq
Seq(Order, Order, Order, Order, Order)
- Constructor for class jedd.order.
Seq
Seq(Order, Order, Order, Order, Order, Order)
- Constructor for class jedd.order.
Seq
Seq(Order, Order, Order, Order, Order, Order, Order)
- Constructor for class jedd.order.
Seq
Seq(Order, Order, Order, Order, Order, Order, Order, Order)
- Constructor for class jedd.order.
Seq
Seq(Order, Order, Order, Order, Order, Order, Order, Order, Order)
- Constructor for class jedd.order.
Seq
Seq(Order, Order, Order, Order, Order, Order, Order, Order, Order, Order)
- Constructor for class jedd.order.
Seq
Seq(Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order)
- Constructor for class jedd.order.
Seq
Seq(Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order)
- Constructor for class jedd.order.
Seq
Seq(Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order)
- Constructor for class jedd.order.
Seq
Seq(Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order)
- Constructor for class jedd.order.
Seq
Seq(Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order)
- Constructor for class jedd.order.
Seq
Seq(Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order)
- Constructor for class jedd.order.
Seq
Seq(Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order)
- Constructor for class jedd.order.
Seq
Seq(Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order)
- Constructor for class jedd.order.
Seq
Seq(Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order)
- Constructor for class jedd.order.
Seq
Seq(Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order)
- Constructor for class jedd.order.
Seq
Seq(Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order)
- Constructor for class jedd.order.
Seq
Seq(Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order)
- Constructor for class jedd.order.
Seq
Seq(Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order)
- Constructor for class jedd.order.
Seq
Seq(Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order)
- Constructor for class jedd.order.
Seq
Seq(Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order)
- Constructor for class jedd.order.
Seq
Seq(Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order)
- Constructor for class jedd.order.
Seq
Seq(Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order)
- Constructor for class jedd.order.
Seq
Seq(Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order)
- Constructor for class jedd.order.
Seq
Seq(Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order)
- Constructor for class jedd.order.
Seq
Seq(Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order)
- Constructor for class jedd.order.
Seq
Seq(Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order)
- Constructor for class jedd.order.
Seq
Seq(Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order)
- Constructor for class jedd.order.
Seq
Seq(Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order)
- Constructor for class jedd.order.
Seq
Seq(Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order)
- Constructor for class jedd.order.
Seq
Seq(Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order, Order)
- Constructor for class jedd.order.
Seq
setBackend(String)
- Method in class jedd.internal.
Jedd
setBackend(String, int)
- Method in class jedd.internal.
Jedd
setBackend(String)
- Method in class jedd.
Jedd
Sets the BDD backend that Jedd should use.
setBackend(String, int)
- Method in class jedd.
Jedd
Sets the BDD backend that Jedd should use.
setBackend(String)
- Method in class jedd.
Jedd
Sets the BDD backend that Jedd should use.
setBackend(String, int)
- Method in class jedd.
Jedd
Sets the BDD backend that Jedd should use.
setBits(PhysicalDomain, int[], long)
- Method in class jedd.internal.
Domain
setOrder(Order)
- Method in class jedd.internal.
Jedd
setOrder(Order)
- Method in class jedd.
Jedd
Sets the physical domain ordering in the BDD.
setOrder(Order)
- Method in class jedd.
Jedd
Sets the physical domain ordering in the BDD.
setPhysPos(int)
- Method in class jedd.internal.
PhysicalDomain
setTimeLimit(long)
- Static method in class jedd.internal.
Profiler
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.
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 class jedd.internal.
RelationContainer
size()
- Method in interface jedd.
Relation
Returns the number of tuples in the relation.
size()
- Method in interface jedd.
Relation
Returns the number of tuples in the relation.
start(String, RelationInstance)
- Method in class jedd.internal.
Profiler
start(String, RelationInstance, RelationInstance)
- Method in class jedd.internal.
Profiler
T
toString()
- Method in class jedd.internal.
Attribute
toString()
- Method in class jedd.internal.
Domain
toString()
- Method in class jedd.internal.
Profiler.BDD
toString()
- Method in class jedd.internal.
RelationContainer
toString()
- Method in interface jedd.
Relation
Returns a string representation listing all the tuples in the relation.
toString()
- Method in interface jedd.
Relation
Returns a string representation listing all the tuples in the relation.
totalBits
- Variable in class jedd.internal.
BuddyBackend
totalBits
- Variable in class jedd.internal.
CuddBackend
totalBits
- Variable in class jedd.internal.
JavabddBackend
totalBits
- Variable in class jedd.internal.
SableBackend
trueBDD()
- Method in class jedd.internal.
Jedd
U
union(RelationInstance, RelationInstance)
- Method in class jedd.internal.
Jedd
union(RelationInstance, RelationContainer)
- Method in class jedd.internal.
Jedd
usefulBits
- Variable in class jedd.internal.
Domain
usefulBits()
- Method in class jedd.internal.
Domain
V
v()
- Static method in class jedd.internal.
Jedd
v()
- Static method in class jedd.internal.
Profiler
v()
- Static method in class jedd.
Jedd
Returns the singleton instance of Jedd.
v()
- Static method in class jedd.
Jedd
Returns the singleton instance of Jedd.
verboseGC()
- Method in class jedd.internal.
Jedd
verboseGC()
- Method in class jedd.
Jedd
Causes the BDD library to print memory usage at each GC.
verboseGC()
- Method in class jedd.
Jedd
Causes the BDD library to print memory usage at each GC.
W
width(RelationInstance, int, int)
- Method in class jedd.internal.
Backend
width(RelationInstance, int, int)
- Method in class jedd.internal.
BuddyBackend
width(PhysicalDomain)
- Method in class jedd.internal.
RelationContainer
width(PhysicalDomain)
- Method in interface jedd.
Relation
Undocumented
width(PhysicalDomain)
- Method in interface jedd.
Relation
Undocumented
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
R
S
T
U
V
W
Overview
Package
Class
Tree
Deprecated
Index
Help
PREV NEXT
FRAMES
NO FRAMES
All Classes