chord.analyses.basicblock
Class RelSuccBB

java.lang.Object
  chord.bddbddb.Rel
      chord.project.analyses.ProgramRel
          chord.analyses.basicblock.RelSuccBB

All Implemented Interfaces:

ITask

public class RelSuccBB
extends ProgramRel

Relation containing each pair of basic blocks (b1,b2) in each method such that b1 is immediate postdominator of b2.

Author:

Mayur Naik (mhn@cs.stanford.edu)

Nested Class Summary

Nested classes/interfaces inherited from class chord.bddbddb.Rel

Rel.AryNIterable, Rel.HextIterable<T0,T1,T2,T3,T4,T5>, Rel.IntAryNIterable, Rel.IntHextIterable, Rel.IntPairIterable, Rel.IntPentIterable, Rel.IntQuadIterable, Rel.IntTrioIterable, Rel.PairIterable<T0,T1>, Rel.PentIterable<T0,T1,T2,T3,T4>, Rel.QuadIterable<T0,T1,T2,T3>, Rel.RelView, Rel.SelfIterable<T>, Rel.TrioIterable<T0,T1,T2>, Rel.TupleIterator<T>

Field Summary

Fields inherited from class chord.project.analyses.ProgramRel

consumes

Fields inherited from class chord.bddbddb.Rel

bdd, domBdds, domIdxs, doms, factory, iterBdd, name, numDoms, sign

Constructor Summary

RelSuccBB()

Method Summary

void

fill()

Methods inherited from class chord.project.analyses.ProgramRel

init, load, print, run, run, save, skip, toString

Methods inherited from class chord.bddbddb.Rel

add, add, add, add, add, add, add, add, add, add, add, add, add, add, checkRange, checkRange, close, contains, contains, contains, contains, contains, contains, contains, contains, contains, getAry1ValTuples, getAry2IntTuples, getAry2ValTuples, getAry3IntTuples, getAry3ValTuples, getAry4IntTuples, getAry4ValTuples, getAry5IntTuples, getAry5ValTuples, getAry6IntTuples, getAry6ValTuples, getAryNIntTuples, getAryNValTuples, getDoms, getName, getSign, getView, initialize, isOpen, load, one, print, print, remove, remove, remove, remove, save, setDoms, setName, setSign, setSign, setSign, size, zero

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Methods inherited from interface chord.project.ITask

getName, setName

Constructor Detail

RelSuccBB

public RelSuccBB()

Method Detail

fill

public void fill()

Overrides:

fill in class ProgramRel