aminePlatform.guis.prologPlusCGGUIs.debuger
Class CpleStrgObjWthBndInf

java.lang.Object
  aminePlatform.guis.prologPlusCGGUIs.debuger.CpleStrgObjWthBndInf

class CpleStrgObjWthBndInf

extends java.lang.Object

Field Summary

(package private) java.lang.String	contentOfNode
(package private) java.lang.Object	goal
(package private) java.lang.Integer	level

Constructor Summary

(package private)

CpleStrgObjWthBndInf(java.lang.String frmNInst, java.lang.Object goal, java.lang.Integer level)

Methods inherited from class java.lang.Object

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

Field Detail

contentOfNode

java.lang.String contentOfNode

goal

java.lang.Object goal

level

java.lang.Integer level

Constructor Detail

CpleStrgObjWthBndInf

CpleStrgObjWthBndInf(java.lang.String frmNInst,
                     java.lang.Object goal,
                     java.lang.Integer level)