Z3
Params.java
Go to the documentation of this file.
1 
19 package com.microsoft.z3;
20 
24 public class Params extends Z3Object {
28  public void add(Symbol name, boolean value)
29  {
30  Native.paramsSetBool(getContext().nCtx(), getNativeObject(),
31  name.getNativeObject(), (value));
32  }
33 
37  public void add(Symbol name, double value)
38  {
39  Native.paramsSetDouble(getContext().nCtx(), getNativeObject(),
40  name.getNativeObject(), value);
41  }
42 
46  public void add(Symbol name, String value)
47  {
48 
49  Native.paramsSetSymbol(getContext().nCtx(), getNativeObject(),
50  name.getNativeObject(),
51  getContext().mkSymbol(value).getNativeObject());
52  }
53 
57  public void add(Symbol name, Symbol value)
58  {
59 
60  Native.paramsSetSymbol(getContext().nCtx(), getNativeObject(),
61  name.getNativeObject(), value.getNativeObject());
62  }
63 
67  public void add(String name, boolean value)
68  {
69  Native.paramsSetBool(getContext().nCtx(), getNativeObject(),
70  getContext().mkSymbol(name).getNativeObject(), value);
71  }
72 
76  public void add(String name, int value)
77  {
78  Native.paramsSetUint(getContext().nCtx(), getNativeObject(), getContext()
79  .mkSymbol(name).getNativeObject(), value);
80  }
81 
85  public void add(String name, double value)
86  {
87  Native.paramsSetDouble(getContext().nCtx(), getNativeObject(), getContext()
88  .mkSymbol(name).getNativeObject(), value);
89  }
90 
94  public void add(String name, Symbol value)
95  {
96  Native.paramsSetSymbol(getContext().nCtx(), getNativeObject(), getContext()
97  .mkSymbol(name).getNativeObject(), value.getNativeObject());
98  }
99 
103  public void add(String name, String value)
104  {
105 
106  Native.paramsSetSymbol(getContext().nCtx(), getNativeObject(),
107  getContext().mkSymbol(name).getNativeObject(),
108  getContext().mkSymbol(value).getNativeObject());
109  }
110 
114  @Override
115  public String toString()
116  {
117  return Native.paramsToString(getContext().nCtx(), getNativeObject());
118  }
119 
120  Params(Context ctx)
121  {
122  super(ctx, Native.mkParams(ctx.nCtx()));
123  }
124 
125 
126  @Override
127  void incRef() {
128  Native.paramsIncRef(getContext().nCtx(), getNativeObject());
129  }
130 
131  @Override
132  void addToReferenceQueue() {
133  getContext().getParamsDRQ().storeReference(getContext(), this);
134  }
135 }
static void paramsSetDouble(long a0, long a1, long a2, double a3)
Definition: Native.java:773
static void paramsSetSymbol(long a0, long a1, long a2, long a3)
Definition: Native.java:781
void add(String name, int value)
Definition: Params.java:76
void add(Symbol name, String value)
Definition: Params.java:46
void add(String name, Symbol value)
Definition: Params.java:94
void add(String name, boolean value)
Definition: Params.java:67
static void paramsSetUint(long a0, long a1, long a2, int a3)
Definition: Native.java:765
void add(Symbol name, boolean value)
Definition: Params.java:28
static void paramsSetBool(long a0, long a1, long a2, boolean a3)
Definition: Native.java:757
void storeReference(Context ctx, T obj)
void add(String name, String value)
Definition: Params.java:103
void add(Symbol name, double value)
Definition: Params.java:37
static void paramsIncRef(long a0, long a1)
Definition: Native.java:741
IntSymbol mkSymbol(int i)
Definition: Context.java:81
static String paramsToString(long a0, long a1)
Definition: Native.java:789
void add(Symbol name, Symbol value)
Definition: Params.java:57
static long mkParams(long a0)
Definition: Native.java:732
void add(String name, double value)
Definition: Params.java:85
IDecRefQueue< Params > getParamsDRQ()
Definition: Context.java:3974
def String(name, ctx=None)
Definition: z3py.py:9443