ubc.cs.JLog.Foundation
Class jVariableRegistry.jVariablePair

java.lang.Object
  extended by ubc.cs.JLog.Foundation.jVariableRegistry.jVariablePair
Enclosing class:
jVariableRegistry

protected final class jVariableRegistry.jVariablePair
extends java.lang.Object


Field Summary
protected  jVariable copy
           
protected  jVariable original
           
 
Constructor Summary
jVariableRegistry.jVariablePair(jVariable o, jVariable c)
           
 
Method Summary
 jVariable getCopy()
           
 boolean match(jVariable o)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

original

protected jVariable original

copy

protected jVariable copy
Constructor Detail

jVariableRegistry.jVariablePair

public jVariableRegistry.jVariablePair(jVariable o,
                                       jVariable c)
Method Detail

match

public final boolean match(jVariable o)

getCopy

public final jVariable getCopy()