Ar Predicates

coll_expressions(lines, table)

Return type:

list[Expr]

parallel_expressions(l1, l2, table)

Return type:

list[Expr]

enumerate_parallels(table, symbols)

Return type:

Iterator[tuple[PredicateConstruction, Expr]]

perpendicular_expressions(l1, l2, table)

Return type:

list[Expr]

enumerate_perpendiculars(table, symbols)

Return type:

Iterator[tuple[PredicateConstruction, Expr]]

aconst_expression(l1, l2, angle, table)

Return type:

list[Expr]

enumerate_aconsts(table, symbols)

Return type:

Iterator[tuple[PredicateConstruction, Expr]]

eqangle_expressions(l1, l2, l3, l4, table)

Return type:

list[Expr]

enumerate_eqangles(table, symbols)

Return type:

Iterator[tuple[PredicateConstruction, Expr]]

cong_expressions(segment1, segment2, table)

Return type:

list[Expr]

enumerate_congs(table)

Return type:

Iterator[tuple[PredicateConstruction, Expr]]

eqratio_expressions(ratio1, ratio2, table)

Return type:

list[Expr]

enumerate_eqratios(table)

Return type:

Iterator[tuple[PredicateConstruction, Expr]]

constant_ratio_expressions(ratio, value, table)

Return type:

list[Expr]

enumerate_rconsts(table)

Return type:

Iterator[tuple[PredicateConstruction, Expr]]

constant_length_expression(segment, length, table)

Return type:

list[Expr]

enumerate_lconsts(table)

Return type:

Iterator[tuple[PredicateConstruction, Expr]]