aminePlatform.engines.prologPlusCG.bindingContext
Class UnifRecord

java.lang.Object
  extended byjava.util.AbstractMap
      extended byjava.util.HashMap
          extended byaminePlatform.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)