edu.ucla.util
Class CSITypeProperty.CSIType

Object
  extended by UserEnumValue
      extended by CSITypeProperty.CSIType
All Implemented Interfaces:
EnumValue
Enclosing class:
CSITypeProperty

public class CSITypeProperty.CSIType
extends UserEnumValue


Method Summary
 
Methods inherited from class UserEnumValue
equals, hashCode, property, setName, toString
 
Methods inherited from class Object
getClass, notify, notifyAll, wait, wait, wait
 



Copyright 2010 UCLA Automated Reasoning Group