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}
com.microsoft.z3.Context
Definition: Context.java:36
com.microsoft.z3.Context.nCtx
long nCtx()
Definition: Context.java:4008
com.microsoft.z3.Context.getParamsDRQ
IDecRefQueue< Params > getParamsDRQ()
Definition: Context.java:4110
com.microsoft.z3.IDecRefQueue.storeReference
void storeReference(Context ctx, T obj)
Definition: IDecRefQueue.java:56
com.microsoft.z3.Params
Definition: Params.java:24
com.microsoft.z3.Params.add
void add(Symbol name, boolean value)
Definition: Params.java:28
com.microsoft.z3.Params.add
void add(String name, Symbol value)
Definition: Params.java:94
com.microsoft.z3.Params.add
void add(String name, String value)
Definition: Params.java:103
com.microsoft.z3.Params.add
void add(String name, boolean value)
Definition: Params.java:67
com.microsoft.z3.Params.add
void add(String name, int value)
Definition: Params.java:76
com.microsoft.z3.Params.add
void add(String name, double value)
Definition: Params.java:85
com.microsoft.z3.Params.add
void add(Symbol name, double value)
Definition: Params.java:37
com.microsoft.z3.Params.toString
String toString()
Definition: Params.java:115
com.microsoft.z3.Params.add
void add(Symbol name, Symbol value)
Definition: Params.java:57
com.microsoft.z3.Params.add
void add(Symbol name, String value)
Definition: Params.java:46
com.microsoft.z3.Symbol
Definition: Symbol.java:25
com.microsoft.z3.Z3Object
Definition: Z3Object.java:24
z3py.String
def String(name, ctx=None)
Definition: z3py.py:10693