edu.columbia.surge
Interface FDRef

All Known Implementing Classes:

FDRefH

public abstract interface FDRef

extends FD

FDRef is used to compose the scope statement for a clause during the unification process. A FDRef object stores a referrence of the hole that a user specifies. Each FDRef object either stores a reference of a FDNull object or a FD object. During the unification, the path of the FD or FDNull object is set in the scope statement. FDRef objects are used by the setRef methods in the clause class in order to set the scope and the hole in a clause.

See Also:

FDRefFactory, FDNull, FD

Inner classes inherited from class java.util.Map

java.util.Map.Entry

Method Summary

java.lang.Object

getRef() A method that returns the referrence object stored.

Methods inherited from interface edu.columbia.surge.FD

checkPath, checkPath, getPath, getPath, putPath, putPath, putPathOverride, putPathOverride, toString, toXML

Methods inherited from interface java.util.Map

clear, containsKey, containsValue, entrySet, equals, get, hashCode, isEmpty, keySet, put, putAll, remove, size, values

Method Detail

getRef

public java.lang.Object getRef()

A method that returns the referrence object stored.

Returns:

the reference object