Constant Field Values

Contents

• gprover.*
• maths.*
• pdf.*
• UI.*
• wprover.*

gprover.*

gprover.CClass

Modifier and Type	Constant Field	Value
public static final int	MAX_GEO	40

gprover.Cm

Modifier and Type	Constant Field	Value
public static final java.lang.String	ANGLE_SIGN	"\u2220"
public static final boolean	DEBUG	false
public static final java.lang.String	DR_WPT	"WPT"
public static final java.lang.String	EQUAL_SIGN	" = "
public static final java.lang.String	INTERSECT_SIGN	" \u2229 "
public static final java.lang.String	P_POINT	"POINT"
public static final java.lang.String	PARALLEL_SIGN	" \u2225 "
public static final java.lang.String	PC_ACONG	"EQANGLE"
public static final java.lang.String	PC_COLL	"COLLINEAR"
public static final java.lang.String	PC_CONG	"EQDISTANCE"
public static final java.lang.String	PC_CTRI	"CON_TRIANGLE"
public static final java.lang.String	PC_CYCLIC	"COCIRCLE"
public static final java.lang.String	PC_MIDP	"MIDPOINT"
public static final java.lang.String	PC_PARA	"PARALLEL"
public static final java.lang.String	PC_PERP	"PERPENDICULAR"
public static final java.lang.String	PC_STRI	"SIM_TRIANGLE"
public static final java.lang.String	PERPENDICULAR_SIGN	" \u22a5 "
public static final java.lang.String	s1993	"Index"
public static final java.lang.String	s2070	"(hyp)"
public static final java.lang.String	s2072	"The Machine Proof"
public static final java.lang.String	s2220	"\r\nThere exists no proof.\r\n"
public static final java.lang.String	s2221	"The conclusion is: "
public static final java.lang.String	s2222	"This is equivalent to: "
public static final java.lang.String	s2223	"Eliminating the common factors: "
public static final java.lang.String	s2225	"\r\nThe geometric quantities used in the proof.\r\n"
public static final java.lang.String	s2226	"Eliminate variables"
public static final java.lang.String	s2300	"\r\n\r\nThe statement is true.\r\n\r\n"
public static final java.lang.String	s2707	"lines"
public static final java.lang.String	s2713	"circles in the database."
public static final java.lang.String	s2720	"similar triangles"
public static final java.lang.String	s2722	"congruent triangles"
public static final java.lang.String	s2727	" because "
public static final java.lang.String	s2728	" and "
public static final java.lang.String	s2810	"\r\n\r\nOnly full-angles are allowd in this case"
public static final java.lang.String	s2811	"\r\nConclusion cannot be represented with full-angles.\r\n"
public static final java.lang.String	s2812	"\r\nCannot solve this problem with full-angles.\r\n"
public static final java.lang.String	SIMILAR_SIGN	" ~ "
public static final java.lang.String	TRIANGLE_SIGN	"\u2206"

gprover.CNdg

Modifier and Type	Constant Field	Value
public static final int	MAX_GEO	16

gprover.Cond

Modifier and Type	Constant Field	Value
public static final int	MAX_GEO	16

gprover.Cons

Modifier and Type	Constant Field	Value
public static final int	MAXLEN	16

gprover.Gib

Modifier and Type	Constant Field	Value
public static final int	A_180	2160
public static final int	A_30	360
public static final int	A_360	4320
public static final int	A_45	540
public static final int	A_60	720
public static final int	A_90	1080
public static final int	A_TIME	12
public static final int	C_ANGLE_BISECTOR	43
public static final int	C_CCTANGENT	46
public static final int	C_CENT	38
public static final int	C_CIRCLE	9
public static final int	C_CIRCUM	11
public static final int	C_CONSTANT	39
public static final int	C_EQ_TRI	29
public static final int	C_EQANGLE	15
public static final int	C_EQANGLE3P	50
public static final int	C_EQDISTANCE	14
public static final int	C_FOOT	8
public static final int	C_I_AA	121
public static final int	C_I_BA	127
public static final int	C_I_BB	115
public static final int	C_I_BC	116
public static final int	C_I_BR	128
public static final int	C_I_CC	117
public static final int	C_I_CR	118
public static final int	C_I_EQ	129
public static final int	C_I_LA	122
public static final int	C_I_LB	104
public static final int	C_I_LC	103
public static final int	C_I_LL	101
public static final int	C_I_LP	102
public static final int	C_I_LR	106
public static final int	C_I_LS	107
public static final int	C_I_LT	105
public static final int	C_I_PA	123
public static final int	C_I_PB	111
public static final int	C_I_PC	109
public static final int	C_I_PP	108
public static final int	C_I_PR	124
public static final int	C_I_PT	110
public static final int	C_I_RR	119
public static final int	C_I_SS	120
public static final int	C_I_TA	125
public static final int	C_I_TB	114
public static final int	C_I_TC	112
public static final int	C_I_TR	126
public static final int	C_I_TT	113
public static final int	C_ICENT	36
public static final int	C_ICENT1	199
public static final int	C_INVERSION	20
public static final int	C_ISO_TRI	27
public static final int	C_LC_TANGENT	44
public static final int	C_LINE	2
public static final int	C_LOZENGE	33
public static final int	C_LRATIO	19
public static final int	C_MIDPOINT	13
public static final int	C_NETRIANGLE	151
public static final int	C_NRATIO	18
public static final int	C_NSQUARE	41
public static final int	C_O_A	7
public static final int	C_O_AB	48
public static final int	C_O_B	6
public static final int	C_O_C	10
public static final int	C_O_D	49
public static final int	C_O_L	3
public static final int	C_O_P	4
public static final int	C_O_R	12
public static final int	C_O_S	47
public static final int	C_O_T	5
public static final int	C_ORTH	37
public static final int	C_PARALLELOGRAM	32
public static final int	C_PENTAGON	25
public static final int	C_PETRIANGLE	150
public static final int	C_POINT	1
public static final int	C_POLYGON	26
public static final int	C_PRATIO	17
public static final int	C_PSQUARE	40
public static final int	C_QUADRANGLE	24
public static final int	C_R_TRAPEZOID	31
public static final int	C_R_TRI	28
public static final int	C_RATIO	45
public static final int	C_RECTANGLE	34
public static final int	C_REF	21
public static final int	C_SANGLE	42
public static final int	C_SQUARE	35
public static final int	C_SYM	22
public static final int	C_TRAPEZOID	30
public static final int	C_TRATIO	16
public static final int	C_TRIANGLE	23
public static final int	CO_12	1903
public static final int	CO_ACONG	76
public static final int	CO_ATNG	1111
public static final int	CO_COLL	70
public static final int	CO_CONG	75
public static final int	CO_CTRI	82
public static final int	CO_CYCLIC	74
public static final int	CO_EQ	1112
public static final int	CO_HARMONIC	79
public static final int	CO_INCENT	85
public static final int	CO_MIDP	73
public static final int	CO_NANG	88
public static final int	CO_NSEG	89
public static final int	CO_ORTH	84
public static final int	CO_PARA	71
public static final int	CO_PBISECT	77
public static final int	CO_PERP	72
public static final int	CO_PET	1904
public static final int	CO_PETRI	80
public static final int	CO_PROD	83
public static final int	CO_RATIO	86
public static final int	CO_STRI	81
public static final int	CO_TANG	87
public static final int	CO_TANGENT	78
public static final int	EQ_TRI	7
public static final int	FE_TYPE_ERROR	1
public static final int	IN_AG_INSIDE	302
public static final int	IN_AG_OUTSIDE	303
public static final int	IN_BETWEEN	301
public static final int	IN_OPP_SIDE	306
public static final int	IN_PARA_INSIDE	305
public static final int	IN_PG_CONVEX	308
public static final int	IN_SAME_SIDE	307
public static final int	IN_TRI_INSIDE	304
public static final int	ISO_TRI	5
public static final int	LOZENGE	11
public static final int	NDG_ACONG	206
public static final int	NDG_COLL	201
public static final int	NDG_CONG	205
public static final int	NDG_CYCLIC	204
public static final int	NDG_NEQ	200
public static final int	NDG_NON_ISOTROPIC	207
public static final int	NDG_PARA	202
public static final int	NDG_PERP	203
public static final int	NDG_TRIPLEPI	208
public static final int	PARALLELOGRAM	10
public static final int	PENTAGON	3
public static final int	POLYGON	4
public static final int	QUADRANGLE	2
public static final int	R_AA_STRI	31
public static final int	R_AAS	26
public static final int	R_AG_ATN	21
public static final int	R_AG_BISECTOR_ATIO	43
public static final int	R_AG_PP12	17
public static final int	R_AG_PP13	18
public static final int	R_AG_SPECIAL	22
public static final int	R_AG_TT12	19
public static final int	R_AG_TT13	20
public static final int	R_AS_PLUS	16
public static final int	R_ASRA_STRI	32
public static final int	R_CR_AS2	11
public static final int	R_CR_DM_MD	9
public static final int	R_CR_DM_T	10
public static final int	R_CR_INSCRIBE_AS	13
public static final int	R_CR_OO_B	15
public static final int	R_CR_P_EQARC	12
public static final int	R_CR_TAN_AS	14
public static final int	R_CTRI	25
public static final int	R_ISO_3L	24
public static final int	R_ISOCELES	23
public static final int	R_MID_CONNECTION	35
public static final int	R_MID_CONNECTION_TRAPZOID	41
public static final int	R_P_COLL	1
public static final int	R_P_RA	3
public static final int	R_PARALLELOGRAM	40
public static final int	R_PL_AS	2
public static final int	R_PT_T	4
public static final int	R_PYTH_THM	38
public static final int	R_RA_ST_CT	34
public static final int	R_RATIO	42
public static final int	R_RTRI_MD_CY	36
public static final int	R_SAS	27
public static final int	R_SSS	28
public static final int	R_ST_RAAS	33
public static final int	R_STRI	30
public static final int	R_T_AT90	5
public static final int	R_TRAPEZOID	9
public static final int	R_TRI	6
public static final int	R_TRI_ALL_AG_180	39
public static final int	R_TRI_EQ	37
public static final int	R_TT_CY	8
public static final int	R_TT_MDCY	6
public static final int	R_TT_PP	7
public static final int	R_TTCG2_CT	29
public static final int	RECTANGLE	12
public static final int	RF_10	10
public static final int	RF_12	12
public static final int	RF_13	13
public static final int	RF_14	14
public static final int	RF_15	15
public static final int	RF_16	16
public static final int	RF_17	17
public static final int	RF_18	18
public static final int	RF_20	20
public static final int	RF_21	21
public static final int	RF_22	22
public static final int	RF_26	26
public static final int	RF_9	9
public static final int	RF_ADDITION	5
public static final int	RF_CY	28
public static final int	RF_CY2	29
public static final int	RF_DEFINITION	1
public static final int	RF_DM_PERP	11
public static final int	RF_DM2	27
public static final int	RF_GIB	-1
public static final int	RF_INSCRIBE	8
public static final int	RF_ISO	7
public static final int	RF_MINUS	2
public static final int	RF_ORTH	19
public static final int	RF_PARA	3
public static final int	RF_PERP	4
public static final int	RF_PERP_SPLIT	6
public static final int	RF_PPO	25
public static final int	RF_TT	23
public static final int	RF_TT2	24
public static final int	SQUARE	13
public static final int	TRAPEZOID	8
public static final int	TRIANGLE	1
protected static final double	ZERO	0.001

gprover.LList

Modifier and Type	Constant Field	Value
public static final int	ANGLE	2
public static final int	LINE	1
public static final int	MAX_MDE	10
public static final int	VALUE	0

gprover.ProPoint

Modifier and Type	Constant Field	Value
public static final int	MAX_GEO	30

gprover.Rule

Modifier and Type	Constant Field	Value
public static final int	EQ_ANGLE	4
public static final int	EX_ANGLE	3
public static final int	P_ANGLE	1
public static final int	SPLIT_ANGLE	0
public static final int	T_ANGLE	2

maths.*

maths.BigSquareRoot

Modifier and Type	Constant Field	Value
public static final int	DEFAULT_MAX_ITERATIONS	50
public static final int	DEFAULT_SCALE	10

pdf.*

pdf.BoundingBox

Modifier and Type	Constant Field	Value
public static final int	HORIZ_ALIGN_CENTER	3
public static final int	HORIZ_ALIGN_LEFT	4
public static final int	HORIZ_ALIGN_RIGHT	5
public static final int	LINE_SPACING_PERCENTAGE	20
public static final int	SUBTRACT_FROM_BOTTOM	7
public static final int	SUBTRACT_FROM_LEFT	8
public static final int	SUBTRACT_FROM_RIGHT	9
public static final int	SUBTRACT_FROM_TOP	6
public static final int	VERT_ALIGN_BOTTOM	2
public static final int	VERT_ALIGN_CENTER	0
public static final int	VERT_ALIGN_TOP	1

pdf.PDFAnnot

Modifier and Type	Constant Field	Value
public static final short	BEVELED	2
public static final short	DASHED	1
public static final short	INSET	3
public static final short	SOLID	0
public static final short	UNDERLINED	4

pdf.PDFDocument

Modifier and Type	Constant Field	Value
public static final int	FULLSCREEN	3
public static final int	USENONE	0
public static final int	USEOUTLINES	1
public static final int	USETHUMBS	2

UI.*

UI.GifDecoder

Modifier and Type	Constant Field	Value
protected static final int	MaxStackSize	4096
public static final int	STATUS_FORMAT_ERROR	1
public static final int	STATUS_OK	0
public static final int	STATUS_OPEN_ERROR	2

UI.NeuQuant

Modifier and Type	Constant Field	Value
protected static final int	alphabiasshift	10
protected static final int	alpharadbias	262144
protected static final int	alpharadbshift	18
protected static final int	beta	64
protected static final int	betagamma	65536
protected static final int	betashift	10
protected static final int	gamma	1024
protected static final int	gammashift	10
protected static final int	initalpha	1024
protected static final int	initrad	32
protected static final int	initradius	2048
protected static final int	intbias	65536
protected static final int	intbiasshift	16
protected static final int	maxnetpos	255
protected static final int	minpicturebytes	1509
protected static final int	ncycles	100
protected static final int	netbiasshift	4
protected static final int	netsize	256
protected static final int	prime1	499
protected static final int	prime2	491
protected static final int	prime3	487
protected static final int	prime4	503
protected static final int	radbias	256
protected static final int	radbiasshift	8
protected static final int	radiusbias	64
protected static final int	radiusbiasshift	6
protected static final int	radiusdec	30

wprover.*

wprover.CClass

Modifier and Type	Constant Field	Value
public static final int	ANGLE	6
public static final int	ARROW	13
public static final int	CIRCLE	3
public static final int	DISTANCE	5
public static final int	EQMARK	11
public static final int	LINE	2
public static final int	POINT	1
public static final int	POLYGON	7
public static final int	PTEXT	10
public static final int	TEMP_POINT	99
public static final int	TEXT	8
public static final int	TMARK	12
public static final int	TRACE	4
public static final int	TVALUE	9

wprover.CLine

Modifier and Type	Constant Field	Value
public static final int	ABLine	8
public static final int	ALine	6
public static final int	BLine	3
public static final int	CCLine	4
public static final int	ET_ENDLESS	2
public static final int	ET_EXTENSION	1
public static final int	ET_NORMAL	0
public static final int	LLine	0
public static final int	NTALine	5
public static final int	PLine	1
public static final int	SALine	7
public static final int	TCLine	9
public static final int	TLine	2

wprover.CMisc

Modifier and Type	Constant Field	Value
public static final double	ANIMATE_GAP	15.0
public static final boolean	APPLET	false
public static final boolean	DEBUG	false
public static final double	DOUBLE_ZERO	1.0E-8
public static final double	HV_ZERO	0.01
public static final int	LINDE_DRAW_EXT	50
public static final int	MAX_DRAW_LEN	10000
public static final double	MAX_K	999.0
public static final double	MAX_SLOPE	9999.0
public static final int	PIXEPS	6
public static final int	PIXEPS_PT	8
public static final boolean	POINT_TRANS	true
public static final int	POLYGON_ANIMATION_LAG	3
public static final double	rlength	50.0
public static final double	version	0.053
public static final double	ZERO	0.001
public static final double	ZOOM_RATIO	1.1

wprover.ConcDialog

Modifier and Type	Constant Field	Value
public static final int	CONCLUSION_CANCEL	1
public static final int	CONCLUSION_OK	0

wprover.Constraint

Modifier and Type	Constant Field	Value
public static final int	ALINE	42
public static final int	ANGLE_BISECTOR	66
public static final int	BARYCENTER	22
public static final int	BISECT	13
public static final int	BLINE	67
public static final int	CCLine	14
public static final int	CCTANGENT	10
public static final int	CCTANGENT_LINE	74
public static final int	CIRCLE	62
public static final int	CIRCLE3P	63
public static final int	CIRCUMCENTER	21
public static final int	COLLINEAR	1
public static final int	CONSTANT	43
public static final int	EQ_TRIANLE	51
public static final int	EQANGLE	7
public static final int	EQANGLE3P	29
public static final int	EQDISTANCE	4
public static final int	EQUIVALENCE1	71
public static final int	EQUIVALENCE2	72
public static final int	HORIZONAL	23
public static final int	INCENTER	44
public static final int	INTER_CC	48
public static final int	INTER_CC1	32
public static final int	INTER_LC	47
public static final int	INTER_LL	46
public static final int	INVISIBLE	26
public static final int	ISO_RIGHT_ANGLED_TRIANGLE	53
public static final int	ISO_TRIANGLE	50
public static final int	LC_MEET	28
public static final int	LCTANGENT	9
public static final int	LINE	61
public static final int	LRATIO	19
public static final int	MIDPOINT	6
public static final int	MIRROR	18
public static final int	NETRIANGLE	40
public static final int	NRATIO	27
public static final int	NSQUARE	34
public static final int	NTANGLE	35
public static final int	NULLTYPE	0
public static final int	ON_ABLINE	76
public static final int	ONALINE	79
public static final int	ONDCIRCLE	77
public static final int	ONRCIRCLE	78
public static final int	ONSCIRCLE	75
public static final int	ORTHOCENTER	37
public static final int	P_O_A	38
public static final int	PARALLEL	2
public static final int	PARALLELOGRAM	55
public static final int	PENTAGON	60
public static final int	PERPBISECT	5
public static final int	PERPENDICULAR	3
public static final int	PETRIANGLE	39
public static final int	PFOOT	31
public static final int	POLYGON	64
public static final int	PONCIRCLE	12
public static final int	PONLINE	11
public static final int	PRATIO	17
public static final int	PSQUARE	33
public static final int	PSYM	45
public static final int	QUADRANGLE	54
public static final int	RATIO	69
public static final int	RCIRCLE	20
public static final int	RECTANGLE	58
public static final int	RIGHT_ANGLE_TRAPEZOID	57
public static final int	RIGHT_ANGLED_TRIANGLE	52
public static final int	SANGLE	65
public static final int	SPECIFIC_ANGEL	30
public static final int	SQUARE	41
public static final int	SYMPOINT	36
public static final int	TCLINE	68
public static final int	TRANSFORM	70
public static final int	TRANSFORM1	73
public static final int	TRAPEZOID	56
public static final int	TRATIO	15
public static final int	TRIANGLE	59
public static final int	VERTICAL	24
public static final int	VISIBLE	25

wprover.CText

Modifier and Type	Constant Field	Value
public static final int	CNAME_TEXT	2
public static final int	NAME_TEXT	1
public static final int	NORMAL_TEXT	0
public static final int	VALUE_TEXT	3

wprover.DrawBase

Modifier and Type	Constant Field	Value
public static final int	BARYCENTER	33
public static final int	CCTANGENT	55
public static final int	CIRCUMCENTER	32
public static final int	D_3PCIRCLE	10
public static final int	D_ABLINE	51
public static final int	D_ALINE	50
public static final int	D_ANGLE	17
public static final int	D_BLINE	52
public static final int	D_CCLINE	21
public static final int	D_CIR_BY_DIM	53
public static final int	D_CIRCLE	9
public static final int	D_CIRCLEBYRADIUS	28
public static final int	D_IOSTRI	22
public static final int	D_LINE	2
public static final int	D_MIDPOINT	15
public static final int	D_PARELINE	3
public static final int	D_PERPLINE	4
public static final int	D_PFOOT	25
public static final int	D_POINT	1
public static final int	D_POLYGON	6
public static final int	D_PRATIO	31
public static final int	D_PSQUARE	16
public static final int	D_PTDISTANCE	29
public static final int	D_SQUARE	19
public static final int	D_TCLINE	54
public static final int	D_TEXT	23
public static final int	D_TRATIO	36
public static final int	DISTANCE	26
public static final int	H_LINE	44
public static final int	INCENTER	47
public static final int	LRATIO	30
public static final int	MEET	20
public static final int	MIRROR	24
public static final int	ORTHOCENTER	46
public static final int	PERPWITHFOOT	5
public static final int	SETEQANGLE	18
public static final int	V_LINE	45

wprover.DrawData

Modifier and Type	Constant Field	Value
public static final int	pointcolor	3
public static final int	pointcolor_decided	14
public static final int	pointcolor_half_decided	5

wprover.DrawProcess

Modifier and Type	Constant Field	Value
public static final int	ANIMATION	60
public static final int	ARROW	88
public static final int	AUTOSHOWSTEP	64
public static final int	CONSTRUCT_FROM_TEXT	100
public static final int	DEFINEPOLY	61
public static final int	DRAWTRIALL	69
public static final int	DRAWTRISQISO	71
public static final int	EQMARK	65
public static final int	EQUIVALENCE	85
public static final int	FREE_TRANSFORM	86
public static final int	HIDEOBJECT	68
public static final int	LOCUS	87
public static final int	MOVE	34
public static final int	MOVENAME	63
public static final int	MULSELECTSOLUTION	62
public static final int	NTANGLE	80
public static final int	PARALLELOGRAM	72
public static final int	PROVE	66
public static final int	RA_TRAPEZOID	75
public static final int	RAMARK	83
public static final int	RATIO	82
public static final int	RECTANGLE	73
public static final int	SANGLE	81
public static final int	SELECT	0
public static final int	SETCCTANGENT	79
public static final int	SETEQANGLE3P	78
public static final int	SETEQSIDE	76
public static final int	SETTRACK	43
public static final int	SHOWOBJECT	77
public static final int	TRANSFORM	84
public static final int	TRANSLATE	40
public static final int	TRAPEZOID	74
public static final int	TRIANGLE	67
public static final int	VIEWELEMENT	35
public static final int	ZOOM_IN	41
public static final int	ZOOM_OUT	42