Z3
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 ()
 

Detailed Description

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

Definition at line 24 of file Params.java.

Member Function Documentation

§ add() [1/9]

void add ( Symbol  name,
boolean  value 
)
inline

Adds a parameter setting.

Definition at line 28 of file Params.java.

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

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

§ add() [2/9]

void add ( Symbol  name,
double  value 
)
inline

Adds a parameter setting.

Definition at line 37 of file Params.java.

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

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

§ add() [3/9]

void add ( Symbol  name,
String  value 
)
inline

Adds a parameter setting.

Definition at line 46 of file Params.java.

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

47  {
48 
49  Native.paramsSetSymbol(getContext().nCtx(), getNativeObject(),
50  name.getNativeObject(),
51  getContext().mkSymbol(value).getNativeObject());
52  }
IntSymbol mkSymbol(int i)
Definition: Context.java:81

§ add() [4/9]

void add ( Symbol  name,
Symbol  value 
)
inline

Adds a parameter setting.

Definition at line 57 of file Params.java.

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

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

§ add() [5/9]

void add ( String  name,
boolean  value 
)
inline

Adds a parameter setting.

Definition at line 67 of file Params.java.

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

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

§ add() [6/9]

void add ( String  name,
int  value 
)
inline

Adds a parameter setting.

Definition at line 76 of file Params.java.

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

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

§ add() [7/9]

void add ( String  name,
double  value 
)
inline

Adds a parameter setting.

Definition at line 85 of file Params.java.

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

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

§ add() [8/9]

void add ( String  name,
Symbol  value 
)
inline

Adds a parameter setting.

Definition at line 94 of file Params.java.

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

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

§ add() [9/9]

void add ( String  name,
String  value 
)
inline

Adds a parameter setting.

Definition at line 103 of file Params.java.

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

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

§ toString()

String toString ( )
inline

A string representation of the parameter set.

Definition at line 115 of file Params.java.

116  {
117  return Native.paramsToString(getContext().nCtx(), getNativeObject());
118  }