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

Variable Index

 o trail

Constructor Index

 o TypeTrail()

Method Index

 o toString()
 o unwind()
Unwinds the trail, after an attempted type unification.

Variables

 o trail
 TermInfo trail

Constructors

 o TypeTrail
 TypeTrail()

Methods

 o unwind
 void unwind()
Unwinds the trail, after an attempted type unification.

 o toString
 public String toString()
Overrides:
toString in class Object

All Packages  Class Hierarchy  This Package  Previous  Next  Index