edu.columbia.surge.hashImpl
Class FDRefH

java.lang.Object
  |
  +--java.util.AbstractMap
        |
        +--java.util.HashMap
              |
              +--edu.columbia.surge.hashImpl.FDH
                    |
                    +--edu.columbia.surge.hashImpl.FDRefH

public class FDRefH
extends FDH
implements FDRef

This class is inherrited from the FDH class and implements the FDRef interface. User creates instances of this class whenever they want to specify a hole in a FD, it has one instance variable which will store the hole of a FD. During the unification process, the path of the hole stored will be included in the set statement.

See Also:
FDH, FDNull, FDRef, Serialized Form

Field Summary
protected  java.lang.Object ref
          A variable to store the hole of a FD
 
Constructor Summary
FDRefH(java.lang.Object ref)
          Constructor.
 
Method Summary
 java.lang.Object getRef()
          A method that returns the referrence object stored.
 
Methods inherited from class edu.columbia.surge.hashImpl.FDH
checkPath, checkPath, computePathDifference, getPath, getPath, putPath, putPath, putPathOverride, putPathOverride, stackToPath, stringToArray, toString, toString, toXML
 
Methods inherited from class java.util.HashMap
clear, clone, containsKey, containsValue, entrySet, get, isEmpty, keySet, put, putAll, remove, size, values
 
Methods inherited from class java.util.AbstractMap
equals, hashCode
 
Methods inherited from class java.lang.Object
finalize, getClass, notify, notifyAll, wait, wait, wait
 

Field Detail

ref

protected java.lang.Object ref
A variable to store the hole of a FD
Constructor Detail

FDRefH

public FDRefH(java.lang.Object ref)
Constructor. It takes in a ref, i.e., the hole of the clause and stores it.
Parameters:
ref - the hole object
Method Detail

getRef

public java.lang.Object getRef()
A method that returns the referrence object stored.
Specified by:
getRef in interface FDRef
Returns:
the reference object