$classdefined
Checks if a class is defined
Usage
$classdefined(<class_name>)
Description
Returns 1 if the class <class_name> is defined, and 0 otherwise.

Index, Functions