All Packages Class Hierarchy This Package Previous Next Index
Class prolog.TypeTrail
java.lang.Object
|
+----prolog.TypeTrail
- public class TypeTrail
- extends Object
Trailing for type variables.
- See Also:
- TermInfo
-
trail
-
-
TypeTrail()
-
-
toString()
-
-
unwind()
- Unwinds the trail, after an attempted type unification.
trail
TermInfo trail
TypeTrail
TypeTrail()
unwind
void unwind()
- Unwinds the trail, after an attempted type unification.
toString
public String toString()
- Overrides:
- toString in class Object
All Packages Class Hierarchy This Package Previous Next Index