org.eclipse.higgins.iss
Class UserChoiceTree_AND

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

public class UserChoiceTree_AND
extends UserChoiceTree

Field Summary

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

connective, elms, policyIsSatisfied

Constructor Summary

UserChoiceTree_AND()

Method Summary

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_AND

public UserChoiceTree_AND()