Z3
Params.java
Go to the documentation of this file.
1 
19 package com.microsoft.z3;
20 
24 public class Params extends Z3Object
25 {
29  public void add(Symbol name, boolean value)
30  {
31  Native.paramsSetBool(getContext().nCtx(), getNativeObject(),
32  name.getNativeObject(), (value) ? true : false);
33  }
34 
38  public void add(Symbol name, double value)
39  {
40  Native.paramsSetDouble(getContext().nCtx(), getNativeObject(),
41  name.getNativeObject(), value);
42  }
43 
47  public void add(Symbol name, String value)
48  {
49 
50  Native.paramsSetSymbol(getContext().nCtx(), getNativeObject(),
51  name.getNativeObject(),
52  getContext().mkSymbol(value).getNativeObject());
53  }
54 
58  public void add(Symbol name, Symbol value)
59  {
60 
61  Native.paramsSetSymbol(getContext().nCtx(), getNativeObject(),
62  name.getNativeObject(), value.getNativeObject());
63  }
64 
68  public void add(String name, boolean value)
69  {
70  Native.paramsSetBool(getContext().nCtx(), getNativeObject(),
71  getContext().mkSymbol(name).getNativeObject(), value);
72  }
73 
77  public void add(String name, int value)
78  {
79  Native.paramsSetUint(getContext().nCtx(), getNativeObject(), getContext()
80  .mkSymbol(name).getNativeObject(), value);
81  }
82 
86  public void add(String name, double value)
87  {
88  Native.paramsSetDouble(getContext().nCtx(), getNativeObject(), getContext()
89  .mkSymbol(name).getNativeObject(), value);
90  }
91 
95  public void add(String name, Symbol value)
96  {
97  Native.paramsSetSymbol(getContext().nCtx(), getNativeObject(), getContext()
98  .mkSymbol(name).getNativeObject(), value.getNativeObject());
99  }
100 
104  public void add(String name, String value)
105  {
106 
107  Native.paramsSetSymbol(getContext().nCtx(), getNativeObject(),
108  getContext().mkSymbol(name).getNativeObject(),
109  getContext().mkSymbol(value).getNativeObject());
110  }
111 
115  public String toString()
116  {
117  try
118  {
119  return Native.paramsToString(getContext().nCtx(), getNativeObject());
120  } catch (Z3Exception e)
121  {
122  return "Z3Exception: " + e.getMessage();
123  }
124  }
125 
126  Params(Context ctx)
127  {
128  super(ctx, Native.mkParams(ctx.nCtx()));
129  }
130 
131  void incRef(long o)
132  {
133  getContext().getParamsDRQ().incAndClear(getContext(), o);
134  super.incRef(o);
135  }
136 
137  void decRef(long o)
138  {
139  getContext().getParamsDRQ().add(o);
140  super.decRef(o);
141  }
142 }
static void paramsSetDouble(long a0, long a1, long a2, double a3)
Definition: Native.java:776
static void paramsSetSymbol(long a0, long a1, long a2, long a3)
Definition: Native.java:784
void add(String name, int value)
Definition: Params.java:77
void add(Symbol name, String value)
Definition: Params.java:47
void add(String name, Symbol value)
Definition: Params.java:95
void add(String name, boolean value)
Definition: Params.java:68
static void paramsSetUint(long a0, long a1, long a2, int a3)
Definition: Native.java:768
void add(Symbol name, boolean value)
Definition: Params.java:29
static void paramsSetBool(long a0, long a1, long a2, boolean a3)
Definition: Native.java:760
void add(String name, String value)
Definition: Params.java:104
void incAndClear(Context ctx, long o)
void add(Symbol name, double value)
Definition: Params.java:38
IDecRefQueue getParamsDRQ()
Definition: Context.java:3724
IntSymbol mkSymbol(int i)
Definition: Context.java:72
static String paramsToString(long a0, long a1)
Definition: Native.java:792
void add(Symbol name, Symbol value)
Definition: Params.java:58
static long mkParams(long a0)
Definition: Native.java:735
void add(String name, double value)
Definition: Params.java:86