Rule Matching

Implement different strategies to match applicable rules to points on the current proof state.

---

• Efficient Statement
  • efficient_version()
  • PerpStatement
    • PerpStatement.name
    • PerpStatement.a
    • PerpStatement.b
    • PerpStatement.c
    • PerpStatement.d
  • PerpPredicate
    • PerpPredicate.name
    • PerpPredicate.A
    • PerpPredicate.B
    • PerpPredicate.C
    • PerpPredicate.D
  • ParaStatement
    • ParaStatement.name
    • ParaStatement.a
    • ParaStatement.b
    • ParaStatement.c
    • ParaStatement.d
  • ParaPredicate
    • ParaPredicate.name
    • ParaPredicate.A
    • ParaPredicate.B
    • ParaPredicate.C
    • ParaPredicate.D
  • EqangleStatement
    • EqangleStatement.name
    • EqangleStatement.a
    • EqangleStatement.b
    • EqangleStatement.c
    • EqangleStatement.d
    • EqangleStatement.e
    • EqangleStatement.f
    • EqangleStatement.g
    • EqangleStatement.h
  • EqanglePredicate
    • EqanglePredicate.name
    • EqanglePredicate.A
    • EqanglePredicate.B
    • EqanglePredicate.C
    • EqanglePredicate.D
    • EqanglePredicate.E
    • EqanglePredicate.F
    • EqanglePredicate.G
    • EqanglePredicate.H
  • EqratioStatement
    • EqratioStatement.name
    • EqratioStatement.a
    • EqratioStatement.b
    • EqratioStatement.c
    • EqratioStatement.d
    • EqratioStatement.e
    • EqratioStatement.f
    • EqratioStatement.g
    • EqratioStatement.h
  • EqratioPredicate
    • EqratioPredicate.name
    • EqratioPredicate.A
    • EqratioPredicate.B
    • EqratioPredicate.C
    • EqratioPredicate.D
    • EqratioPredicate.E
    • EqratioPredicate.F
    • EqratioPredicate.G
    • EqratioPredicate.H
  • CongStatement
    • CongStatement.name
    • CongStatement.a
    • CongStatement.b
    • CongStatement.c
    • CongStatement.d
  • CongPredicate
    • CongPredicate.name
    • CongPredicate.A
    • CongPredicate.B
    • CongPredicate.C
    • CongPredicate.D
  • MidptStatement
    • MidptStatement.name
    • MidptStatement.a
    • MidptStatement.b
    • MidptStatement.c
  • MidptPredicate
    • MidptPredicate.name
    • MidptPredicate.A
    • MidptPredicate.B
    • MidptPredicate.C
  • TriangleStatement
    • TriangleStatement.name
    • TriangleStatement.a
    • TriangleStatement.b
    • TriangleStatement.c
    • TriangleStatement.p
    • TriangleStatement.q
    • TriangleStatement.r
  • TrianglePredicate
    • TrianglePredicate.name
    • TrianglePredicate.A
    • TrianglePredicate.B
    • TrianglePredicate.C
    • TrianglePredicate.P
    • TrianglePredicate.Q
    • TrianglePredicate.R
  • CollStatement
  • CollPredicate
  • CircleStatement
  • CirclePredicate
  • CyclicStatement
  • CyclicPredicate
  • generate_permutations()
  • cyclic_perms()
  • coll_perms()
  • circle_perms()
  • triangle_perms()
  • normalize_triangle()
  • normalize_midpt()
  • midpt_perms()
  • normalize_cong()
  • cong_perms()
  • normalize_eqratio()
  • eqratio_perms()
  • normalize_eqangle()
  • eqangle_perms()
  • normalize_para()
  • para_perms()
  • normalize_perp()
  • perp_perms()
  • normalize_coll()
  • normalize_circle()
  • normalize_cyclic()
  • get_representative_of_equivalence_class()
• Interface
  • RuleMatcher
    • RuleMatcher.match_theorem()
• Mapping Matcher
  • MappingMatcher
    • MappingMatcher.match_theorem()
  • TheoremMapper
    • TheoremMapper.mappings()
  • CCMapper
    • CCMapper.mappings()
  • FilterMapper
    • FilterMapper.mappings()
  • predictates_by_type_name_from_hypergraph()
  • iterate_mapping_with_complementary_assignments()
  • PartialMapping
    • PartialMapping.lookup_dict
    • PartialMapping.valid_arg_permutations
    • PartialMapping.mapping_hash
    • PartialMapping.predicate_name
    • PartialMapping.predicates
    • PartialMapping.vars_to_assign
    • PartialMapping.partial_assignment
    • PartialMapping.permutation_idxs_compatible_with_partial_assignment
    • PartialMapping.with_assignment()
  • iterate_mappings()
• Permutations
  • generate_permutations_as_dicts()