Package com.microsoft.z3

Class ParamDescrs

java.lang.Object

com.microsoft.z3.Z3Object

com.microsoft.z3.ParamDescrs

public class ParamDescrs
extends Z3Object

A ParamDescrs describes a set of parameters.

Method Summary

Modifier and Type	Method	Description
String	getDocumentation(Symbol name)	Retrieve documentation of parameter.
Z3_param_kind	getKind(Symbol name)	Retrieve kind of parameter.
Symbol[]	getNames()	Retrieve all names of parameters.
int	size()	The size of the ParamDescrs.
String	toString()	Retrieves a string representation of the ParamDescrs.
void	validate(Params p)	validate a set of parameters.

Methods inherited from class com.microsoft.z3.Z3Object

arrayLength, arrayToNative

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Method Details

validate

public void validate(Params p)

validate a set of parameters.

getKind

public Z3_param_kind getKind(Symbol name)

Retrieve kind of parameter.

getDocumentation

public String getDocumentation(Symbol name)

Retrieve documentation of parameter.

getNames

public Symbol[] getNames()

Retrieve all names of parameters.

Throws:

Z3Exception

size

public int size()

The size of the ParamDescrs.

toString

public String toString()

Retrieves a string representation of the ParamDescrs.

Overrides:

toString in class Object