Simplifier Class Reference

Inheritance diagram for Simplifier:

Public Member Functions
String	getHelp ()
ParamDescrs	getParameterDescriptions ()

Additional Inherited Members
Static Public Member Functions inherited from Z3Object
static long[]	arrayToNative (Z3Object[] a)
static int	arrayLength (Z3Object[] a)

Detailed Description

Definition at line 23 of file Simplifier.java.

Member Function Documentation

getHelp()

String getHelp ( )

inline

Definition at line 28 of file Simplifier.java.

    {
        return Native.simplifierGetHelp(getContext().nCtx(), getNativeObject());
    }

getParameterDescriptions()

ParamDescrs getParameterDescriptions ( )

inline

Definition at line 36 of file Simplifier.java.

                                                  {
        return new ParamDescrs(getContext(), Native.simplifierGetParamDescrs(getContext().nCtx(), getNativeObject()));
    }