Package gprover
Class Area
- java.lang.Object
-
public class Area extends Full
The Area class represents a geometric area and extends the Full class. It includes methods for printing results, creating geometric terms, and evaluating geometric expressions.
-
-
Field Summary
-
Fields inherited from class gprover.Poly
PRO_AREA, PRO_COLL, PRO_FULL, PRO_GB, PRO_GDD, PRO_MTIME, PRO_VEC, PRO_WU
-
Fields inherited from class gprover.Gib
A_180, A_30, A_360, A_45, A_60, A_90, A_TIME, all_as, all_ast, all_at, all_atn, all_cg, all_cgs, all_cir, all_ct, all_cts, all_ln, all_md, all_nd, all_ns, all_pg, all_pn, all_ra, all_rg, all_st, all_sts, all_tn, all_tr, allcns, allpts, C_ANGLE_BISECTOR, C_CCTANGENT, C_CENT, C_CIRCLE, C_CIRCUM, C_CONSTANT, C_EQ_TRI, C_EQANGLE, C_EQANGLE3P, C_EQDISTANCE, C_FOOT, C_I_AA, C_I_BA, C_I_BB, C_I_BC, C_I_BR, C_I_CC, C_I_CR, C_I_EQ, C_I_LA, C_I_LB, C_I_LC, C_I_LL, C_I_LP, C_I_LR, C_I_LS, C_I_LT, C_I_PA, C_I_PB, C_I_PC, C_I_PP, C_I_PR, C_I_PT, C_I_RR, C_I_SS, C_I_TA, C_I_TB, C_I_TC, C_I_TR, C_I_TT, C_ICENT, C_ICENT1, C_INVERSION, C_ISO_TRI, C_LC_TANGENT, C_LINE, C_LOZENGE, C_LRATIO, C_MIDPOINT, C_NETRIANGLE, C_NRATIO, C_NSQUARE, C_O_A, C_O_AB, C_O_B, C_O_C, C_O_D, C_O_L, C_O_P, C_O_R, C_O_S, C_O_T, C_ORTH, C_PARALLELOGRAM, C_PENTAGON, C_PETRIANGLE, C_POINT, C_POLYGON, C_PRATIO, C_PSQUARE, C_QUADRANGLE, C_R_TRAPEZOID, C_R_TRI, C_RATIO, C_RECTANGLE, C_REF, C_SANGLE, C_SQUARE, C_SYM, C_TRAPEZOID, C_TRATIO, C_TRIANGLE, ck_value, cns_no, CO_12, CO_ACONG, CO_ATNG, CO_COLL, CO_CONG, CO_CTRI, CO_CYCLIC, co_db, CO_EQ, CO_HARMONIC, CO_INCENT, CO_MIDP, CO_NANG, CO_NSEG, CO_ORTH, CO_PARA, CO_PBISECT, CO_PERP, CO_PET, CO_PETRI, CO_PROD, CO_RATIO, CO_STRI, CO_TANG, CO_TANGENT, co_xy, conc, cons_no, d_base, DEBUG, depth, EQ_TRI, FE_TYPE_ERROR, gno, gt, IN_AG_INSIDE, IN_AG_OUTSIDE, IN_BETWEEN, IN_OPP_SIDE, IN_PARA_INSIDE, IN_PG_CONVEX, IN_SAME_SIDE, IN_TRI_INSIDE, ISO_TRI, last_as, last_ast, last_at, last_atn, last_cg, last_cgs, last_cir, last_ct, last_cts, last_ln, last_md, last_nd, last_ns, last_pg, last_pn, last_ra, last_rg, last_st, last_sts, last_tn, last_tr, LOZENGE, NDG_ACONG, NDG_COLL, NDG_CONG, NDG_CYCLIC, NDG_NEQ, NDG_NON_ISOTROPIC, NDG_PARA, NDG_PERP, NDG_TRIPLEPI, P_STATUS, PARALLELOGRAM, PENTAGON, POLYGON, printype, pts_no, pts_pno, QUADRANGLE, R_AA_STRI, R_AAS, R_AG_ALL, R_AG_ATN, R_AG_BISECTOR_ATIO, R_AG_PP12, R_AG_PP13, R_AG_SPECIAL, R_AG_TT12, R_AG_TT13, R_AS_PLUS, R_ASRA_STRI, R_CR_AS2, R_CR_DM_MD, R_CR_DM_T, R_CR_INSCRIBE_AS, R_CR_OO_B, R_CR_P_EQARC, R_CR_TAN_AS, R_CTRI, R_ISO_3L, R_ISOCELES, R_MID_CONNECTION, R_MID_CONNECTION_TRAPZOID, R_P_COLL, R_P_RA, R_PARALLELOGRAM, R_PL_AS, R_PT_T, R_PYTH_THM, R_RA_ST_CT, R_RATIO, R_RTRI_MD_CY, R_SAS, R_SEARCH_ALL_LN, R_SSS, R_ST_RAAS, R_STRI, R_T_AT90, R_TRAPEZOID, R_TRI, R_TRI_ALL_AG_180, R_TRI_EQ, R_TT_CY, R_TT_MDCY, R_TT_PP, R_TTCG2_CT, RECTANGLE, RF_10, RF_12, RF_13, RF_14, RF_15, RF_16, RF_17, RF_18, RF_20, RF_21, RF_22, RF_26, RF_9, RF_ADDITION, RF_CY, RF_CY2, RF_DEFINITION, RF_DM_PERP, RF_DM2, RF_GIB, RF_INSCRIBE, RF_ISO, RF_MINUS, RF_ORTH, RF_PARA, RF_PERP, RF_PERP_SPLIT, RF_PPO, RF_TT, RF_TT2, RValue, show_detail, show_dtype, sout, SQUARE, test_c, test_ln, test_ra, test_ra1, TRAPEZOID, tri_type, TRIANGLE, vauxptf, vauxpts, ZERO
-
-
Constructor Summary
Constructors Constructor Description Area()
-
Method Summary
-
Methods inherited from class gprover.Full
add_coll_para, add_cons, add_cons, add_deduction, add_n_coll, add_n_isotropic, add_n_neq, add_n_pt, add_ndg_coll, add_ndg_cong, add_ndg_neq, add_ndg_para, add_ndg_para, add_ndg_perp, add_ndg_perp, add_ndg_triplePI, add_ndgs, add_neqTo, addConsToNdgcs, addxtermndg, angle_deduction, angle_deduction, canExpressedAsFullAngle, ck_allFree, ck_right, ck_right, compare, construct_related, fconc_coll, fconc_cong, filter_ndg, filter_ndg, final_deduction, freeCS, freeCSP, get_ndgs, get_ndgstr, getCS, getErrorType, getFullAngleProofHead, init_ndgs, isConstructionType, isProvedTrue, myprint_p1, ndg_deduction, ndg_eq, ndg_less, opt_tri, parse_neq, parse_neq, print_prooftext, reorder22, reorder3, set_showdetai, sortVector, xterm_1term, xterm_2term, xterm2ndg
-
Methods inherited from class gprover.GDDBc
add_as82, add_as82_t, add_as82t1, add_pred_4p_tang, add_pred_as, add_pred_at, add_pred_atn, add_pred_atn_atnas, add_pred_coll, add_pred_cr, add_pred_cyclic1, add_pred_para, add_pred_perp, add_pred_pntn, add_pred_tn13, add_rule_exag, add_rule_p_ag, add_rule_spag, add_rule_tag, check_tValid, find_tr_in_ls, gen_dbase_text, get_at2_v, get_cond_ln, getAll_as, getAll_at, getAll_atn, getAll_cg, getAll_cir, getAll_cts, getAll_ln, getAll_md, getAll_pn, getAll_ra, getAll_rg, getAll_sts, getAll_tn, getPVector, insertVector, list_sub, on_ln4, parse_llist, search_a_fact, search_ag_split, search_list_tn, search_p_list, search_t_list, show_ast, show_llist, show_llists, show_mnde
-
Methods inherited from class gprover.GDDAux
add_aux, ax_backward, ax_bk_mid, ax_cg, cal_ax_co, cal_ax_foot, cal_ax_ilc, cal_ax_ill, cal_ax_ilp, cal_ax_ipc, cal_ax_md, cal_ax_tn, fd_aux_name, time_over, time_start
-
Methods inherited from class gprover.GDD
add_ls_et, add_ls_node_sub, add_rule_eqag, add_stct_at, add_tri_tn_at, adj_as0, adj_at, adj_ct, adj_st, check_llatn, mcoll, mperp, ptdr, search_2cong1, search_as_ct, search_as_st, search_as_tn_as, search_at, search_at_as, search_at_ass, search_at_at, search_at_tn, search_at0, search_at1, search_atatn, search_atn, search_atn_as, search_atn_at, search_atn_atn, search_atnas, search_bk, search_bk_as, search_cg__plus_or_minus, search_cg_aas, search_cg_cg, search_cg_ct, search_cg_ct0, search_cg_md, search_cg_st0, search_cgs, search_cong_st, search_md_cong, search_ns, search_pn_cr, search_pn_pn, search_rg_at, search_st1, search_tn_at, search_tn_atn, search_tn_ats, search_tn_cg, search_tn_st
-
Methods inherited from class gprover.GDDBase
add_as, add_at, add_at, add_at0, add_atn, add_auxpt, add_cgs, add_cir_n, add_e_triangle, add_laratio, add_lozenge, add_nodes, add_nodes, add_parallelogram, add_pg_ln, add_r_trapezoid, add_ratio, add_rectangle, add_square, add_sts, add_sts1, add_tline_t, add_to_cg, add_to_sts, add_tr, adj_as_tn, adj_atn, cb_cgs, cb_sts, ch_lns, check_at_eq, check_atn_dr, check_ll_dr, collect_sts, cp_nodes, do_i_cons, do_pd, do_pred2, eq_list, eq_mnde, fadd_tr, fd_at, fd_at, fd_ln_lp, fd_ln1, fd_tr, fo_at, fo_atn, fo_atn, get_82l0, get_anti_pt, getAtv, getAtv, on_cgs, on_sts, on_sts1, sbase, search_as_tn1, search_only_exists_ln, search_only_exists_ln, search_only_exists_ln, search_only_exists_ln, setConc, setExample, x_list, xatcong, xatcong, xcir_n
-
Methods inherited from class gprover.Gib
addAngst, check_angle_ls_90, check_ateq, check_atn, check_eqangle, check_eqangle, check_eqangle_t, check_eqdistance, check_eqdistance, check_ratio, ck_4peq, ck_dr, collect_angst, exit, fd_ast, fd_pt, fd_pt, gerror, getAngleValue, getAngleValue, getAngleValue, getAngleValue_t, getDefaultCond, gexit, init_dbase, initRules, insertAngle, isPFull, length2, same_tri, setNoPrint, setValue, show_agll, x_inside
-
-