edu.columbia.surge.hashImpl
Class FDNullH

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

public class FDNullH

extends FDH

implements FDNull

This class is inherrited from the FDH class and implements the FDNull interface. User creates instances of this class whenever they want to specify a hole in a FD, so that the unifier later will be able to deal with the hole correctly.

See Also:

FDH, FDNull, Serialized Form

Constructor Summary

FDNullH()
Constructor

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

Constructor Detail

FDNullH

public FDNullH()

Constructor