jedd.internal
Class Jedd
java.lang.Object
jedd.internal.Jedd
public class Jedd
- extends java.lang.Object
Method Summary |
RelationInstance |
add(RelationContainer r,
PhysicalDomain from,
PhysicalDomain to,
long offset)
|
void |
allowReorder(boolean setting)
|
RelationInstance |
cast(Relation r,
Attribute[] attrs,
PhysicalDomain[] phys)
|
RelationInstance |
compose(RelationInstance r1,
RelationContainer r2,
PhysicalDomain[] d)
|
RelationInstance |
compose(RelationInstance r1,
RelationInstance r2,
PhysicalDomain[] d)
|
RelationInstance |
copy(RelationContainer r,
PhysicalDomain[] from,
Attribute[] fromAttr,
PhysicalDomain[] to)
|
RelationInstance |
copy(RelationInstance r,
PhysicalDomain[] from,
Attribute[] fromAttr,
PhysicalDomain[] to)
|
boolean |
equals(RelationInstance r1,
RelationContainer r2)
|
boolean |
equals(RelationInstance r1,
RelationInstance r2)
|
RelationInstance |
falseBDD()
|
void |
gbc()
|
RelationInstance |
intersect(RelationInstance r1,
RelationContainer r2)
|
RelationInstance |
intersect(RelationInstance r1,
RelationInstance r2)
|
RelationInstance |
join(RelationInstance r1,
RelationContainer r2,
PhysicalDomain[] d)
|
RelationInstance |
join(RelationInstance r1,
RelationInstance r2,
PhysicalDomain[] d)
|
RelationInstance |
literal(java.lang.Object[] exprs,
Attribute[] attrs,
PhysicalDomain[] phys)
|
jedd.internal.Jedd.Shifter |
makeShifter(int[] fromBits,
int[] toBits)
|
RelationInstance |
minus(RelationInstance r1,
RelationContainer r2)
|
RelationInstance |
minus(RelationInstance r1,
RelationInstance r2)
|
int |
numNodes(RelationContainer r)
|
int |
numNodes(RelationInstance r)
|
int |
numPaths(RelationContainer r)
|
int |
numPaths(RelationInstance r)
|
RelationInstance |
project(RelationContainer r,
PhysicalDomain[] toRemove)
|
RelationInstance |
project(RelationInstance r,
PhysicalDomain[] toRemove)
|
RelationInstance |
read(RelationContainer r)
|
RelationInstance |
read(RelationInstance r)
|
RelationInstance |
replace(RelationContainer r,
PhysicalDomain[] from,
PhysicalDomain[] to)
|
RelationInstance |
replace(RelationInstance r,
PhysicalDomain[] from,
PhysicalDomain[] to)
|
void |
setBackend(java.lang.String type)
|
void |
setBackend(java.lang.String type,
int numNodes)
|
void |
setOrder(Order order)
|
RelationInstance |
trueBDD()
|
RelationInstance |
union(RelationInstance r1,
RelationContainer r2)
|
RelationInstance |
union(RelationInstance r1,
RelationInstance r2)
|
static Jedd |
v()
|
void |
verboseGC()
|
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
physicalDomains
public final java.util.List physicalDomains
v
public static Jedd v()
setBackend
public void setBackend(java.lang.String type)
setBackend
public void setBackend(java.lang.String type,
int numNodes)
copy
public RelationInstance copy(RelationContainer r,
PhysicalDomain[] from,
Attribute[] fromAttr,
PhysicalDomain[] to)
copy
public RelationInstance copy(RelationInstance r,
PhysicalDomain[] from,
Attribute[] fromAttr,
PhysicalDomain[] to)
replace
public RelationInstance replace(RelationContainer r,
PhysicalDomain[] from,
PhysicalDomain[] to)
replace
public RelationInstance replace(RelationInstance r,
PhysicalDomain[] from,
PhysicalDomain[] to)
project
public RelationInstance project(RelationContainer r,
PhysicalDomain[] toRemove)
project
public RelationInstance project(RelationInstance r,
PhysicalDomain[] toRemove)
compose
public RelationInstance compose(RelationInstance r1,
RelationInstance r2,
PhysicalDomain[] d)
compose
public RelationInstance compose(RelationInstance r1,
RelationContainer r2,
PhysicalDomain[] d)
join
public RelationInstance join(RelationInstance r1,
RelationInstance r2,
PhysicalDomain[] d)
join
public RelationInstance join(RelationInstance r1,
RelationContainer r2,
PhysicalDomain[] d)
falseBDD
public RelationInstance falseBDD()
trueBDD
public RelationInstance trueBDD()
equals
public boolean equals(RelationInstance r1,
RelationInstance r2)
equals
public boolean equals(RelationInstance r1,
RelationContainer r2)
union
public RelationInstance union(RelationInstance r1,
RelationInstance r2)
union
public RelationInstance union(RelationInstance r1,
RelationContainer r2)
intersect
public RelationInstance intersect(RelationInstance r1,
RelationInstance r2)
intersect
public RelationInstance intersect(RelationInstance r1,
RelationContainer r2)
minus
public RelationInstance minus(RelationInstance r1,
RelationInstance r2)
minus
public RelationInstance minus(RelationInstance r1,
RelationContainer r2)
literal
public RelationInstance literal(java.lang.Object[] exprs,
Attribute[] attrs,
PhysicalDomain[] phys)
gbc
public void gbc()
setOrder
public void setOrder(Order order)
allowReorder
public void allowReorder(boolean setting)
read
public RelationInstance read(RelationInstance r)
read
public RelationInstance read(RelationContainer r)
numNodes
public int numNodes(RelationContainer r)
numNodes
public int numNodes(RelationInstance r)
numPaths
public int numPaths(RelationContainer r)
numPaths
public int numPaths(RelationInstance r)
makeShifter
public jedd.internal.Jedd.Shifter makeShifter(int[] fromBits,
int[] toBits)
cast
public RelationInstance cast(Relation r,
Attribute[] attrs,
PhysicalDomain[] phys)
add
public RelationInstance add(RelationContainer r,
PhysicalDomain from,
PhysicalDomain to,
long offset)
verboseGC
public void verboseGC()