FuncDecl.Parameter

java.lang.Object

com.microsoft.z3.FuncDecl.Parameter

Enclosing class:: FuncDecl<R extends Sort>

public static class FuncDecl.Parameter extends Object

Function declarations can have Parameters associated with them.

Method Summary

Modifier and Type

Method

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.

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 Details
- 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 String getRational()
  
  The rational string value of the parameter.
- getParameterKind
  
  public Z3_parameter_kind getParameterKind()
  
  The kind of the parameter.