edu.toronto.cs.cfa
Class CFAMvSetFactory.CFAMvRelation

java.lang.Object
  extended by edu.toronto.cs.cfa.CFAMvSetFactory.CFAMvRelation
All Implemented Interfaces:
MvRelation
Enclosing class:
CFAMvSetFactory

public class CFAMvSetFactory.CFAMvRelation
extends java.lang.Object
implements MvRelation


Constructor Summary
CFAMvSetFactory.CFAMvRelation(CFA _cfa)
           
 
Method Summary
 MvSet bwdImage(MvSet v)
          Describe bwdImage method here.
 MvSet dualBwdImage(MvSet v)
          Dual of bwdImage dualBwdImage (v) == ! bwdImage (! v)
 MvSet fwdImage(MvSet v)
          Describe fwdImage method here.
 MvSet toMvSet()
          Describe toMvSet method here.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

CFAMvSetFactory.CFAMvRelation

public CFAMvSetFactory.CFAMvRelation(CFA _cfa)
Method Detail

fwdImage

public MvSet fwdImage(MvSet v)
Description copied from interface: MvRelation
Describe fwdImage method here. computes forward image of v

Specified by:
fwdImage in interface MvRelation
Parameters:
v - a MvSet value
Returns:
a MvSet value

dualBwdImage

public MvSet dualBwdImage(MvSet v)
Description copied from interface: MvRelation
Dual of bwdImage dualBwdImage (v) == ! bwdImage (! v)

Specified by:
dualBwdImage in interface MvRelation
Parameters:
v - a MvSet value
Returns:
a MvSet value

bwdImage

public MvSet bwdImage(MvSet v)
Description copied from interface: MvRelation
Describe bwdImage method here. computes backward image of v

Specified by:
bwdImage in interface MvRelation
Parameters:
v - a MvSet value
Returns:
a MvSet value

toMvSet

public MvSet toMvSet()
Description copied from interface: MvRelation
Describe toMvSet method here.

Specified by:
toMvSet in interface MvRelation
Returns:
a MvSet value