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