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