CTLExpression.CtlOperator

java.lang.Object

java.lang.Enum<CTLExpression.CtlOperator>

cruise.umple.nusmv.CTLExpression.CtlOperator

All Implemented Interfaces:: Serializable, Comparable<CTLExpression.CtlOperator>, Constable

Enclosing class:: CTLExpression

public static enum CTLExpression.CtlOperator extends Enum<CTLExpression.CtlOperator>

Nested Class Summary

Nested classes/interfaces inherited from class Enum
Enum.EnumDesc<E>
Enum Constant Summary

Enum Constants

Enum Constant

Description

A

AF

AG

AX

E

EF

EG

EX

U
Method Summary

Modifier and Type

Method

Description

static CTLExpression.CtlOperator

valueOf(String name)

Returns the enum constant of this class with the specified name.

static CTLExpression.CtlOperator[]

values()

Returns an array containing the constants of this enum class, in the order they are declared.

Methods inherited from class Enum
clone, compareTo, describeConstable, equals, finalize, getDeclaringClass, hashCode, name, ordinal, toString, valueOf

Methods inherited from class Object
getClass, notify, notifyAll, wait, wait, wait

Enum Constant Details
- EG
  
  public static final CTLExpression.CtlOperator EG
- EX
  
  public static final CTLExpression.CtlOperator EX
- EF
  
  public static final CTLExpression.CtlOperator EF
- AG
  
  public static final CTLExpression.CtlOperator AG
- AX
  
  public static final CTLExpression.CtlOperator AX
- AF
  
  public static final CTLExpression.CtlOperator AF
- E
  
  public static final CTLExpression.CtlOperator E
- A
  
  public static final CTLExpression.CtlOperator A
- U
  
  public static final CTLExpression.CtlOperator U
Method Details
- values
  
  public static CTLExpression.CtlOperator[] values()
  
  Returns an array containing the constants of this enum class, in the order they are declared.
  
  Returns:
  
  an array containing the constants of this enum class, in the order they are declared
- valueOf
  
  public static CTLExpression.CtlOperator valueOf(String name)
  
  Returns the enum constant of this class with the specified name. The string must match exactly an identifier used to declare an enum constant in this class. (Extraneous whitespace characters are not permitted.)
  
  Parameters:
  
  name - the name of the enum constant to be returned.
  
  Returns:
  
  the enum constant with the specified name
  
  Throws:
  
  IllegalArgumentException - if this enum class has no constant with the specified name
  
  NullPointerException - if the argument is null