Z3_goal_prec Enum Reference

Public Member Functions
	Z3_goal_prec (int v)
final int	toInt ()

Static Public Member Functions
static final Z3_goal_prec	fromInt (int v)

Data Fields
	Z3_GOAL_UNDER =(1)
	Z3_GOAL_PRECISE =(0)
	Z3_GOAL_UNDER_OVER =(3)
	Z3_GOAL_OVER =(2)

Detailed Description

Z3_goal_prec

Definition at line 10 of file Z3_goal_prec.java.

Constructor & Destructor Documentation

Z3_goal_prec ( int  v )

inline

Definition at line 18 of file Z3_goal_prec.java.

                        {
        this.intValue = v;
    }

Member Function Documentation

static final Z3_goal_prec fromInt ( int  v )

inlinestatic

Definition at line 22 of file Z3_goal_prec.java.

Referenced by Goal.getPrecision().

                                                    {
        for (Z3_goal_prec k: values()) 
            if (k.intValue == v) return k;
        return values()[0];
    }

final int toInt ( )

inline

Definition at line 28 of file Z3_goal_prec.java.

{ return this.intValue; }

Field Documentation

Z3_GOAL_OVER =(2)

Definition at line 14 of file Z3_goal_prec.java.

Referenced by Goal.isOverApproximation().

Z3_GOAL_PRECISE =(0)

Definition at line 12 of file Z3_goal_prec.java.

Referenced by Goal.isPrecise().

Z3_GOAL_UNDER =(1)

Definition at line 11 of file Z3_goal_prec.java.

Referenced by Goal.isUnderApproximation().

Z3_GOAL_UNDER_OVER =(3)

Definition at line 13 of file Z3_goal_prec.java.

Referenced by Goal.isGarbage().