edu.toronto.cs.mvset
Interface MvRelation

All Known Implementing Classes:
CFAMvSetFactory.CFAMvRelation, CondMvRelation, FunctionCallMvRelation, MvSetMvRelation, ReturnSelectorMvRelation, SkipMvRelation

public interface MvRelation

MvRelation.java Created: Thu Jun 10 22:56:31 2004

Version:
Author:
Arie Gurfinkel

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.
 

Method Detail

fwdImage

MvSet fwdImage(MvSet v)
Describe fwdImage method here. computes forward image of v

Parameters:
v - a MvSet value
Returns:
a MvSet value

bwdImage

MvSet bwdImage(MvSet v)
Describe bwdImage method here. computes backward image of v

Parameters:
v - a MvSet value
Returns:
a MvSet value

toMvSet

MvSet toMvSet()
Describe toMvSet method here.

Returns:
a MvSet value

dualBwdImage

MvSet dualBwdImage(MvSet v)
Dual of bwdImage dualBwdImage (v) == ! bwdImage (! v)

Parameters:
v - a MvSet value
Returns:
a MvSet value