aminePlatform.engines.prologPlusCG.util
Class GoalToResolve

java.lang.Object
  aminePlatform.engines.prologPlusCG.util.GoalToResolve

public class GoalToResolve

extends java.lang.Object

Title : GoalToResolve

Description : GoalToResolve represents the activation record that contains valuable information for the interpretation/resolution of the current goal.

Copyright : Copyright (c) Adil KABBAJ 2004-2009

Field Summary

java.lang.Object	goal
java.lang.Integer	ind
java.lang.String	key
int	mrkRsltStck
int	pos

Constructor Summary

GoalToResolve()

GoalToResolve(java.lang.Object goal, java.lang.Integer indice, int post)

Methods inherited from class java.lang.Object

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

Field Detail

goal

public java.lang.Object goal

ind

public java.lang.Integer ind

pos

public int pos

mrkRsltStck

public int mrkRsltStck

key

public java.lang.String key

Constructor Detail

GoalToResolve

public GoalToResolve()

GoalToResolve

public GoalToResolve(java.lang.Object goal,
                     java.lang.Integer indice,
                     int post)