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

Index, Functions