opennlp.grok.unify
Class EmptySubstitution

java.lang.Object
  |
  +--opennlp.grok.unify.EmptySubstitution

All Implemented Interfaces:

opennlp.common.unify.Substitution

public class EmptySubstitution

extends java.lang.Object

implements opennlp.common.unify.Substitution

A Substitution which does not hold any substitutions.

Version:

$Revision: 1.2 $, $Date: 2002/06/04 17:43:50 $

Author:

Jason Baldridge

Constructor Summary

EmptySubstitution()

Method Summary

java.lang.Object	getValue(opennlp.common.unify.Variable var)
java.lang.Object	makeSubstitution(opennlp.common.unify.Variable var, java.lang.Object u)
java.util.Iterator	varIterator()

Methods inherited from class java.lang.Object

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

Constructor Detail

EmptySubstitution

public EmptySubstitution()

Method Detail

makeSubstitution

public java.lang.Object makeSubstitution(opennlp.common.unify.Variable var,
                                         java.lang.Object u)
                                  throws opennlp.common.unify.UnifyFailure

Specified by:

makeSubstitution in interface opennlp.common.unify.Substitution

opennlp.common.unify.UnifyFailure

getValue

public java.lang.Object getValue(opennlp.common.unify.Variable var)

Specified by:

getValue in interface opennlp.common.unify.Substitution

varIterator

public java.util.Iterator varIterator()

Specified by:

varIterator in interface opennlp.common.unify.Substitution