jtp.demod
Class CanonicalMapping

java.lang.Object
  |
  +--jtp.demod.CanonicalMapping

public class CanonicalMapping

extends Object

CanonicalMapping.java Created: Wed May 1 22:24:57 2002

Constructor Summary

CanonicalMapping()

CanonicalMapping(Map entryMap, Map equalityClassMap)

Method Summary

Set	getEqualityClass(Object o)
ReasoningStep	getMappingGrounds(Object key)
DemodulationProofTranslator	getProofTranslator()
Map	getSubstitutionMap()
UndoManager	getUndoManager()
void	moveEqualityClass(Object from, Object to, ReasoningStep grounds)
void	setUndoManager(UndoManager v)

Methods inherited from class java.lang.Object

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

Constructor Detail

CanonicalMapping

public CanonicalMapping(Map entryMap,
                        Map equalityClassMap)

CanonicalMapping

public CanonicalMapping()

Method Detail

getUndoManager

public UndoManager getUndoManager()

setUndoManager

public void setUndoManager(UndoManager v)

getSubstitutionMap

public Map getSubstitutionMap()

getMappingGrounds

public ReasoningStep getMappingGrounds(Object key)

getEqualityClass

public Set getEqualityClass(Object o)

getProofTranslator

public DemodulationProofTranslator getProofTranslator()

moveEqualityClass

public void moveEqualityClass(Object from,
                              Object to,
                              ReasoningStep grounds)