jtp.frame
Class Renamer

java.lang.Object
  |
  +--jtp.frame.Renamer

public class Renamer

extends Object

Renamer.java Created: Sun Apr 28 18:19:48 2002

Constructor Summary

Renamer(FrameKB fkb)

Method Summary

void	transferSymbol(Symbol source, Symbol target, ReasoningStep grounds, Collection results)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

Renamer

public Renamer(FrameKB fkb)

Method Detail

transferSymbol

public void transferSymbol(Symbol source,
                           Symbol target,
                           ReasoningStep grounds,
                           Collection results)