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

Public Member Functions

void add (Symbol name, boolean value) throws Z3Exception
 
void add (Symbol name, double value) throws Z3Exception
 
void add (Symbol name, String value) throws Z3Exception
 
void add (Symbol name, Symbol value) throws Z3Exception
 
void add (String name, boolean value) throws Z3Exception
 
void add (String name, int value) throws Z3Exception
 
void add (String name, double value) throws Z3Exception
 
void add (String name, Symbol value) throws Z3Exception
 
void add (String name, String value) throws Z3Exception
 
String toString ()
 
- Public Member Functions inherited from Z3Object
void dispose () throws Z3Exception
 
- Public Member Functions inherited from IDisposable
void dispose () throws Z3Exception
 

Additional Inherited Members

- Protected Member Functions inherited from Z3Object
void finalize () throws Z3Exception
 

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

void add ( Symbol  name,
boolean  value 
) throws Z3Exception
inline

Adds a parameter setting.

Definition at line 29 of file Params.java.

30  {
31  Native.paramsSetBool(getContext().nCtx(), getNativeObject(),
32  name.getNativeObject(), (value) ? true : false);
33  }
void add ( Symbol  name,
double  value 
) throws Z3Exception
inline

Adds a parameter setting.

Definition at line 38 of file Params.java.

39  {
40  Native.paramsSetDouble(getContext().nCtx(), getNativeObject(),
41  name.getNativeObject(), value);
42  }
void add ( Symbol  name,
String  value 
) throws Z3Exception
inline

Adds a parameter setting.

Definition at line 47 of file Params.java.

48  {
49 
50  Native.paramsSetSymbol(getContext().nCtx(), getNativeObject(),
51  name.getNativeObject(),
52  getContext().mkSymbol(value).getNativeObject());
53  }
IntSymbol mkSymbol(int i)
Definition: Context.java:73
void add ( Symbol  name,
Symbol  value 
) throws Z3Exception
inline

Adds a parameter setting.

Definition at line 58 of file Params.java.

59  {
60 
61  Native.paramsSetSymbol(getContext().nCtx(), getNativeObject(),
62  name.getNativeObject(), value.getNativeObject());
63  }
void add ( String  name,
boolean  value 
) throws Z3Exception
inline

Adds a parameter setting.

Definition at line 68 of file Params.java.

69  {
70  Native.paramsSetBool(getContext().nCtx(), getNativeObject(),
71  getContext().mkSymbol(name).getNativeObject(), value);
72  }
void add ( String  name,
int  value 
) throws Z3Exception
inline

Adds a parameter setting.

Definition at line 77 of file Params.java.

78  {
79  Native.paramsSetUint(getContext().nCtx(), getNativeObject(), getContext()
80  .mkSymbol(name).getNativeObject(), value);
81  }
void add ( String  name,
double  value 
) throws Z3Exception
inline

Adds a parameter setting.

Definition at line 86 of file Params.java.

87  {
88  Native.paramsSetDouble(getContext().nCtx(), getNativeObject(), getContext()
89  .mkSymbol(name).getNativeObject(), value);
90  }
void add ( String  name,
Symbol  value 
) throws Z3Exception
inline

Adds a parameter setting.

Definition at line 95 of file Params.java.

96  {
97  Native.paramsSetSymbol(getContext().nCtx(), getNativeObject(), getContext()
98  .mkSymbol(name).getNativeObject(), value.getNativeObject());
99  }
void add ( String  name,
String  value 
) throws Z3Exception
inline

Adds a parameter setting.

Definition at line 104 of file Params.java.

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

A string representation of the parameter set.

Definition at line 115 of file Params.java.

116  {
117  try
118  {
119  return Native.paramsToString(getContext().nCtx(), getNativeObject());
120  } catch (Z3Exception e)
121  {
122  return "Z3Exception: " + e.getMessage();
123  }
124  }