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) throws Z3Exception
30  {
31  Native.paramsSetBool(getContext().nCtx(), getNativeObject(),
32  name.getNativeObject(), (value) ? true : false);
33  }
34 
38  public void add(Symbol name, double value) throws Z3Exception
39  {
40  Native.paramsSetDouble(getContext().nCtx(), getNativeObject(),
41  name.getNativeObject(), value);
42  }
43 
47  public void add(Symbol name, String value) throws Z3Exception
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) throws Z3Exception
59  {
60 
61  Native.paramsSetSymbol(getContext().nCtx(), getNativeObject(),
62  name.getNativeObject(), value.getNativeObject());
63  }
64 
68  public void add(String name, boolean value) throws Z3Exception
69  {
70  Native.paramsSetBool(getContext().nCtx(), getNativeObject(),
71  getContext().mkSymbol(name).getNativeObject(), value);
72  }
73 
77  public void add(String name, int value) throws Z3Exception
78  {
79  Native.paramsSetUint(getContext().nCtx(), getNativeObject(), getContext()
80  .mkSymbol(name).getNativeObject(), value);
81  }
82 
86  public void add(String name, double value) throws Z3Exception
87  {
88  Native.paramsSetDouble(getContext().nCtx(), getNativeObject(), getContext()
89  .mkSymbol(name).getNativeObject(), value);
90  }
91 
95  public void add(String name, Symbol value) throws Z3Exception
96  {
97  Native.paramsSetSymbol(getContext().nCtx(), getNativeObject(), getContext()
98  .mkSymbol(name).getNativeObject(), value.getNativeObject());
99  }
100 
104  public void add(String name, String value) throws Z3Exception
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) throws Z3Exception
127  {
128  super(ctx, Native.mkParams(ctx.nCtx()));
129  }
130 
131  void incRef(long o) throws Z3Exception
132  {
133  getContext().params_DRQ().incAndClear(getContext(), o);
134  super.incRef(o);
135  }
136 
137  void decRef(long o) throws Z3Exception
138  {
139  getContext().params_DRQ().add(o);
140  super.decRef(o);
141  }
142 }
static void paramsSetDouble(long a0, long a1, long a2, double a3)
Definition: Native.java:680
static void paramsSetSymbol(long a0, long a1, long a2, long a3)
Definition: Native.java:688
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:672
void add(Symbol name, boolean value)
Definition: Params.java:29
static void paramsSetBool(long a0, long a1, long a2, boolean a3)
Definition: Native.java:664
void add(String name, String value)
Definition: Params.java:104
void add(Symbol name, double value)
Definition: Params.java:38
IntSymbol mkSymbol(int i)
Definition: Context.java:73
static String paramsToString(long a0, long a1)
Definition: Native.java:696
void add(Symbol name, Symbol value)
Definition: Params.java:58
static long mkParams(long a0)
Definition: Native.java:639
void add(String name, double value)
Definition: Params.java:86