com.microsoft.z3

Class ParamDescrs

java.lang.Object

com.microsoft.z3.IDisposable

com.microsoft.z3.Z3Object

com.microsoft.z3.ParamDescrs

public class ParamDescrs
extends Z3Object

A ParamDescrs describes a set of parameters.

Method Summary

Methods

Modifier and Type	Method and Description
Z3_param_kind	getKind(Symbol name) Retrieve kind of parameter.
Symbol[]	getNames() Retrieve all names of parameters.
int	size() The size of the ParamDescrs.
java.lang.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

dispose, finalize

Methods inherited from class java.lang.Object

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

Method Detail

validate

public void validate(Params p)

validate a set of parameters.

getKind

public Z3_param_kind getKind(Symbol name)

Retrieve kind of parameter.

getNames

public Symbol[] getNames()

Retrieve all names of parameters.

Throws:

Z3Exception

size

public int size()

The size of the ParamDescrs.

toString

public java.lang.String toString()

Retrieves a string representation of the ParamDescrs.

Overrides:

toString in class java.lang.Object