edu.toronto.cs.mvset
Class MvSetMvRelation

java.lang.Object
  extended by edu.toronto.cs.mvset.MvSetMvRelation
All Implemented Interfaces:
MvRelation

public class MvSetMvRelation
extends java.lang.Object
implements MvRelation

MvSetMvRelation.java Created: Thu Jun 10 22:57:42 2004

Version:
Author:
Arie Gurfinkel

Constructor Summary
MvSetMvRelation(MvSet _reln, MvSet _preVariablesCube, MvSet _postVariablesCube, int[] _preToPostMap, int[] _postToPreMap)
           
MvSetMvRelation(MvSet _reln, MvSet _invariant, MvSet _preVariablesCube, MvSet _postVariablesCube, int[] _preToPostMap, int[] _postToPreMap)
          Creates a new MvSetMvRelation instance.
 
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

MvSetMvRelation

public MvSetMvRelation(MvSet _reln,
                       MvSet _preVariablesCube,
                       MvSet _postVariablesCube,
                       int[] _preToPostMap,
                       int[] _postToPreMap)

MvSetMvRelation

public MvSetMvRelation(MvSet _reln,
                       MvSet _invariant,
                       MvSet _preVariablesCube,
                       MvSet _postVariablesCube,
                       int[] _preToPostMap,
                       int[] _postToPreMap)
Creates a new MvSetMvRelation instance.

Parameters:
_reln - a MvSet value
_invariant - a MvSet value
_preVariablesCube - a MvSet value
_postVariablesCube - a MvSet value
_preToPostMap - an int[] value
_postToPreMap - an int[] value
Method Detail

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

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

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

toMvSet

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

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