ubc.cs.JLog.Foundation
Class jEquivalenceMapping

java.lang.Object
  ubc.cs.JLog.Foundation.jEquivalenceMapping

public class jEquivalenceMapping
extends Object

This class is used to register jVariable mapped pairs during equivalence testing.

Version:

%I%, %G%

Author:

Glendon Holst

Field Summary

protected Hashtable

variables

Constructor Summary

jEquivalenceMapping()

Method Summary

boolean

mapVariablePair(jVariable v1, jVariable v2) Adds a mapping between two different variables.

Methods inherited from class java.lang.Object

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

Field Detail

variables

protected Hashtable variables

Constructor Detail

jEquivalenceMapping

public jEquivalenceMapping()

Method Detail

mapVariablePair

public final boolean mapVariablePair(jVariable v1,
                                     jVariable v2)

Adds a mapping between two different variables. Should be invoked by the jVariable during equivalence testing.

Parameters:

v1 - a variable to pair.

v2 - the other variable in the pair.

Returns:

boolean true if the variables were previously unmapped, or this is the same mapping false otherwise.