CLASS	CHECKER		Part: 1/1
TYPE OF OBJECT Checks the state of the system for validity against particular assertions.		INDEXING cluster: PROCESSING created: 2000-07-19 Joseph Kiniry revised: $Id: CHECKER.html 1954 2001-07-26 07:01:23Z kiniry $

Queries	Is specified assertion valid?
Commands	Make an assertion.
Constraints	none