org.eclipse.higgins.iss
Class UserChoiceTree_OR

java.lang.Object
  org.eclipse.higgins.iss.UserChoiceTree
      org.eclipse.higgins.iss.UserChoiceTree_OR

public class UserChoiceTree_OR

extends UserChoiceTree

Field Summary

Fields inherited from class org.eclipse.higgins.iss.UserChoiceTree

connective, elms, policyIsSatisfied

Constructor Summary

UserChoiceTree_OR()

UserChoiceTree_OR(UCTelm uctElm)

Methods inherited from class org.eclipse.higgins.iss.UserChoiceTree

add, getListIterator, toString

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

UserChoiceTree_OR

public UserChoiceTree_OR()

UserChoiceTree_OR

public UserChoiceTree_OR(UCTelm uctElm)