ubc.cs.JLog.Foundation
Class jVariableRegistry.jVariablePair

java.lang.Object
  ubc.cs.JLog.Foundation.jVariableRegistry.jVariablePair

Enclosing class:

jVariableRegistry

protected final class jVariableRegistry.jVariablePair
extends 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()