Z3_param_kind

java.lang.Object

java.lang.Enum<Z3_param_kind>

com.microsoft.z3.enumerations.Z3_param_kind

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

public enum Z3_param_kind extends Enum<Z3_param_kind>

Z3_param_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_PK_BOOL

Z3_PK_DOUBLE

Z3_PK_INVALID

Z3_PK_OTHER

Z3_PK_STRING

Z3_PK_SYMBOL

Z3_PK_UINT
Method Summary

Modifier and Type

Method

Description

static final Z3_param_kind

fromInt(int v)

final int

toInt()

static Z3_param_kind

valueOf(String name)

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

static Z3_param_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_PK_UINT
  
  public static final Z3_param_kind Z3_PK_UINT
- Z3_PK_BOOL
  
  public static final Z3_param_kind Z3_PK_BOOL
- Z3_PK_DOUBLE
  
  public static final Z3_param_kind Z3_PK_DOUBLE
- Z3_PK_SYMBOL
  
  public static final Z3_param_kind Z3_PK_SYMBOL
- Z3_PK_STRING
  
  public static final Z3_param_kind Z3_PK_STRING
- Z3_PK_OTHER
  
  public static final Z3_param_kind Z3_PK_OTHER
- Z3_PK_INVALID
  
  public static final Z3_param_kind Z3_PK_INVALID
Method Details
- values
  
  public static Z3_param_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_param_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_param_kind fromInt(int v)
- toInt
  
  public final int toInt()