soot.relations
Class Relation

java.lang.Object
  |
  +--soot.relations.Relation

public class Relation
extends java.lang.Object


Constructor Summary
Relation(Domain[] domains)
           
 
Method Summary
 boolean add(Numberable[] tuple)
           
 boolean addAll(Relation other)
           
 int bdd()
           
 Domain[] domains()
           
 Relation equijoin(Domain col1, Relation other, Domain col2)
           
 void finalize()
           
 Relation project(Domain remove)
           
 Relation projectDownTo(Domain remaining)
           
 Relation rename(Domain oldd, Domain newd)
           
 Relation restrict(Domain d, Numberable value)
           
 java.lang.String toString()
           
 
Methods inherited from class java.lang.Object
clone, equals, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

Relation

public Relation(Domain[] domains)
Method Detail

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