Z3_ast_kind

java.lang.Object

java.lang.Enum<Z3_ast_kind>

com.microsoft.z3.enumerations.Z3_ast_kind

All Implemented Interfaces:: Serializable, Comparable<Z3_ast_kind>, java.lang.constant.Constable

public enum Z3_ast_kind extends Enum<Z3_ast_kind>

Z3_ast_kind

Nested Class Summary

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

Enum Constants

Enum Constant

Description

Z3_APP_AST

Z3_FUNC_DECL_AST

Z3_NUMERAL_AST

Z3_QUANTIFIER_AST

Z3_SORT_AST

Z3_UNKNOWN_AST

Z3_VAR_AST
Method Summary

Modifier and Type

Method

Description

static final Z3_ast_kind

fromInt(int v)

final int

toInt()

static Z3_ast_kind

valueOf(String name)

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

static Z3_ast_kind[]

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
- Z3_NUMERAL_AST
  
  public static final Z3_ast_kind Z3_NUMERAL_AST
- Z3_APP_AST
  
  public static final Z3_ast_kind Z3_APP_AST
- Z3_VAR_AST
  
  public static final Z3_ast_kind Z3_VAR_AST
- Z3_QUANTIFIER_AST
  
  public static final Z3_ast_kind Z3_QUANTIFIER_AST
- Z3_SORT_AST
  
  public static final Z3_ast_kind Z3_SORT_AST
- Z3_FUNC_DECL_AST
  
  public static final Z3_ast_kind Z3_FUNC_DECL_AST
- Z3_UNKNOWN_AST
  
  public static final Z3_ast_kind Z3_UNKNOWN_AST
Method Details
- values
  
  public static Z3_ast_kind[] 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 Z3_ast_kind valueOf(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:
  
  IllegalArgumentException - if this enum type has no constant with the specified name
  
  NullPointerException - if the argument is null
- fromInt
  
  public static final Z3_ast_kind fromInt(int v)
- toInt
  
  public final int toInt()