C# Class Microsoft.Z3.ParamDescrs

Inheritance: Z3Object
Datei anzeigen Open project: sslab-gatech/juxta

Public Methods

Method Description
GetKind ( Symbol name ) : Z3_param_kind

Retrieve kind of parameter.
ToString ( ) : string

Retrieves a string representation of the ParamDescrs.
Validate ( Params p ) : void

validate a set of parameters.

Private Methods

Method Description
DecRef ( IntPtr o ) : void
IncRef ( IntPtr o ) : void
ParamDescrs ( Context ctx, IntPtr obj ) : System

Method Details

GetKind() public method

Retrieve kind of parameter.
public GetKind ( Symbol name ) : Z3_param_kind
name Symbol
return Z3_param_kind

ToString() public method

Retrieves a string representation of the ParamDescrs.
public ToString ( ) : string
return string

Validate() public method

validate a set of parameters.
public Validate ( Params p ) : void
p Params
return void