C# Class Microsoft.Z3.Params

Inheritance: Z3Object

Public Methods

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

Adds a parameter setting.

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

Adds a parameter setting.

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

Adds a parameter setting.

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

Adds a parameter setting.

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

Adds a parameter setting.

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

Adds a parameter setting.

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

Adds a parameter setting.

public Add ( string name, bool value ) : void
name	string
value	bool
return	void

Adds a parameter setting.

public Add ( string name, double value ) : void
name	string
value	double
return	void

Adds a parameter setting.

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

Adds a parameter setting.

public Add ( string name, uint value ) : void
name	string
value	uint
return	void

A string representation of the parameter set.

public ToString ( ) : string
return	string