ulkb.Theory.pop

classmethod Theory.pop()

Pops theory from theory stack.

Makes the theory immediately below the popped one the new top theory.

Returns:

The popped theory.