zeus.concepts
Class TaskNode

java.lang.Object
  zeus.concepts.TaskNode

Direct Known Subclasses:

ConditionalNode

public class TaskNode

extends java.lang.Object

Field Summary

static java.lang.String	BEGIN
protected java.util.Hashtable	consumed
static java.lang.String	DEFAULT_GROUP
static java.lang.String	END
protected boolean	isConditionalNode
protected java.lang.String	name
protected java.util.Hashtable	produced

Constructor Summary

TaskNode(java.lang.String name)

TaskNode(java.lang.String name, Fact[] consumed, Fact[] produced)

TaskNode(java.lang.String name, java.util.Vector consumed, java.util.Vector produced)

TaskNode(TaskNode node)

Method Summary

java.util.Vector	consumed()
java.util.Vector	consumed(java.lang.String group)
int	countPostconditions()
int	countPostconditions(java.lang.String group)
int	countPreconditions()
int	countPreconditions(java.lang.String group)
TaskNode	duplicate(DuplicationTable table)
TaskNode	duplicate(java.lang.String name, GenSym genSym)
java.util.Hashtable	getAllPostconditions()
java.util.Hashtable	getAllPreconditions()
int	getConsumedPos(Fact fact)
int	getConsumedPos(java.lang.String group, Fact fact)
protected java.util.Vector	getGroup(java.util.Hashtable table, java.lang.String group)
java.lang.String	getName()
Fact	getPostcondition(int pos)
Fact	getPostcondition(java.lang.String fid)
Fact	getPostcondition(java.lang.String group, int pos)
Fact	getPostcondition(java.lang.String group, java.lang.String fid)
java.lang.String[]	getPostconditionGroups()
Fact[]	getPostconditions()
Fact[]	getPostconditions(java.lang.String group)
Fact	getPrecondition(int pos)
Fact	getPrecondition(java.lang.String fid)
Fact	getPrecondition(java.lang.String group, int pos)
Fact	getPrecondition(java.lang.String group, java.lang.String fid)
java.lang.String[]	getPreconditionGroups()
Fact[]	getPreconditions()
Fact[]	getPreconditions(java.lang.String group)
int	getProducedPos(Fact fact)
int	getProducedPos(java.lang.String group, Fact fact)
boolean	isBeginNode()
boolean	isConditionalNode()
boolean	isEndNode()
int[]	numPostconditions()
int[]	numPostconditions(java.lang.String group)
int[]	numPreconditions()
int[]	numPreconditions(java.lang.String group)
java.lang.String	pprint()
java.lang.String	pprint(int sp)
java.util.Vector	produced()
java.util.Vector	produced(java.lang.String group)
void	relaxNumberFields()
boolean	resolve(Bindings bindings)
boolean	resolve(ResolutionContext context, Bindings bindings)
void	setName(java.lang.String name)
void	setPostconditions(Fact[] List)
void	setPostconditions(java.util.Hashtable input)
void	setPostconditions(java.lang.String group, Fact[] List)
void	setPostconditions(java.lang.String group, java.util.Vector List)
void	setPostconditions(java.util.Vector List)
void	setPreconditions(Fact[] List)
void	setPreconditions(java.util.Hashtable input)
void	setPreconditions(java.lang.String group, Fact[] List)
void	setPreconditions(java.lang.String group, java.util.Vector List)
void	setPreconditions(java.util.Vector List)
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

BEGIN

public static final java.lang.String BEGIN

See Also:

Constant Field Values

END

public static final java.lang.String END

See Also:

Constant Field Values

DEFAULT_GROUP

public static final java.lang.String DEFAULT_GROUP

See Also:

Constant Field Values

isConditionalNode

protected boolean isConditionalNode

name

protected java.lang.String name

consumed

protected java.util.Hashtable consumed

produced

protected java.util.Hashtable produced

Constructor Detail

TaskNode

public TaskNode(java.lang.String name)

TaskNode

public TaskNode(java.lang.String name,
                Fact[] consumed,
                Fact[] produced)

TaskNode

public TaskNode(java.lang.String name,
                java.util.Vector consumed,
                java.util.Vector produced)

TaskNode

public TaskNode(TaskNode node)

Method Detail

isConditionalNode

public final boolean isConditionalNode()

isBeginNode

public final boolean isBeginNode()

isEndNode

public final boolean isEndNode()

getName

public final java.lang.String getName()

setName

public final void setName(java.lang.String name)

getPreconditionGroups

public java.lang.String[] getPreconditionGroups()

getPostconditionGroups

public java.lang.String[] getPostconditionGroups()

setPostconditions

public void setPostconditions(java.util.Hashtable input)

setPreconditions

public void setPreconditions(java.util.Hashtable input)

getAllPostconditions

public java.util.Hashtable getAllPostconditions()

getAllPreconditions

public java.util.Hashtable getAllPreconditions()

produced

public java.util.Vector produced()

consumed

public java.util.Vector consumed()

produced

public java.util.Vector produced(java.lang.String group)

consumed

public java.util.Vector consumed(java.lang.String group)

setPostconditions

public void setPostconditions(java.util.Vector List)

setPostconditions

public void setPostconditions(Fact[] List)

setPreconditions

public void setPreconditions(java.util.Vector List)

setPreconditions

public void setPreconditions(Fact[] List)

getGroup

protected java.util.Vector getGroup(java.util.Hashtable table,
                                    java.lang.String group)

setPostconditions

public void setPostconditions(java.lang.String group,
                              java.util.Vector List)

setPostconditions

public void setPostconditions(java.lang.String group,
                              Fact[] List)

setPreconditions

public void setPreconditions(java.lang.String group,
                             java.util.Vector List)

setPreconditions

public void setPreconditions(java.lang.String group,
                             Fact[] List)

getPostconditions

public Fact[] getPostconditions()

getPreconditions

public Fact[] getPreconditions()

getPostconditions

public Fact[] getPostconditions(java.lang.String group)

getPreconditions

public Fact[] getPreconditions(java.lang.String group)

countPreconditions

public int countPreconditions()

countPostconditions

public int countPostconditions()

numPreconditions

public int[] numPreconditions()

numPostconditions

public int[] numPostconditions()

countPreconditions

public int countPreconditions(java.lang.String group)

countPostconditions

public int countPostconditions(java.lang.String group)

numPreconditions

public int[] numPreconditions(java.lang.String group)

numPostconditions

public int[] numPostconditions(java.lang.String group)

getPrecondition

public Fact getPrecondition(java.lang.String fid)

getPostcondition

public Fact getPostcondition(java.lang.String fid)

getPrecondition

public Fact getPrecondition(int pos)

getPostcondition

public Fact getPostcondition(int pos)

getConsumedPos

public int getConsumedPos(Fact fact)

getProducedPos

public int getProducedPos(Fact fact)

getPrecondition

public Fact getPrecondition(java.lang.String group,
                            java.lang.String fid)

getPostcondition

public Fact getPostcondition(java.lang.String group,
                             java.lang.String fid)

getPrecondition

public Fact getPrecondition(java.lang.String group,
                            int pos)

getPostcondition

public Fact getPostcondition(java.lang.String group,
                             int pos)

getConsumedPos

public int getConsumedPos(java.lang.String group,
                          Fact fact)

getProducedPos

public int getProducedPos(java.lang.String group,
                          Fact fact)

relaxNumberFields

public void relaxNumberFields()

resolve

public boolean resolve(Bindings bindings)

resolve

public boolean resolve(ResolutionContext context,
                       Bindings bindings)

toString

public java.lang.String toString()

pprint

public java.lang.String pprint()

pprint

public java.lang.String pprint(int sp)

duplicate

public TaskNode duplicate(java.lang.String name,
                          GenSym genSym)

duplicate

public TaskNode duplicate(DuplicationTable table)