Class
#categories!
Unclassified! !
#superclassTypeString!
Object! !
#group!
ast! !
assume:isSubtypeOf:!
1258453!
Unclassified!
0ObjectType:ObjectType:Self! !
#extensionsAreSubtypes!
true! !
#revision!
$Revision: 1.1 $! !
answer:isSubtypeOf:!
1257154!
Unclassified!
0ObjectType:ObjectType:Boolean! !
#instanceVariableString!
dict ! !
assume:isInheritedTypeOf:!
1257885!
Unclassified!
0ObjectType:ObjectType:Self! !
initialize!
1259758!
Unclassified!
0Self! !
answer:isInheritedTypeOf:!
1256904!
Unclassified!
0ObjectType:ObjectType:Boolean! !
forget:isInheritedTypeOf:!
1259201!
Unclassified!
0ObjectType:ObjectType:Self! !
komment!
1259973!
Unclassified!
0! !
dict!
1259007!
Unclassified!
0IdentityDictionary[ObjectType,IdentityDictionary[ObjectType,Boolean]]! !
#subtype!
true! !
forget:isSubtypeOf:!
1259411!
Unclassified!
0ObjectType:ObjectType:Self! !
#branded!
true! !
#comment!
The trail is implemented by this class. A single instance, DeltaGlobalTrail,
exists at any point in time.

The representation used here is simple. The instance variable 'dict'
is a dictionary mapping type variables to dictionaries. Every type variable T
that is known to be related to some other type has an entry in 'dict'
(T being the key). The value of this entry is a dictionary D
mapping types to Booleans. Each entry E_sigma in D
corresponds to a type Sigma known to be related to to the type variable T.
If T <= Sigma, then E_sigma value is True.  If T <# Sigma, then E_sigma
value is False. Otherwise, T is unrelated to Sigma.


 (c) 1995-1997 Sun Microsystems, Inc. ALL RIGHTS RESERVED. 
Use and distribution of this software is subject to the terms of the attached source license.! !
#abstract!
false! !
typeVarBoundFor:!
1260739!
Unclassified!
0TypeVar:ObjectType! !
answerTypeVar:isSubtypeOf:!
1257392!
Unclassified!
0ObjectType:ObjectType:Boolean! !
