Z3
Data Structures | Public Member Functions | Static Public Member Functions | Data Fields
Z3_param_kind Enum Reference

Public Member Functions

 Z3_param_kind (int v)
 
final int toInt ()
 

Static Public Member Functions

static final Z3_param_kind fromInt (int v)
 

Data Fields

 Z3_PK_UINT =(0)
 
 Z3_PK_BOOL =(1)
 
 Z3_PK_DOUBLE =(2)
 
 Z3_PK_SYMBOL =(3)
 
 Z3_PK_STRING =(4)
 
 Z3_PK_OTHER =(5)
 
 Z3_PK_INVALID =(6)
 

Detailed Description

Z3_param_kind

Definition at line 13 of file Z3_param_kind.java.

Constructor & Destructor Documentation

§ Z3_param_kind()

Z3_param_kind ( int  v)
inline

Definition at line 24 of file Z3_param_kind.java.

24  {
25  this.intValue = v;
26  }

Member Function Documentation

§ fromInt()

static final Z3_param_kind fromInt ( int  v)
inlinestatic

Definition at line 38 of file Z3_param_kind.java.

Referenced by ParamDescrs.getKind().

38  {
39  Z3_param_kind k = Z3_param_kind_MappingHolder.intMapping.get(v);
40  if (k != null) return k;
41  throw new IllegalArgumentException("Illegal value " + v + " for Z3_param_kind");
42  }
Z3_param_kind
The different kinds of parameters that can be associated with parameter sets. (see Z3_mk_params)...
Definition: z3_api.h:1243

§ toInt()

final int toInt ( )
inline

Definition at line 44 of file Z3_param_kind.java.

44 { return this.intValue; }

Field Documentation

§ Z3_PK_BOOL

Z3_PK_BOOL =(1)

Definition at line 15 of file Z3_param_kind.java.

§ Z3_PK_DOUBLE

Z3_PK_DOUBLE =(2)

Definition at line 16 of file Z3_param_kind.java.

§ Z3_PK_INVALID

Z3_PK_INVALID =(6)

Definition at line 20 of file Z3_param_kind.java.

§ Z3_PK_OTHER

Z3_PK_OTHER =(5)

Definition at line 19 of file Z3_param_kind.java.

§ Z3_PK_STRING

Z3_PK_STRING =(4)

Definition at line 18 of file Z3_param_kind.java.

§ Z3_PK_SYMBOL

Z3_PK_SYMBOL =(3)

Definition at line 17 of file Z3_param_kind.java.

§ Z3_PK_UINT

Z3_PK_UINT =(0)

Definition at line 14 of file Z3_param_kind.java.