com.microsoft.z3

Class FuncDecl.Parameter

java.lang.Object

com.microsoft.z3.FuncDecl.Parameter

Enclosing class:

FuncDecl

public class FuncDecl.Parameter
extends java.lang.Object

Function declarations can have Parameters associated with them.

Method Summary

Methods

Modifier and Type	Method and Description
AST	getAST() The AST value of the parameter.
double	getDouble() The double value of the parameter.
FuncDecl	getFuncDecl() The FunctionDeclaration value of the parameter.
int	getInt() The int value of the parameter.
Z3_parameter_kind	getParameterKind() The kind of the parameter.
java.lang.String	getRational() The rational string value of the parameter.
Sort	getSort() The Sort value of the parameter.
Symbol	getSymbol() The Symbol value of the parameter.

Methods inherited from class java.lang.Object

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

Method Detail

getInt

public int getInt()

The int value of the parameter.

getDouble

public double getDouble()

The double value of the parameter.

getSymbol

public Symbol getSymbol()

The Symbol value of the parameter.

getSort

public Sort getSort()

The Sort value of the parameter.

getAST

public AST getAST()

The AST value of the parameter.

getFuncDecl

public FuncDecl getFuncDecl()

The FunctionDeclaration value of the parameter.

getRational

public java.lang.String getRational()

The rational string value of the parameter.

getParameterKind

public Z3_parameter_kind getParameterKind()

The kind of the parameter.