org.hops.dm.tad
Class ISShared

java.lang.Object
  org.hops.dm.tad.ISShared

All Implemented Interfaces:

java.io.Serializable

public class ISShared
extends java.lang.Object
implements java.io.Serializable

Shared information of the IS known by the user

Version:

3.0

Author:

Meritxell Gonzalez

See Also:

Serialized Form

Field Summary

stackact	ACTIONS actions done (database queries)
stackp	COM commitments about the questions under discussion
stackp	ISSUES contains open issues --> Global QUD
utterance	LU last utterance processed
queueact	PM past movementS ; for grounding once movements are grounded they are added to shared/LU/MOVES
stackp	QUD local QUD

Constructor Summary

ISShared()
Creates a new instance of ISPrivate

Method Summary

void	clear() clear all the stacks
void	push(condition cond) pushes a new propostition in the specified stack
void	push(term t) pushes a new propostition in the specified stack

Methods inherited from class java.lang.Object

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

Field Detail

COM

public stackp COM

commitments about the questions under discussion

ISSUES

public stackp ISSUES

contains open issues --> Global QUD

QUD

public stackp QUD

local QUD

PM

public queueact PM

past movementS ; for grounding once movements are grounded they are added to shared/LU/MOVES

LU

public utterance LU

last utterance processed

ACTIONS

public stackact ACTIONS

actions done (database queries)

Constructor Detail

ISShared

public ISShared()

Creates a new instance of ISPrivate

Method Detail

push

public void push(condition cond)

pushes a new propostition in the specified stack

push

public void push(term t)

pushes a new propostition in the specified stack

clear

public void clear()

clear all the stacks