C# Class Microsoft.Z3.Params

Inheritance: Z3Object
Mostrar archivo Open project: sslab-gatech/juxta Class Usage Examples

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.

Private Methods

Method Description
DecRef ( IntPtr o ) : void
IncRef ( IntPtr o ) : void
Params ( Context ctx ) : System

Method Details

Add() public method

Adds a parameter setting.
public Add ( Symbol name, Symbol value ) : void
name Symbol
value Symbol
return void

Add() public method

Adds a parameter setting.
public Add ( Symbol name, bool value ) : void
name Symbol
value bool
return void

Add() public method

Adds a parameter setting.
public Add ( Symbol name, double value ) : void
name Symbol
value double
return void

Add() public method

Adds a parameter setting.
public Add ( Symbol name, string value ) : void
name Symbol
value string
return void

Add() public method

Adds a parameter setting.
public Add ( Symbol name, uint value ) : void
name Symbol
value uint
return void

Add() public method

Adds a parameter setting.
public Add ( string name, Symbol value ) : void
name string
value Symbol
return void

Add() public method

Adds a parameter setting.
public Add ( string name, bool value ) : void
name string
value bool
return void

Add() public method

Adds a parameter setting.
public Add ( string name, double value ) : void
name string
value double
return void

Add() public method

Adds a parameter setting.
public Add ( string name, string value ) : void
name string
value string
return void

Add() public method

Adds a parameter setting.
public Add ( string name, uint value ) : void
name string
value uint
return void

ToString() public method

A string representation of the parameter set.
public ToString ( ) : string
return string