Z3
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 10 of file Z3_symbol_kind.java.

Constructor & Destructor Documentation

Z3_symbol_kind ( int  v)
inline

Definition at line 16 of file Z3_symbol_kind.java.

16  {
17  this.intValue = v;
18  }

Member Function Documentation

static final Z3_symbol_kind fromInt ( int  v)
inlinestatic

Definition at line 20 of file Z3_symbol_kind.java.

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

20  {
21  for (Z3_symbol_kind k: values())
22  if (k.intValue == v) return k;
23  return values()[0];
24  }
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:158
final int toInt ( )
inline

Definition at line 26 of file Z3_symbol_kind.java.

26 { return this.intValue; }

Field Documentation

Z3_INT_SYMBOL =(0)

Definition at line 11 of file Z3_symbol_kind.java.

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

Z3_STRING_SYMBOL =(1)

Definition at line 12 of file Z3_symbol_kind.java.

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