soot.relations
Class Relation
java.lang.Object
|
+--soot.relations.Relation
- public class Relation
- extends java.lang.Object
Methods inherited from class java.lang.Object |
clone,
equals,
getClass,
hashCode,
notify,
notifyAll,
wait,
wait,
wait |
Relation
public Relation(Domain[] domains)
bdd
public int bdd()
finalize
public void finalize()
- Overrides:
- finalize in class java.lang.Object
domains
public Domain[] domains()
add
public boolean add(Numberable[] tuple)
addAll
public boolean addAll(Relation other)
restrict
public Relation restrict(Domain d,
Numberable value)
project
public Relation project(Domain remove)
projectDownTo
public Relation projectDownTo(Domain remaining)
equijoin
public Relation equijoin(Domain col1,
Relation other,
Domain col2)
rename
public Relation rename(Domain oldd,
Domain newd)
toString
public java.lang.String toString()
- Overrides:
- toString in class java.lang.Object