aminePlatform.engines.prologPlusCG.bindingContext
Class UnificationStack

java.lang.Object
  java.util.AbstractCollection
      java.util.AbstractList
          java.util.Vector
              java.util.Stack
                  aminePlatform.engines.prologPlusCG.bindingContext.UnificationStack

All Implemented Interfaces:

java.lang.Cloneable, java.util.Collection, java.util.List, java.util.RandomAccess, java.io.Serializable

public class UnificationStack

extends java.util.Stack

Title: UnificationStack

Description: UnificationStack defines the unification stack used by Prolog+CG interpreter. Elements of an UnificationStack are UnifRecord. UnifRecords are pushed (and popped) in/from Unification stack. An UnifRecord object is a HashMap with entry defined as follows: key = Variable, value = LstOfConstraints. A LstOfConstraints is an ArrayList of constraints. A constraint is an ObjectWithBindInf object.

See the Web Site of Amine Platform for more detail: sourceforge.net/projects/amine-platform

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

See Also:

Serialized Form

Field Summary

Fields inherited from class java.util.Vector

capacityIncrement, elementCount, elementData

Fields inherited from class java.util.AbstractList

modCount

Constructor Summary

UnificationStack()

Method Summary

void	addNewElem()
java.lang.Object	pop()
void	removeVarValConstr(Variable variable, int levelVar) remove the constraint variable = value from the unification record at levelVar
void	removeVarVarConstr(Variable var, int level, ObjectWithBindInf contraint)
void	removeVarVarConstr(Variable var1, int levelVar1, Variable var2, int levelVar2) remove the constraint variable1 = variable2 from the unification record at levelVar1
int	topOf()
java.lang.String	toString(Lexicon lexicon)

Methods inherited from class java.util.Stack

empty, peek, push, search

Methods inherited from class java.util.Vector

add, add, addAll, addAll, addElement, capacity, clear, clone, contains, containsAll, copyInto, elementAt, elements, ensureCapacity, equals, firstElement, get, hashCode, indexOf, indexOf, insertElementAt, isEmpty, lastElement, lastIndexOf, lastIndexOf, remove, remove, removeAll, removeAllElements, removeElement, removeElementAt, removeRange, retainAll, set, setElementAt, setSize, size, subList, toArray, toArray, toString, trimToSize

Methods inherited from class java.util.AbstractList

iterator, listIterator, listIterator

Methods inherited from class java.lang.Object

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

Methods inherited from interface java.util.List

iterator, listIterator, listIterator

Constructor Detail

UnificationStack

public UnificationStack()

Method Detail

toString

public java.lang.String toString(Lexicon lexicon)

topOf

public int topOf()

addNewElem

public void addNewElem()

pop

public java.lang.Object pop()

removeVarValConstr

public void removeVarValConstr(Variable variable,
                               int levelVar)

remove the constraint variable = value from the unification record at levelVar

Parameters:

variable -

levelVar -

removeVarVarConstr

public void removeVarVarConstr(Variable var1,
                               int levelVar1,
                               Variable var2,
                               int levelVar2)

remove the constraint variable1 = variable2 from the unification record at levelVar1

Parameters:

var1 -

levelVar1 -

var2 -

levelVar2 -

removeVarVarConstr

public void removeVarVarConstr(Variable var,
                               int level,
                               ObjectWithBindInf contraint)