LP, the Larch Prover -- The push-settings and pop-settings commands


The push-settings and pop-settings commands save and restore the values of the settings that control LP's operation.

Syntax

<push-settings-command> ::= push-settings
<pop-settings-command>  ::= pop-settings

Examples

push-settings
pop-settings

Usage

The push-settings command saves the current values of all
local settings by pushing them on a stack. The pop-settings command restores the values of these settings by popping them off the stack.

The write command places the push-settings and pop-settings commands in .lp files so that named axioms can be loaded from these files without affecting the current name-prefix, activity, and immunity settings.