Z3
 All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Properties Friends Defines
Data Structures | Public Member Functions
Params Class Reference

A ParameterSet represents a configuration in the form of Symbol/value pairs. More...

+ Inheritance diagram for Params:

Data Structures

class  DecRefQueue

Public Member Functions

void Add (Symbol name, bool value)
 Adds a parameter setting.
void Add (Symbol name, uint value)
 Adds a parameter setting.
void Add (Symbol name, double value)
 Adds a parameter setting.
void Add (Symbol name, string value)
 Adds a parameter setting.
void Add (Symbol name, Symbol value)
 Adds a parameter setting.
void Add (string name, bool value)
 Adds a parameter setting.
void Add (string name, uint value)
 Adds a parameter setting.
void Add (string name, double value)
 Adds a parameter setting.
void Add (string name, Symbol value)
 Adds a parameter setting.
void Add (string name, string value)
 Adds a parameter setting.
override string ToString ()
 A string representation of the parameter set.

Detailed Description

A ParameterSet represents a configuration in the form of Symbol/value pairs.

Definition at line 29 of file Params.cs.


Member Function Documentation

void Add ( Symbol  name,
bool  value 
) [inline]

Adds a parameter setting.

Definition at line 34 of file Params.cs.

        {
            Contract.Requires(name != null);

            Native.Z3_params_set_bool(Context.nCtx, NativeObject, name.NativeObject, (value) ? 1 : 0);
        }
void Add ( Symbol  name,
uint  value 
) [inline]

Adds a parameter setting.

Definition at line 44 of file Params.cs.

        {
            Contract.Requires(name != null);

            Native.Z3_params_set_uint(Context.nCtx, NativeObject, name.NativeObject, value);
        }
void Add ( Symbol  name,
double  value 
) [inline]

Adds a parameter setting.

Definition at line 54 of file Params.cs.

        {
            Contract.Requires(name != null);
            
            Native.Z3_params_set_double(Context.nCtx, NativeObject, name.NativeObject, value);
        }
void Add ( Symbol  name,
string  value 
) [inline]

Adds a parameter setting.

Definition at line 64 of file Params.cs.

        {
            Contract.Requires(value != null);

            Native.Z3_params_set_symbol(Context.nCtx, NativeObject, name.NativeObject, Context.MkSymbol(value).NativeObject);
        }
void Add ( Symbol  name,
Symbol  value 
) [inline]

Adds a parameter setting.

Definition at line 74 of file Params.cs.

        {
            Contract.Requires(name != null);
            Contract.Requires(value != null);

            Native.Z3_params_set_symbol(Context.nCtx, NativeObject, name.NativeObject, value.NativeObject);
        }
void Add ( string  name,
bool  value 
) [inline]

Adds a parameter setting.

Definition at line 85 of file Params.cs.

        {
            Native.Z3_params_set_bool(Context.nCtx, NativeObject, Context.MkSymbol(name).NativeObject, (value) ? 1 : 0);
        }
void Add ( string  name,
uint  value 
) [inline]

Adds a parameter setting.

Definition at line 93 of file Params.cs.

        {
            Native.Z3_params_set_uint(Context.nCtx, NativeObject, Context.MkSymbol(name).NativeObject, value);
        }
void Add ( string  name,
double  value 
) [inline]

Adds a parameter setting.

Definition at line 101 of file Params.cs.

        {
            Native.Z3_params_set_double(Context.nCtx, NativeObject, Context.MkSymbol(name).NativeObject, value);
        }
void Add ( string  name,
Symbol  value 
) [inline]

Adds a parameter setting.

Definition at line 109 of file Params.cs.

        {
            Contract.Requires(value != null);

            Native.Z3_params_set_symbol(Context.nCtx, NativeObject, Context.MkSymbol(name).NativeObject, value.NativeObject);
        }
void Add ( string  name,
string  value 
) [inline]

Adds a parameter setting.

Definition at line 119 of file Params.cs.

        {
            Contract.Requires(value != null);

            Native.Z3_params_set_symbol(Context.nCtx, NativeObject, Context.MkSymbol(name).NativeObject, Context.MkSymbol(value).NativeObject);
        }
override string ToString ( ) [inline]

A string representation of the parameter set.

Definition at line 129 of file Params.cs.

        {
            return Native.Z3_params_to_string(Context.nCtx, NativeObject);
        }
 All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Properties Friends Defines