aminePlatform.engines.prologPlusCG.bindingContext
Class UnifRecord

java.lang.Object
  java.util.AbstractMap
      java.util.HashMap
          aminePlatform.engines.prologPlusCG.bindingContext.UnifRecord

All Implemented Interfaces:

java.lang.Cloneable, java.util.Map, java.io.Serializable

public class UnifRecord

extends java.util.HashMap

Title: UnifRecord

Description: UnifRecord is a HashMap with entry defined as follows: key = Variable, value = LstOfConstraints. UnifRecords are pushed (and popped) in/from Unification stack.

Copyright: Copyright (c) Adil KABBAJ, 2004-2009

See Also:

Serialized Form

Nested Class Summary

Nested classes inherited from class java.util.HashMap

Nested classes inherited from class java.util.AbstractMap

Field Summary

Fields inherited from class java.util.HashMap

Fields inherited from class java.util.AbstractMap

Constructor Summary

UnifRecord()

Method Summary

java.lang.String

toString(Lexicon lexicon)

Methods inherited from class java.util.HashMap

clear, clone, containsKey, containsValue, entrySet, get, isEmpty, keySet, put, putAll, remove, size, values

Methods inherited from class java.util.AbstractMap

equals, hashCode, toString

Methods inherited from class java.lang.Object

finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface java.util.Map

equals, hashCode

Constructor Detail

UnifRecord

public UnifRecord()

Method Detail

toString

public java.lang.String toString(Lexicon lexicon)