Microsoft.Z3.Params.Add C# (CSharp) Method

Params Class Documentation Show file Open project: sslab-gatech/juxta

Add() public method

Adds a parameter setting.

public Add ( Symbol name, Symbol value ) : void
name	Symbol
value	Symbol
return	void

        public void Add(Symbol name, Symbol value)
        {
            Contract.Requires(name != null);
            Contract.Requires(value != null);

            Native.Z3_params_set_symbol(Context.nCtx, NativeObject, name.NativeObject, value.NativeObject);
        }

Same methods

Params::Add ( Symbol name, bool value ) : void
Params::Add ( Symbol name, double value ) : void
Params::Add ( Symbol name, string value ) : void
Params::Add ( Symbol name, uint value ) : void
Params::Add ( string name, Symbol value ) : void
Params::Add ( string name, bool value ) : void
Params::Add ( string name, double value ) : void
Params::Add ( string name, string value ) : void
Params::Add ( string name, uint value ) : void

Params

Add

DecRef

IncRef

Params

ToString