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

Public Member Functions

 Z3_symbol_kind (int v)
 
final int toInt ()
 

Static Public Member Functions

static final Z3_symbol_kind fromInt (int v)
 

Data Fields

 Z3_INT_SYMBOL =(0)
 
 Z3_STRING_SYMBOL =(1)
 

Detailed Description

Z3_symbol_kind

Definition at line 13 of file Z3_symbol_kind.java.

Constructor & Destructor Documentation

§ Z3_symbol_kind()

Z3_symbol_kind ( int  v)
inline

Definition at line 19 of file Z3_symbol_kind.java.

19  {
20  this.intValue = v;
21  }

Member Function Documentation

§ fromInt()

static final Z3_symbol_kind fromInt ( int  v)
inlinestatic

Definition at line 33 of file Z3_symbol_kind.java.

Referenced by Symbol.getKind(), and Symbol.Symbol().

33  {
34  Z3_symbol_kind k = Z3_symbol_kind_MappingHolder.intMapping.get(v);
35  if (k != null) return k;
36  throw new IllegalArgumentException("Illegal value " + v + " for Z3_symbol_kind");
37  }
Z3_symbol_kind
The different kinds of symbol. In Z3, a symbol can be represented using integers and strings (See #Z3...
Definition: z3_api.h:119

§ toInt()

final int toInt ( )
inline

Definition at line 39 of file Z3_symbol_kind.java.

39 { return this.intValue; }

Field Documentation

§ Z3_INT_SYMBOL

Z3_INT_SYMBOL =(0)

Definition at line 14 of file Z3_symbol_kind.java.

Referenced by IntSymbol.getInt(), and Symbol.isIntSymbol().

§ Z3_STRING_SYMBOL

Z3_STRING_SYMBOL =(1)

Definition at line 15 of file Z3_symbol_kind.java.

Referenced by StringSymbol.getString(), and Symbol.isStringSymbol().