MappingType
Specifies the type of the Mapping (=link in the development graph)
Values
cofree_def
cofree definition link
cofree_open
open cofree theorem link
cofree_proved
proved cofree theorem link
free_def
free definition link
free_open
open free theorem link
free_proved
proved free theorem link
global_def
global definition link
global_thm_open
open global theorem link
global_thm_proved
proved global theorem link
hiding_def
hiding defintion link
hiding_open
open hiding theorem link
hiding_proved
proved hiding theorem link
local_def
local definition link
local_thm_open
open local theorem link
local_thm_proved
proved local theorem link
minimize_def
minimization definition link
minimize_open
open minimization theorem link
minimize_proved
proved minimization theorem link
np_free_def
free definition link generated by Maude
np_free_open
open free theorem link generated by Maude
np_free_proved
proved free theorem link generated by Maude