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

Public Member Functions

 Z3_ast_print_mode (int v)
 
final int toInt ()
 

Static Public Member Functions

static final Z3_ast_print_mode fromInt (int v)
 

Data Fields

 Z3_PRINT_SMTLIB_FULL =(0)
 
 Z3_PRINT_LOW_LEVEL =(1)
 
 Z3_PRINT_SMTLIB2_COMPLIANT =(2)
 

Detailed Description

Z3_ast_print_mode

Definition at line 13 of file Z3_ast_print_mode.java.

Constructor & Destructor Documentation

◆ Z3_ast_print_mode()

Z3_ast_print_mode ( int  v)
inline

Definition at line 20 of file Z3_ast_print_mode.java.

20  {
21  this.intValue = v;
22  }

Member Function Documentation

◆ fromInt()

static final Z3_ast_print_mode fromInt ( int  v)
inlinestatic

Definition at line 34 of file Z3_ast_print_mode.java.

34  {
35  Z3_ast_print_mode k = Z3_ast_print_mode_MappingHolder.intMapping.get(v);
36  if (k != null) return k;
37  throw new IllegalArgumentException("Illegal value " + v + " for Z3_ast_print_mode");
38  }
Z3_ast_print_mode
Z3 pretty printing modes (See Z3_set_ast_print_mode).
Definition: z3_api.h:1297

◆ toInt()

final int toInt ( )
inline

Definition at line 40 of file Z3_ast_print_mode.java.

Referenced by Context.setPrintMode().

40 { return this.intValue; }

Field Documentation

◆ Z3_PRINT_LOW_LEVEL

Z3_PRINT_LOW_LEVEL =(1)

Definition at line 15 of file Z3_ast_print_mode.java.

◆ Z3_PRINT_SMTLIB2_COMPLIANT

Z3_PRINT_SMTLIB2_COMPLIANT =(2)

Definition at line 16 of file Z3_ast_print_mode.java.

◆ Z3_PRINT_SMTLIB_FULL

Z3_PRINT_SMTLIB_FULL =(0)

Definition at line 14 of file Z3_ast_print_mode.java.