beginLine and beginColumn describe the position of the first character
of this token; endLine and endColumn describe the position of the
last character of this token.
beginLine and beginColumn describe the position of the first character
of this token; endLine and endColumn describe the position of the
last character of this token.
The class `CCUS_FMA' implements the basic Frame Matching Algorithm for the
Comparative Constraint-Understanding System (this is much like the case
matching algorithm in class Case).
The class `Correspondences' contains the methods to record a correspondence
between two frames, to retract a correspondence between two frames, and to
test whether two frames correspond to each other.
The class `DefinedType' represents a defined type which can have instances
in the frame system, doing for
DefinedTypeInstance what FrameClass does
for Frame.
Constructs this defined type by plugging in the given Jex Type
object which is taken to represent it (it does so by copying the
reference, which is maximally efficient, but the client should not
then alter the Type directly, as that would compromise the
integrity of the frame).
The class `DefinedTypeDoesNotExist' is a subclass of Exception that is thrown
when attempting to name a defined type (in the frame system) that does not
exist.
beginLine and beginColumn describe the position of the first character
of this token; endLine and endColumn describe the position of the
last character of this token.
beginLine and beginColumn describe the position of the first character
of this token; endLine and endColumn describe the position of the
last character of this token.
The class `FailMatch' is a subclass of Exception that is thrown by
CCUS_FMA.processDifference to tell CCUS_FMA.matchFrames to fail the match
because two frames are semantically incomparable.
Constructs this frame class by plugging in the given Jex Entity
object which is taken to represent it (it does so by copying the
reference, which is maximally efficient, but the client should not
then alter the Entity directly, as that would compromise the
integrity of the frame).
The class `HLC_CCUS' implements the part of the Comparative Constraint-
Understanding System that co-ordinates the extraction of HLCs from the two
models, and the comparison of pairs of HLCs thus extracted.
The class `InvalidSlot' is a subclass of Exception that is thrown when an
attempt is made to access a slot in a frame which that frame does not have
(i.e.
The class `Null' represents a value of null in two circumstances:
When the problem part of a case explicitly specifies a null slot
filler, the filler in the case is represented internally as an
instance of Null (since representing it as null means that the case
does not specify a filler for the slot).
The class `OrderedHashtable' is a subclass of Hashtable that records the
order of keys (by overriding the methods put and remove), and adds a method
keyListIterator to return an iterator over the keys in the order in which
they were put.
Prints the contents of the case library, in the form of a list of
cases (frame reference and filename for each case) for each frame
class in the library's index.
Returns CORRESPONDENCE if two frames definitely correspond
(according to an appropriate correspondence heuristic),
NO_CORRESPONDENCE if they definitely don't correspond,
and PLAUSIBLE_CORRESPONDENCE if they might correspond (but might
later be found not to).
Constructs this slot by plugging in the given Jex Attribute
object which is taken to represent it (it does so by copying the
reference, which is maximally efficient, but the client should not
then alter the Attribute directly, as that would compromise the
integrity of the frame).
This method, which assumes that the CCUS is currently matching in
PLAUSIBLE_CORRESPONDENCE mode, uses a semantic-equivalence/strength
case to decide whether to fail the match, or which frame is
stronger.
The class `Variable' represents an occurrence of a variable in a case
(a variable being an identifier that gets bound to a value when the case is
matched against a new situation).