# Formal Methods and Classes

A C D E F G H I L M N P R S T V W misc

(-class | Classes to Represent Unevaluated Language Objects
.BasicFunsList | List of Builtin and Special Functions
.doTracePrint | Classes Used Internally to Control Tracing
.InitTraceFunctions | Classes Used Internally to Control Tracing
.makeTracedFunction | Classes Used Internally to Control Tracing
.untracedFunction | Classes Used Internally to Control Tracing
<--class | Classes to Represent Unevaluated Language Objects

## -- A --

allGenerics | Tools for Managing Generic Functions
ANY-class | Classes Corresponding to Basic Data Types
array-class | Classes Corresponding to Basic Structures
as | Force an Object to Belong to a Class

## -- C --

call-class | Classes to Represent Unevaluated Language Objects
callGeneric | Tools for Managing Generic Functions
callNextMethod | Call an Inherited Method
character-class | Classes Corresponding to Basic Data Types
class | Class of an Object
Classes | Class Definitions
coerce | Force an Object to Belong to a Class
complex-class | Classes Corresponding to Basic Data Types

## -- D --

double-class | Classes Corresponding to Basic Data Types
dumpMethod | Tools for Managing Generic Functions
dumpMethods | Tools for Managing Generic Functions

## -- E --

environment-class | Class "environment"
existsFunction | Tools for Managing Generic Functions
expression-class | Classes Corresponding to Basic Data Types
extends | Is an Object from a Class

## -- F --

findFunction | Tools for Managing Generic Functions
findMethod | Get the Definition of a Method
for-class | Classes to Represent Unevaluated Language Objects
function-class | Classes Corresponding to Basic Data Types
functionWithTrace-class | Classes Used Internally to Control Tracing

## -- G --

GenericFunctions | Tools for Managing Generic Functions
getClass | Get Class Definition
getClassDef | Get Class Definition
getClasses | Create a Class Definition
getGenerics | Tools for Managing Generic Functions
getMethod | Get the Definition of a Method
getMethods | Get the Definition of a Method
getValidity | Test the Validity of an Object

## -- H --

hasArg | Look for an Argument in the Call

## -- I --

if-class | Classes to Represent Unevaluated Language Objects
initialize | Generate an Object from a Class
integer-class | Classes Corresponding to Basic Data Types
is | Is an Object from a Class
isClass | Create a Class Definition
isGeneric | Tools for Managing Generic Functions
isGroup | Tools for Managing Generic Functions

## -- L --

language-class | Classes to Represent Unevaluated Language Objects
LinearMethodsList-class | Class "LinearMethodsList" ~~~
list-class | Classes Corresponding to Basic Data Types
logical-class | Classes Corresponding to Basic Data Types

## -- M --

matrix-class | Classes Corresponding to Basic Structures
MethodDefinition-class | Classes to Represent Method Definitions
MethodDefinitionWithTrace-class | Classes Used Internally to Control Tracing
Methods | General Information on Methods
MethodsList-class | Class MethodsList, Representation of Methods for a Generic Function
MethodsListSelect | Get the Definition of a Method
MethodWithNext-class | Class MethodWithNext, ~~class for ... ~~
MethodWithNextWithTrace-class | Classes Used Internally to Control Tracing
missing-class | Classes Corresponding to Basic Data Types

## -- N --

name-class | Classes to Represent Unevaluated Language Objects
new | Generate an Object from a Class
NULL-class | Classes Corresponding to Basic Data Types
numeric-class | Classes Corresponding to Basic Data Types

## -- P --

promptClass | Generate a Shell for Documentation of a Formal Class
promptMethods | Generate a Shell for Documentation of Formal Methods

## -- R --

removeClass | Create a Class Definition
removeGeneric | Tools for Managing Generic Functions
removeMethod | Create and Save a Method
removeMethods | Tools for Managing Generic Functions
repeat-class | Classes to Represent Unevaluated Language Objects
representation | Describe A Class Representation
resetClass | Create a Class Definition

## -- S --

selectMethod | Get the Definition of a Method
setAs | Force an Object to Belong to a Class
setClass | Create a Class Definition
setGeneric | Define a New Generic Function
setGroupGeneric | Define a New Generic Function
setIs | Is an Object from a Class
setMethod | Create and Save a Method
setReplaceMethod | Tools for Managing Generic Functions
setSClass | Low-level Class definition
setValidity | Test the Validity of an Object
show | Show an Object
showMethods | Show all the methods for the specified function(s)
signature | Tools for Managing Generic Functions
signature-class | Class "signature" For Method Definitions
single-class | Classes Corresponding to Basic Data Types
slot | The Slots in an Object from a Formal Class
slotNames | The Slots in an Object from a Formal Class
standardGeneric | Tools for Managing Generic Functions
structure-class | Classes Corresponding to Basic Structures

## -- T --

traceable-class | Classes Used Internally to Control Tracing
ts-class | Classes Corresponding to Basic Structures

## -- V --

validObject | Test the Validity of an Object
vector-class | Classes Corresponding to Basic Data Types
VIRTUAL-class | Classes Corresponding to Basic Data Types

## -- W --

while-class | Classes to Represent Unevaluated Language Objects

## -- misc --

__ClassMetaData | Class Definitions
{-class | Classes to Represent Unevaluated Language Objects