// // Clear all Instantiation Theorems / Axioms / Definitions // public static void Clear() { // // Algebra // RelationTransitiveSubstitution.Clear(); TransitiveSubstitution.Clear(); Point.Clear(); Angle.Clear(); Segment.Clear(); Arc.Clear(); Triangle.Clear(); Quadrilateral.Clear(); Circle.Clear(); TransitiveCongruentTriangles.Clear(); // // Axioms // AASimilarity.Clear(); AngleAdditionAxiom.Clear(); ASA.Clear(); CongruentCorrespondingAnglesImplyParallel.Clear(); CorrespondingAnglesOfParallelLines.Clear(); SASCongruence.Clear(); SSS.Clear(); AnglesOfEqualMeasureAreCongruent.Clear(); // // Definitions // AltitudeDefinition.Clear(); AngleBisectorDefinition.Clear(); ComplementaryDefinition.Clear(); CongruentSegmentsImplySegmentRatioDefinition.Clear(); CoordinateRightIsoscelesTriangles.Clear(); EquilateralTriangleDefinition.Clear(); IsoscelesTriangleDefinition.Clear(); MedianDefinition.Clear(); MidpointDefinition.Clear(); PerpendicularDefinition.Clear(); RightAngleDefinition.Clear(); RightTriangleDefinition.Clear(); SegmentBisectorDefinition.Clear(); // // Theorems // AAS.Clear(); AdjacentAnglesPerpendicularImplyComplementary.Clear(); AltIntCongruentAnglesImplyParallel.Clear(); AltitudeOfRightTrianglesImpliesSimilar.Clear(); AngleBisectorIsPerpendicularBisectorInIsosceles.Clear(); CongruentAdjacentAnglesImplyPerpendicular.Clear(); CongruentAnglesInTriangleImplyCongruentSides.Clear(); CongruentSidesInTriangleImplyCongruentAngles.Clear(); ExteriorAngleEqualSumRemoteAngles.Clear(); HypotenuseLeg.Clear(); ParallelImplyAltIntCongruentAngles.Clear(); ParallelImplySameSideInteriorSupplementary.Clear(); PerpendicularImplyCongruentAdjacentAngles.Clear(); RelationsOfCongruentAnglesAreCongruent.Clear(); SameSideSuppleAnglesImplyParallel.Clear(); SASSimilarity.Clear(); SSSSimilarity.Clear(); TransversalPerpendicularToParallelImplyBothPerpendicular.Clear(); TriangleProportionality.Clear(); TwoPairsCongruentAnglesImplyThirdPairCongruent.Clear(); SupplementaryAndCongruentImplyRightAngles.Clear(); // Quadrilaterals ParallelogramDefinition.Clear(); KiteDefinition.Clear(); RhombusDefinition.Clear(); RectangleDefinition.Clear(); SquareDefinition.Clear(); TrapezoidDefinition.Clear(); IsoscelesTrapezoidDefinition.Clear(); // Quadrilateral Theorems BothPairsOppAnglesCongruentImpliesParallelogram.Clear(); BothPairsOppSidesCongruentImpliesParallelogram.Clear(); DiagonalsBisectEachOtherImplyParallelogram.Clear(); OnePairOppSidesCongruentParallelImpliesParallelogram.Clear(); // Circles AngleInscribedSemiCircleIsRight.Clear(); CentralAngleEqualInterceptedArc.Clear(); ChordTangentAngleHalfInterceptedArc.Clear(); CongruentArcsHaveCongruentChords.Clear(); DiameterPerpendicularToChordBisectsChordAndArc.Clear(); ExteriorAngleHalfDifferenceInterceptedArcs.Clear(); InscribedAngleHalfInterceptedArc.Clear(); MinorArcsCongruentIfCentralAnglesCongruent.Clear(); PerpendicularToRadiusIsTangent.Clear(); TangentPerpendicularToRadius.Clear(); TangentsToCircleFromPointAreCongruent.Clear(); TwoChordsAnglesHalfSumInterceptedArc.Clear(); //TwoInterceptedArcsHaveCongruentAngles.Clear(); }