Package physics

Interface Summary
GeometryInterface This is the interface that the singleton Geometry dispatches to.
Newton.Function Newton.Function is an interface which specifies a function whose roots can be found by this class.
 

Class Summary
Angle Angle is an immutable abstract data type which represents the mathematical notion of an angle.
Circle Circle is an immutable abstract data type which models the mathematical notion of a circle in cartesian space.
Counter A counter is a mutable ADT used to instrument code to measure the time of blocks of code.
Geometry The Geometry library contains procedural abstractions which are useful in modeling the physical interactions between objects.
Geometry.DoublePair DoublePair is a simple immutable record type representing a pair of doubles.
Geometry.VectPair VectPair is a simple immutable record type representing a pair of Vects.
GeometryCompare GeometryCompare is an implementation of the Geometry interface which composes two other concrete implementations and checks that they both have the same behavior.
GeometryImpl GeometryImpl is the default implementation of GeometryInterface.
GeometryReference GeometryReference is a reference implementation of GeometryInterface which can be used to check results from other implementations.
IntervalList An IntervalList is a mutable abstraction of a set of ranges of continuous numbers.
IntervalList.Interval An Interval is an immutable representation of a single contigous range of numbers from start to end.
LineSegment LineSegment is an immutable abstract data type which represents a line segment in two dimensional Cartesian space.
Newton This class contains the logic required to perform netwon's method of iterative root finding on single variable functions.
Newton.Result Newton.Result is a record type which aggregates the results of evaluating both a function at a point and its derriviative.
SimpleGeometry SimpleGeometry alters the behavior of GeometyImpl by removing the doughnut optimizations.
Vect Vect is an immutable abstract data type which models the mathematical notion of a vector or a point in 2-space.