zeus.concepts
Class ConditionalNode

java.lang.Object
  zeus.concepts.TaskNode
      zeus.concepts.ConditionalNode

public class ConditionalNode

extends TaskNode

Field Summary

Fields inherited from class zeus.concepts.TaskNode

BEGIN, consumed, DEFAULT_GROUP, END, isConditionalNode, name, produced

Constructor Summary

ConditionalNode(ConditionalNode node)

ConditionalNode(java.lang.String name)

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

ConditionalNode(java.lang.String name, java.util.Vector consumed)

Method Summary

TaskNode

duplicate(DuplicationTable table)

Methods inherited from class zeus.concepts.TaskNode

consumed, consumed, countPostconditions, countPostconditions, countPreconditions, countPreconditions, duplicate, getAllPostconditions, getAllPreconditions, getConsumedPos, getConsumedPos, getGroup, getName, getPostcondition, getPostcondition, getPostcondition, getPostcondition, getPostconditionGroups, getPostconditions, getPostconditions, getPrecondition, getPrecondition, getPrecondition, getPrecondition, getPreconditionGroups, getPreconditions, getPreconditions, getProducedPos, getProducedPos, isBeginNode, isConditionalNode, isEndNode, numPostconditions, numPostconditions, numPreconditions, numPreconditions, pprint, pprint, produced, produced, relaxNumberFields, resolve, resolve, setName, setPostconditions, setPostconditions, setPostconditions, setPostconditions, setPostconditions, setPreconditions, setPreconditions, setPreconditions, setPreconditions, setPreconditions, toString

Methods inherited from class java.lang.Object

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

Constructor Detail

ConditionalNode

public ConditionalNode(java.lang.String name)

ConditionalNode

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

ConditionalNode

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

ConditionalNode

public ConditionalNode(ConditionalNode node)

Method Detail

duplicate

public TaskNode duplicate(DuplicationTable table)

Overrides:

duplicate in class TaskNode