Function

Summary

Destroys an inferencing state.

Signature

destroy-inferencing-state name-or-state

Arguments

name-or-state

Any object.

Description

Destroys an inferencing state named by name-or-state .

If name-or-state is and inferencing state, then it is destroyed. Otherwise, any inferencing state with that name (as compared using eql ) is destroyed.

It is an error to destroy the current inferencing state.

Examples

See also

find-inferencing-state
*inferencing-state*
inferencing-state-name
list-all-inferencing-states
make-inferencing-state