edu.toronto.cs.yasm.pprogram
Class FunctionCallMvRelation

java.lang.Object
  extended by edu.toronto.cs.yasm.pprogram.FunctionCallMvRelation
All Implemented Interfaces:
MvRelation

public class FunctionCallMvRelation
extends java.lang.Object
implements MvRelation


Constructor Summary
FunctionCallMvRelation(MvSet _invariant, MvSet _selector, MvSet _selectorCube, MvRelation _args)
           
 
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

FunctionCallMvRelation

public FunctionCallMvRelation(MvSet _invariant,
                              MvSet _selector,
                              MvSet _selectorCube,
                              MvRelation _args)
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