CTLExpression.CtlOperator

java.lang.Object

java.lang.Enum<CTLExpression.CtlOperator>

cruise.umple.nusmv.CTLExpression.CtlOperator

All Implemented Interfaces:: java.io.Serializable, java.lang.Comparable<CTLExpression.CtlOperator>, java.lang.constant.Constable

Enclosing class:: CTLExpression

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

Nested Class Summary

Nested classes/interfaces inherited from class java.lang.Enum
java.lang.Enum.EnumDesc<E extends java.lang.Enum<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(java.lang.String name)`	Returns the enum constant of this type with the specified name.
`static CTLExpression.CtlOperator[]`	`values()`	Returns an array containing the constants of this enum type, in the order they are declared.

Methods inherited from class java.lang.Enum

clone, compareTo, describeConstable, equals, finalize, getDeclaringClass, hashCode, name, ordinal, toString, valueOf

Methods inherited from class java.lang.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 type, in the order they are declared.
  
  Returns:
  
  an array containing the constants of this enum type, in the order they are declared
- valueOf
  
  public static CTLExpression.CtlOperator valueOf(java.lang.String name)
  
  Returns the enum constant of this type with the specified name. The string must match exactly an identifier used to declare an enum constant in this type. (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:
  
  java.lang.IllegalArgumentException - if this enum type has no constant with the specified name
  
  java.lang.NullPointerException - if the argument is null