gprover.*
-
gprover.CClass Modifier and Type Constant Field Value public static final intMAX_GEO40 -
gprover.Cm Modifier and Type Constant Field Value public static final java.lang.StringANGLE_SIGN"\u2220"public static final booleanDEBUGfalsepublic static final java.lang.StringDR_WPT"WPT"public static final java.lang.StringEQUAL_SIGN" = "public static final java.lang.StringINTERSECT_SIGN" \u2229 "public static final java.lang.StringP_POINT"POINT"public static final java.lang.StringPARALLEL_SIGN" \u2225 "public static final java.lang.StringPC_ACONG"EQANGLE"public static final java.lang.StringPC_COLL"COLLINEAR"public static final java.lang.StringPC_CONG"EQDISTANCE"public static final java.lang.StringPC_CTRI"CON_TRIANGLE"public static final java.lang.StringPC_CYCLIC"COCIRCLE"public static final java.lang.StringPC_MIDP"MIDPOINT"public static final java.lang.StringPC_PARA"PARALLEL"public static final java.lang.StringPC_PERP"PERPENDICULAR"public static final java.lang.StringPC_STRI"SIM_TRIANGLE"public static final java.lang.StringPERPENDICULAR_SIGN" \u22a5 "public static final java.lang.Strings1993"Index"public static final java.lang.Strings2070"(hyp)"public static final java.lang.Strings2072"The Machine Proof"public static final java.lang.Strings2220"\r\nThere exists no proof.\r\n"public static final java.lang.Strings2221"The conclusion is: "public static final java.lang.Strings2222"This is equivalent to: "public static final java.lang.Strings2223"Eliminating the common factors: "public static final java.lang.Strings2225"\r\nThe geometric quantities used in the proof.\r\n"public static final java.lang.Strings2226"Eliminate variables"public static final java.lang.Strings2300"\r\n\r\nThe statement is true.\r\n\r\n"public static final java.lang.Strings2707"lines"public static final java.lang.Strings2713"circles in the database."public static final java.lang.Strings2720"similar triangles"public static final java.lang.Strings2722"congruent triangles"public static final java.lang.Strings2727" because "public static final java.lang.Strings2728" and "public static final java.lang.Strings2810"\r\n\r\nOnly full-angles are allowd in this case"public static final java.lang.Strings2811"\r\nConclusion cannot be represented with full-angles.\r\n"public static final java.lang.Strings2812"\r\nCannot solve this problem with full-angles.\r\n"public static final java.lang.StringSIMILAR_SIGN" ~ "public static final java.lang.StringTRIANGLE_SIGN"\u2206" -
gprover.CNdg Modifier and Type Constant Field Value public static final intMAX_GEO16 -
gprover.Cond Modifier and Type Constant Field Value public static final intMAX_GEO16 -
gprover.Cons Modifier and Type Constant Field Value public static final intMAXLEN16 -
gprover.Gib Modifier and Type Constant Field Value public static final intA_1802160public static final intA_30360public static final intA_3604320public static final intA_45540public static final intA_60720public static final intA_901080public static final intA_TIME12public static final intC_ANGLE_BISECTOR43public static final intC_CCTANGENT46public static final intC_CENT38public static final intC_CIRCLE9public static final intC_CIRCUM11public static final intC_CONSTANT39public static final intC_EQ_TRI29public static final intC_EQANGLE15public static final intC_EQANGLE3P50public static final intC_EQDISTANCE14public static final intC_FOOT8public static final intC_I_AA121public static final intC_I_BA127public static final intC_I_BB115public static final intC_I_BC116public static final intC_I_BR128public static final intC_I_CC117public static final intC_I_CR118public static final intC_I_EQ129public static final intC_I_LA122public static final intC_I_LB104public static final intC_I_LC103public static final intC_I_LL101public static final intC_I_LP102public static final intC_I_LR106public static final intC_I_LS107public static final intC_I_LT105public static final intC_I_PA123public static final intC_I_PB111public static final intC_I_PC109public static final intC_I_PP108public static final intC_I_PR124public static final intC_I_PT110public static final intC_I_RR119public static final intC_I_SS120public static final intC_I_TA125public static final intC_I_TB114public static final intC_I_TC112public static final intC_I_TR126public static final intC_I_TT113public static final intC_ICENT36public static final intC_ICENT1199public static final intC_INVERSION20public static final intC_ISO_TRI27public static final intC_LC_TANGENT44public static final intC_LINE2public static final intC_LOZENGE33public static final intC_LRATIO19public static final intC_MIDPOINT13public static final intC_NETRIANGLE151public static final intC_NRATIO18public static final intC_NSQUARE41public static final intC_O_A7public static final intC_O_AB48public static final intC_O_B6public static final intC_O_C10public static final intC_O_D49public static final intC_O_L3public static final intC_O_P4public static final intC_O_R12public static final intC_O_S47public static final intC_O_T5public static final intC_ORTH37public static final intC_PARALLELOGRAM32public static final intC_PENTAGON25public static final intC_PETRIANGLE150public static final intC_POINT1public static final intC_POLYGON26public static final intC_PRATIO17public static final intC_PSQUARE40public static final intC_QUADRANGLE24public static final intC_R_TRAPEZOID31public static final intC_R_TRI28public static final intC_RATIO45public static final intC_RECTANGLE34public static final intC_REF21public static final intC_SANGLE42public static final intC_SQUARE35public static final intC_SYM22public static final intC_TRAPEZOID30public static final intC_TRATIO16public static final intC_TRIANGLE23public static final intCO_121903public static final intCO_ACONG76public static final intCO_ATNG1111public static final intCO_COLL70public static final intCO_CONG75public static final intCO_CTRI82public static final intCO_CYCLIC74public static final intCO_EQ1112public static final intCO_HARMONIC79public static final intCO_INCENT85public static final intCO_MIDP73public static final intCO_NANG88public static final intCO_NSEG89public static final intCO_ORTH84public static final intCO_PARA71public static final intCO_PBISECT77public static final intCO_PERP72public static final intCO_PET1904public static final intCO_PETRI80public static final intCO_PROD83public static final intCO_RATIO86public static final intCO_STRI81public static final intCO_TANG87public static final intCO_TANGENT78public static final intEQ_TRI7public static final intFE_TYPE_ERROR1public static final intIN_AG_INSIDE302public static final intIN_AG_OUTSIDE303public static final intIN_BETWEEN301public static final intIN_OPP_SIDE306public static final intIN_PARA_INSIDE305public static final intIN_PG_CONVEX308public static final intIN_SAME_SIDE307public static final intIN_TRI_INSIDE304public static final intISO_TRI5public static final intLOZENGE11public static final intNDG_ACONG206public static final intNDG_COLL201public static final intNDG_CONG205public static final intNDG_CYCLIC204public static final intNDG_NEQ200public static final intNDG_NON_ISOTROPIC207public static final intNDG_PARA202public static final intNDG_PERP203public static final intNDG_TRIPLEPI208public static final intPARALLELOGRAM10public static final intPENTAGON3public static final intPOLYGON4public static final intQUADRANGLE2public static final intR_AA_STRI31public static final intR_AAS26public static final intR_AG_ATN21public static final intR_AG_BISECTOR_ATIO43public static final intR_AG_PP1217public static final intR_AG_PP1318public static final intR_AG_SPECIAL22public static final intR_AG_TT1219public static final intR_AG_TT1320public static final intR_AS_PLUS16public static final intR_ASRA_STRI32public static final intR_CR_AS211public static final intR_CR_DM_MD9public static final intR_CR_DM_T10public static final intR_CR_INSCRIBE_AS13public static final intR_CR_OO_B15public static final intR_CR_P_EQARC12public static final intR_CR_TAN_AS14public static final intR_CTRI25public static final intR_ISO_3L24public static final intR_ISOCELES23public static final intR_MID_CONNECTION35public static final intR_MID_CONNECTION_TRAPZOID41public static final intR_P_COLL1public static final intR_P_RA3public static final intR_PARALLELOGRAM40public static final intR_PL_AS2public static final intR_PT_T4public static final intR_PYTH_THM38public static final intR_RA_ST_CT34public static final intR_RATIO42public static final intR_RTRI_MD_CY36public static final intR_SAS27public static final intR_SSS28public static final intR_ST_RAAS33public static final intR_STRI30public static final intR_T_AT905public static final intR_TRAPEZOID9public static final intR_TRI6public static final intR_TRI_ALL_AG_18039public static final intR_TRI_EQ37public static final intR_TT_CY8public static final intR_TT_MDCY6public static final intR_TT_PP7public static final intR_TTCG2_CT29public static final intRECTANGLE12public static final intRF_1010public static final intRF_1212public static final intRF_1313public static final intRF_1414public static final intRF_1515public static final intRF_1616public static final intRF_1717public static final intRF_1818public static final intRF_2020public static final intRF_2121public static final intRF_2222public static final intRF_2626public static final intRF_99public static final intRF_ADDITION5public static final intRF_CY28public static final intRF_CY229public static final intRF_DEFINITION1public static final intRF_DM_PERP11public static final intRF_DM227public static final intRF_GIB-1public static final intRF_INSCRIBE8public static final intRF_ISO7public static final intRF_MINUS2public static final intRF_ORTH19public static final intRF_PARA3public static final intRF_PERP4public static final intRF_PERP_SPLIT6public static final intRF_PPO25public static final intRF_TT23public static final intRF_TT224public static final intSQUARE13public static final intTRAPEZOID8public static final intTRIANGLE1protected static final doubleZERO0.001 -
gprover.LList Modifier and Type Constant Field Value public static final intANGLE2public static final intLINE1public static final intMAX_MDE10public static final intVALUE0 -
gprover.ProPoint Modifier and Type Constant Field Value public static final intMAX_GEO30 -
gprover.Rule Modifier and Type Constant Field Value public static final intEQ_ANGLE4public static final intEX_ANGLE3public static final intP_ANGLE1public static final intSPLIT_ANGLE0public static final intT_ANGLE2
maths.*
-
maths.BigSquareRoot Modifier and Type Constant Field Value public static final intDEFAULT_MAX_ITERATIONS50public static final intDEFAULT_SCALE10
pdf.*
-
pdf.BoundingBox Modifier and Type Constant Field Value public static final intHORIZ_ALIGN_CENTER3public static final intHORIZ_ALIGN_LEFT4public static final intHORIZ_ALIGN_RIGHT5public static final intLINE_SPACING_PERCENTAGE20public static final intSUBTRACT_FROM_BOTTOM7public static final intSUBTRACT_FROM_LEFT8public static final intSUBTRACT_FROM_RIGHT9public static final intSUBTRACT_FROM_TOP6public static final intVERT_ALIGN_BOTTOM2public static final intVERT_ALIGN_CENTER0public static final intVERT_ALIGN_TOP1 -
pdf.PDFAnnot Modifier and Type Constant Field Value public static final shortBEVELED2public static final shortDASHED1public static final shortINSET3public static final shortSOLID0public static final shortUNDERLINED4 -
pdf.PDFDocument Modifier and Type Constant Field Value public static final intFULLSCREEN3public static final intUSENONE0public static final intUSEOUTLINES1public static final intUSETHUMBS2
UI.*
-
UI.GifDecoder Modifier and Type Constant Field Value protected static final intMaxStackSize4096public static final intSTATUS_FORMAT_ERROR1public static final intSTATUS_OK0public static final intSTATUS_OPEN_ERROR2 -
UI.NeuQuant Modifier and Type Constant Field Value protected static final intalphabiasshift10protected static final intalpharadbias262144protected static final intalpharadbshift18protected static final intbeta64protected static final intbetagamma65536protected static final intbetashift10protected static final intgamma1024protected static final intgammashift10protected static final intinitalpha1024protected static final intinitrad32protected static final intinitradius2048protected static final intintbias65536protected static final intintbiasshift16protected static final intmaxnetpos255protected static final intminpicturebytes1509protected static final intncycles100protected static final intnetbiasshift4protected static final intnetsize256protected static final intprime1499protected static final intprime2491protected static final intprime3487protected static final intprime4503protected static final intradbias256protected static final intradbiasshift8protected static final intradiusbias64protected static final intradiusbiasshift6protected static final intradiusdec30
wprover.*
-
wprover.CClass Modifier and Type Constant Field Value public static final intANGLE6public static final intARROW13public static final intCIRCLE3public static final intDISTANCE5public static final intEQMARK11public static final intLINE2public static final intPOINT1public static final intPOLYGON7public static final intPTEXT10public static final intTEMP_POINT99public static final intTEXT8public static final intTMARK12public static final intTRACE4public static final intTVALUE9 -
wprover.CLine Modifier and Type Constant Field Value public static final intABLine8public static final intALine6public static final intBLine3public static final intCCLine4public static final intET_ENDLESS2public static final intET_EXTENSION1public static final intET_NORMAL0public static final intLLine0public static final intNTALine5public static final intPLine1public static final intSALine7public static final intTCLine9public static final intTLine2 -
wprover.CMisc Modifier and Type Constant Field Value public static final doubleANIMATE_GAP15.0public static final booleanAPPLETfalsepublic static final booleanDEBUGfalsepublic static final doubleDOUBLE_ZERO1.0E-8public static final doubleHV_ZERO0.01public static final intLINDE_DRAW_EXT50public static final intMAX_DRAW_LEN10000public static final doubleMAX_K999.0public static final doubleMAX_SLOPE9999.0public static final intPIXEPS6public static final intPIXEPS_PT8public static final booleanPOINT_TRANStruepublic static final intPOLYGON_ANIMATION_LAG3public static final doublerlength50.0public static final doubleversion0.053public static final doubleZERO0.001public static final doubleZOOM_RATIO1.1 -
wprover.ConcDialog Modifier and Type Constant Field Value public static final intCONCLUSION_CANCEL1public static final intCONCLUSION_OK0 -
wprover.Constraint Modifier and Type Constant Field Value public static final intALINE42public static final intANGLE_BISECTOR66public static final intBARYCENTER22public static final intBISECT13public static final intBLINE67public static final intCCLine14public static final intCCTANGENT10public static final intCCTANGENT_LINE74public static final intCIRCLE62public static final intCIRCLE3P63public static final intCIRCUMCENTER21public static final intCOLLINEAR1public static final intCONSTANT43public static final intEQ_TRIANLE51public static final intEQANGLE7public static final intEQANGLE3P29public static final intEQDISTANCE4public static final intEQUIVALENCE171public static final intEQUIVALENCE272public static final intHORIZONAL23public static final intINCENTER44public static final intINTER_CC48public static final intINTER_CC132public static final intINTER_LC47public static final intINTER_LL46public static final intINVISIBLE26public static final intISO_RIGHT_ANGLED_TRIANGLE53public static final intISO_TRIANGLE50public static final intLC_MEET28public static final intLCTANGENT9public static final intLINE61public static final intLRATIO19public static final intMIDPOINT6public static final intMIRROR18public static final intNETRIANGLE40public static final intNRATIO27public static final intNSQUARE34public static final intNTANGLE35public static final intNULLTYPE0public static final intON_ABLINE76public static final intONALINE79public static final intONDCIRCLE77public static final intONRCIRCLE78public static final intONSCIRCLE75public static final intORTHOCENTER37public static final intP_O_A38public static final intPARALLEL2public static final intPARALLELOGRAM55public static final intPENTAGON60public static final intPERPBISECT5public static final intPERPENDICULAR3public static final intPETRIANGLE39public static final intPFOOT31public static final intPOLYGON64public static final intPONCIRCLE12public static final intPONLINE11public static final intPRATIO17public static final intPSQUARE33public static final intPSYM45public static final intQUADRANGLE54public static final intRATIO69public static final intRCIRCLE20public static final intRECTANGLE58public static final intRIGHT_ANGLE_TRAPEZOID57public static final intRIGHT_ANGLED_TRIANGLE52public static final intSANGLE65public static final intSPECIFIC_ANGEL30public static final intSQUARE41public static final intSYMPOINT36public static final intTCLINE68public static final intTRANSFORM70public static final intTRANSFORM173public static final intTRAPEZOID56public static final intTRATIO15public static final intTRIANGLE59public static final intVERTICAL24public static final intVISIBLE25 -
wprover.CText Modifier and Type Constant Field Value public static final intCNAME_TEXT2public static final intNAME_TEXT1public static final intNORMAL_TEXT0public static final intVALUE_TEXT3 -
wprover.DrawBase Modifier and Type Constant Field Value public static final intBARYCENTER33public static final intCCTANGENT55public static final intCIRCUMCENTER32public static final intD_3PCIRCLE10public static final intD_ABLINE51public static final intD_ALINE50public static final intD_ANGLE17public static final intD_BLINE52public static final intD_CCLINE21public static final intD_CIR_BY_DIM53public static final intD_CIRCLE9public static final intD_CIRCLEBYRADIUS28public static final intD_IOSTRI22public static final intD_LINE2public static final intD_MIDPOINT15public static final intD_PARELINE3public static final intD_PERPLINE4public static final intD_PFOOT25public static final intD_POINT1public static final intD_POLYGON6public static final intD_PRATIO31public static final intD_PSQUARE16public static final intD_PTDISTANCE29public static final intD_SQUARE19public static final intD_TCLINE54public static final intD_TEXT23public static final intD_TRATIO36public static final intDISTANCE26public static final intH_LINE44public static final intINCENTER47public static final intLRATIO30public static final intMEET20public static final intMIRROR24public static final intORTHOCENTER46public static final intPERPWITHFOOT5public static final intSETEQANGLE18public static final intV_LINE45 -
wprover.DrawData Modifier and Type Constant Field Value public static final intpointcolor3public static final intpointcolor_decided14public static final intpointcolor_half_decided5 -
wprover.DrawProcess Modifier and Type Constant Field Value public static final intANIMATION60public static final intARROW88public static final intAUTOSHOWSTEP64public static final intCONSTRUCT_FROM_TEXT100public static final intDEFINEPOLY61public static final intDRAWTRIALL69public static final intDRAWTRISQISO71public static final intEQMARK65public static final intEQUIVALENCE85public static final intFREE_TRANSFORM86public static final intHIDEOBJECT68public static final intLOCUS87public static final intMOVE34public static final intMOVENAME63public static final intMULSELECTSOLUTION62public static final intNTANGLE80public static final intPARALLELOGRAM72public static final intPROVE66public static final intRA_TRAPEZOID75public static final intRAMARK83public static final intRATIO82public static final intRECTANGLE73public static final intSANGLE81public static final intSELECT0public static final intSETCCTANGENT79public static final intSETEQANGLE3P78public static final intSETEQSIDE76public static final intSETTRACK43public static final intSHOWOBJECT77public static final intTRANSFORM84public static final intTRANSLATE40public static final intTRAPEZOID74public static final intTRIANGLE67public static final intVIEWELEMENT35public static final intZOOM_IN41public static final intZOOM_OUT42