ubc.cs.JLog.Foundation
Class jEquivalenceMapping

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

public class jEquivalenceMapping
extends java.lang.Object

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

Author:
Glendon Holst

Field Summary
protected  java.util.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 java.util.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.