aminePlatform.engines.prologPlusCG.bindingContext
Class PPCGBindingContext.UnifConstraint

java.lang.Object
  aminePlatform.engines.prologPlusCG.bindingContext.PPCGBindingContext.UnifConstraint

Enclosing class:

PPCGBindingContext

class PPCGBindingContext.UnifConstraint

extends java.lang.Object

Title: UnifConstraint

Description: UnifConstraint describes a contraint on variables/values. It contains the two objects unified with their information binding (level in the unification stack).

Copyright: Copyright (c) Adil KABBAJ, 2004

Field Summary

(package private) java.lang.Object	lftObj
(package private) java.lang.Integer	lvlLftObj
(package private) java.lang.Integer	lvlRghtObj
(package private) java.lang.Object	rghtObj

Constructor Summary

PPCGBindingContext.UnifConstraint(java.lang.Object plftObj, java.lang.Integer plvlLftObj, java.lang.Object prghtObj, java.lang.Integer plvlRghtObj)

Method Summary

void	finalize()

Methods inherited from class java.lang.Object

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

Field Detail

lftObj

java.lang.Object lftObj

lvlLftObj

java.lang.Integer lvlLftObj

rghtObj

java.lang.Object rghtObj

lvlRghtObj

java.lang.Integer lvlRghtObj

Constructor Detail

PPCGBindingContext.UnifConstraint

public PPCGBindingContext.UnifConstraint(java.lang.Object plftObj,
                                         java.lang.Integer plvlLftObj,
                                         java.lang.Object prghtObj,
                                         java.lang.Integer plvlRghtObj)

Method Detail

finalize

public void finalize()