//
// 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();
}
