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.

                         {
        this.intValue = v;
    }

Member Function Documentation

fromInt()

static final Z3_param_kind fromInt ( int  v )

inlinestatic

Definition at line 38 of file Z3_param_kind.java.

                                                     {
        Z3_param_kind k = Z3_param_kind_MappingHolder.intMapping.get(v);
        if (k != null) return k;
        throw new IllegalArgumentException("Illegal value " + v + " for Z3_param_kind");
    }

Referenced by ParamDescrs.getKind().

toInt()

final int toInt ( )

inline

Definition at line 44 of file Z3_param_kind.java.

{ 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.