Z3
Data Structures | Public Member Functions
Params Class Reference
+ Inheritance diagram for Params:

Public Member Functions

void add (Symbol name, boolean value)
 
void add (Symbol name, double value)
 
void add (Symbol name, String value)
 
void add (Symbol name, Symbol value)
 
void add (String name, boolean value)
 
void add (String name, int value)
 
void add (String name, double value)
 
void add (String name, Symbol value)
 
void add (String name, String value)
 
String toString ()
 

Additional Inherited Members

- Static Public Member Functions inherited from Z3Object
static long[] arrayToNative (Z3Object[] a)
 
static int arrayLength (Z3Object[] a)
 

Detailed Description

A ParameterSet represents a configuration in the form of Symbol/value pairs.

Definition at line 26 of file Params.java.

Member Function Documentation

◆ add() [1/9]

void add ( String  name,
boolean  value 
)
inline

Adds a parameter setting.

Definition at line 69 of file Params.java.

70  {
71  Native.paramsSetBool(getContext().nCtx(), getNativeObject(),
72  getContext().mkSymbol(name).getNativeObject(), value);
73  }

Referenced by Solver.__iadd__(), Fixedpoint.__iadd__(), and Optimize.__iadd__().

◆ add() [2/9]

void add ( String  name,
double  value 
)
inline

Adds a parameter setting.

Definition at line 87 of file Params.java.

88  {
89  Native.paramsSetDouble(getContext().nCtx(), getNativeObject(), getContext()
90  .mkSymbol(name).getNativeObject(), value);
91  }

Referenced by Solver.__iadd__(), Fixedpoint.__iadd__(), and Optimize.__iadd__().

◆ add() [3/9]

void add ( String  name,
int  value 
)
inline

Adds a parameter setting.

Definition at line 78 of file Params.java.

79  {
80  Native.paramsSetUint(getContext().nCtx(), getNativeObject(), getContext()
81  .mkSymbol(name).getNativeObject(), value);
82  }

Referenced by Solver.__iadd__(), Fixedpoint.__iadd__(), and Optimize.__iadd__().

◆ add() [4/9]

void add ( String  name,
String  value 
)
inline

Adds a parameter setting.

Definition at line 105 of file Params.java.

106  {
107 
108  Native.paramsSetSymbol(getContext().nCtx(), getNativeObject(),
109  getContext().mkSymbol(name).getNativeObject(),
110  getContext().mkSymbol(value).getNativeObject());
111  }

Referenced by Solver.__iadd__(), Fixedpoint.__iadd__(), and Optimize.__iadd__().

◆ add() [5/9]

void add ( String  name,
Symbol  value 
)
inline

Adds a parameter setting.

Definition at line 96 of file Params.java.

97  {
98  Native.paramsSetSymbol(getContext().nCtx(), getNativeObject(), getContext()
99  .mkSymbol(name).getNativeObject(), value.getNativeObject());
100  }

Referenced by Solver.__iadd__(), Fixedpoint.__iadd__(), and Optimize.__iadd__().

◆ add() [6/9]

void add ( Symbol  name,
boolean  value 
)
inline

Adds a parameter setting.

Definition at line 30 of file Params.java.

31  {
32  Native.paramsSetBool(getContext().nCtx(), getNativeObject(),
33  name.getNativeObject(), (value));
34  }

Referenced by Solver.__iadd__(), Fixedpoint.__iadd__(), and Optimize.__iadd__().

◆ add() [7/9]

void add ( Symbol  name,
double  value 
)
inline

Adds a parameter setting.

Definition at line 39 of file Params.java.

40  {
41  Native.paramsSetDouble(getContext().nCtx(), getNativeObject(),
42  name.getNativeObject(), value);
43  }

Referenced by Solver.__iadd__(), Fixedpoint.__iadd__(), and Optimize.__iadd__().

◆ add() [8/9]

void add ( Symbol  name,
String  value 
)
inline

Adds a parameter setting.

Definition at line 48 of file Params.java.

49  {
50 
51  Native.paramsSetSymbol(getContext().nCtx(), getNativeObject(),
52  name.getNativeObject(),
53  getContext().mkSymbol(value).getNativeObject());
54  }

Referenced by Solver.__iadd__(), Fixedpoint.__iadd__(), and Optimize.__iadd__().

◆ add() [9/9]

void add ( Symbol  name,
Symbol  value 
)
inline

Adds a parameter setting.

Definition at line 59 of file Params.java.

60  {
61 
62  Native.paramsSetSymbol(getContext().nCtx(), getNativeObject(),
63  name.getNativeObject(), value.getNativeObject());
64  }

Referenced by Solver.__iadd__(), Fixedpoint.__iadd__(), and Optimize.__iadd__().

◆ toString()

String toString ( )
inline

A string representation of the parameter set.

Definition at line 117 of file Params.java.

118  {
119  return Native.paramsToString(getContext().nCtx(), getNativeObject());
120  }