True Semantic Policy Difference Tool GTK_WINDOW_TOPLEVEL GTK_WIN_POS_NONE False 800 600 True False True False False GDK_WINDOW_TYPE_HINT_NORMAL GDK_GRAVITY_NORTH_WEST True False True False 0 True GTK_PACK_DIRECTION_LTR GTK_PACK_DIRECTION_LTR True _File True True _Open Policies True True gtk-open 1 0.5 0.5 0 0 True True gtk-quit True True _Edit True True False gtk-copy True True True False Select _All True True _Tools True True False _Find Text True True gtk-find 1 0.5 0.5 0 0 True False _Run Diff True True gtk-execute 1 0.5 0.5 0 0 True False Remap _Types True True gtk-preferences 1 0.5 0.5 0 0 True True False Sort Rules True True Default Sort True True True Source Type True True Ascending True False Default Sort True Descending True False Default Sort True Target Type True True Ascending True False Default Sort True Descending True False Default Sort True Object Class True True Ascending True False Default Sort True Descending True False Default Sort True Conditional True True Ascending True False Default Sort True Descending True False Default Sort True _Help True True gtk-help True True True _About sediffx True True gtk-about 1 0.5 0.5 0 0 0 False False True GTK_ORIENTATION_HORIZONTAL GTK_TOOLBAR_BOTH True True True Open Policies True gtk-open True True True False True True False Run Diff True gtk-execute True True False False True True False Remap Types True gtk-preferences True True False False True 0 False True True True True True GTK_POS_TOP False False True True 170 True True 300 True True GTK_POLICY_AUTOMATIC GTK_POLICY_AUTOMATIC GTK_SHADOW_IN GTK_CORNER_TOP_LEFT True True False False False False False False False True False True True GTK_POLICY_AUTOMATIC GTK_POLICY_AUTOMATIC GTK_SHADOW_NONE GTK_CORNER_TOP_LEFT True GTK_SHADOW_IN True False 0 True Difference Key False False GTK_JUSTIFY_CENTER False False 0.5 0.5 0 0 PANGO_ELLIPSIZE_NONE -1 False 0 0 False False True True GTK_POLICY_AUTOMATIC GTK_POLICY_AUTOMATIC GTK_SHADOW_NONE GTK_CORNER_TOP_LEFT True True False False False GTK_JUSTIFY_LEFT GTK_WRAP_NONE False 0 0 0 0 0 0 0 True True True True True False True True 491 True True GTK_POLICY_AUTOMATIC GTK_POLICY_AUTOMATIC GTK_SHADOW_NONE GTK_CORNER_TOP_LEFT True True GDK_POINTER_MOTION_MASK | GDK_ENTER_NOTIFY_MASK | GDK_LEAVE_NOTIFY_MASK GDK_EXTENSION_EVENTS_ALL False False True GTK_JUSTIFY_LEFT GTK_WRAP_NONE True 0 0 0 0 0 0 True True True True False True True True True Differences False False GTK_JUSTIFY_LEFT False False 0.5 0.5 0 0 PANGO_ELLIPSIZE_NONE -1 False 0 tab True True True True GTK_POS_TOP False False True True GTK_POLICY_AUTOMATIC GTK_POLICY_AUTOMATIC GTK_SHADOW_NONE GTK_CORNER_TOP_LEFT True True True False False True GTK_JUSTIFY_LEFT GTK_WRAP_NONE False 0 0 0 0 0 0 False True True True True Policy Statistics False False GTK_JUSTIFY_LEFT False False 0.5 0.5 0 0 PANGO_ELLIPSIZE_NONE -1 False 0 tab True True GTK_POLICY_AUTOMATIC GTK_POLICY_AUTOMATIC GTK_SHADOW_NONE GTK_CORNER_TOP_LEFT True True False False True GTK_JUSTIFY_LEFT GTK_WRAP_NONE True 0 0 0 0 0 0 False True True True Source False False GTK_JUSTIFY_LEFT False False 0.5 0.5 0 0 PANGO_ELLIPSIZE_NONE -1 False 0 tab False True True Original Policy False False GTK_JUSTIFY_LEFT False False 0.5 0.5 0 0 PANGO_ELLIPSIZE_NONE -1 False 0 tab True True True True GTK_POS_TOP False False True True GTK_POLICY_AUTOMATIC GTK_POLICY_AUTOMATIC GTK_SHADOW_NONE GTK_CORNER_TOP_LEFT True True False False True GTK_JUSTIFY_LEFT GTK_WRAP_NONE False 0 0 0 0 0 0 False True True True True Policy Statistics False False GTK_JUSTIFY_LEFT False False 0.5 0.5 0 0 PANGO_ELLIPSIZE_NONE -1 False 0 tab True True GTK_POLICY_AUTOMATIC GTK_POLICY_AUTOMATIC GTK_SHADOW_NONE GTK_CORNER_TOP_LEFT True True False False True GTK_JUSTIFY_LEFT GTK_WRAP_NONE True 0 0 0 0 0 0 False True True True Source False False GTK_JUSTIFY_LEFT False False 0.5 0.5 0 0 PANGO_ELLIPSIZE_NONE -1 False 0 tab False True True Modified Policy False False GTK_JUSTIFY_LEFT False False 0.5 0.5 0 0 PANGO_ELLIPSIZE_NONE -1 False 0 tab 0 True True True False 0 82 True False False GTK_JUSTIFY_LEFT False False 0.5 0.5 0 0 PANGO_ELLIPSIZE_NONE -1 False 0 4 False True GTK_PACK_END True False False GTK_JUSTIFY_LEFT False False 0.5 0.5 0 0 PANGO_ELLIPSIZE_NONE -1 False 0 4 False False 0 False False Sediff Find GTK_WINDOW_TOPLEVEL GTK_WIN_POS_CENTER_ON_PARENT False True True True False False GDK_WINDOW_TYPE_HINT_DIALOG GDK_GRAVITY_NORTH_WEST True False True True False 0 True GTK_BUTTONBOX_END True True True gtk-close True GTK_RELIEF_NORMAL True -7 True True True gtk-find True GTK_RELIEF_NORMAL True -5 0 False False GTK_PACK_END True False 4 True True True True 0 True * False 0 True True True False 0 True True Forward True GTK_RELIEF_NORMAL True False False True 0 False False True True Reverse True GTK_RELIEF_NORMAL True False False True find forward radio 0 False False 0 True True 0 False True Remap Types GTK_WINDOW_TOPLEVEL GTK_WIN_POS_CENTER_ON_PARENT True 500 450 True True True False False GDK_WINDOW_TYPE_HINT_DIALOG GDK_GRAVITY_NORTH_WEST True False True True False 0 True GTK_BUTTONBOX_END True True True gtk-close True GTK_RELIEF_NORMAL True -7 0 False True GTK_PACK_END True False 0 4 True 0 0.5 GTK_SHADOW_IN True 0.5 0.5 1 1 0 0 0 0 True False 0 True False 0 4 True True GTK_POLICY_AUTOMATIC GTK_POLICY_ALWAYS GTK_SHADOW_IN GTK_CORNER_TOP_LEFT True True True True False False False False False 0 True True 4 True GTK_BUTTONBOX_END 0 True False True True gtk-remove True GTK_RELIEF_NORMAL True 5 False True 0 True True True True Show inferred mappings True GTK_RELIEF_NORMAL True False False True 0 False False True Remap Types False True GTK_JUSTIFY_LEFT False False 0.5 0.5 0 0 PANGO_ELLIPSIZE_NONE -1 False 0 label_item 0 True True 4 True 0 0.5 GTK_SHADOW_IN True 0.5 0.5 1 1 0 0 0 0 True False 0 True False 0 4 True False 0 True Original Policy False False GTK_JUSTIFY_LEFT False False 0 0.5 0 0 PANGO_ELLIPSIZE_NONE -1 False 0 3 False False True False True True 5 False False 0 True True 4 True False 0 True Modified Policy False False GTK_JUSTIFY_LEFT False False 0 0.5 0 0 PANGO_ELLIPSIZE_NONE -1 False 0 3 False False True False True True 5 False False 0 True True 4 True GTK_BUTTONBOX_SPREAD 0 True False True True gtk-add True GTK_RELIEF_NORMAL True 5 False True 0 True True True True Show only unmapped types True GTK_RELIEF_NORMAL True True False True 0 False False True Add New Remap False True GTK_JUSTIFY_LEFT False False 0.5 0.5 0 0 PANGO_ELLIPSIZE_NONE -1 False 0 label_item 0 False True 0 True True Open Policies GTK_WINDOW_TOPLEVEL GTK_WIN_POS_CENTER_ON_PARENT True 690 360 True True True False False GDK_WINDOW_TYPE_HINT_DIALOG GDK_GRAVITY_NORTH_WEST True False True True False 0 True GTK_BUTTONBOX_END True True True gtk-cancel True GTK_RELIEF_NORMAL True -6 True False True True gtk-ok True GTK_RELIEF_NORMAL True -5 True False True True GTK_RELIEF_NORMAL True 0 True 0.5 0.5 0 0 0 0 0 0 True False 2 True gtk-execute 4 0.5 0.5 0 0 0 False False True Run Diff True False GTK_JUSTIFY_LEFT False False 0.5 0.5 0 0 PANGO_ELLIPSIZE_NONE -1 False 0 0 False False 0 False True GTK_PACK_END True False 4 4 True False 10 True False 0 True <b>Original Policy Type:</b> False True GTK_JUSTIFY_LEFT False False 0.5 0.5 0 0 PANGO_ELLIPSIZE_END -1 False 0 0 False False True 0.5 0.5 1 1 0 0 10 0 True False 0 True True Monolithic policy True GTK_RELIEF_NORMAL True False False True 0 False False True True Modular policy True GTK_RELIEF_NORMAL True False False True monolithic radio 0 False False 0 True True 0 False True True False 0 True <b>Original Policy Filename:</b> False True GTK_JUSTIFY_LEFT False False 0.5 0.5 0 0 PANGO_ELLIPSIZE_END -1 False 0 0 False False True False 4 True True True True 0 True * False 0 True True True True GTK_RELIEF_NORMAL True True 0.5 0.5 0 0 0 0 0 0 True False 2 True gtk-open 4 0.5 0.5 0 0 0 False False True Browse True False GTK_JUSTIFY_LEFT False False 0.5 0.5 0 0 PANGO_ELLIPSIZE_NONE -1 False 0 0 False False 0 False False 0 True True 0 False True True False False 4 True True GTK_POLICY_AUTOMATIC GTK_POLICY_AUTOMATIC GTK_SHADOW_IN GTK_CORNER_TOP_LEFT True True True False False False False False False 0 True True True GTK_BUTTONBOX_START 8 True True True gtk-add True GTK_RELIEF_NORMAL True True False True True gtk-remove True GTK_RELIEF_NORMAL True True True True GTK_RELIEF_NORMAL True True 0.5 0.5 0 0 0 0 0 0 True False 2 True gtk-open 4 0.5 0.5 0 0 0 False False True _Import True False GTK_JUSTIFY_LEFT False False 0.5 0.5 0 0 PANGO_ELLIPSIZE_NONE -1 False 0 0 False False True True True GTK_RELIEF_NORMAL True True 0.5 0.5 0 0 0 0 0 0 True False 2 True gtk-save 4 0.5 0.5 0 0 0 False False True E_xport True False GTK_JUSTIFY_LEFT False False 0.5 0.5 0 0 PANGO_ELLIPSIZE_NONE -1 False 0 0 False False 0 False True 0 True True 0 True True True 0 False False 4 True False 10 True False 0 True <b>Modified Policy Type:</b> False True GTK_JUSTIFY_LEFT False False 0.5 0.5 0 0 PANGO_ELLIPSIZE_END -1 False 0 0 False False True 0.5 0.5 1 1 0 0 10 0 True False 0 True True Monolithic policy True GTK_RELIEF_NORMAL True False False True 0 False False True True Modular policy True GTK_RELIEF_NORMAL True False False True monolithic radio 1 0 False False 0 True True 0 False True True False 0 True <b>Modified Policy Filename:</b> False True GTK_JUSTIFY_LEFT False False 0.5 0.5 0 0 PANGO_ELLIPSIZE_END -1 False 0 0 False False True False 4 True True True True 0 True * False 0 True True True True GTK_RELIEF_NORMAL True True 0.5 0.5 0 0 0 0 0 0 True False 2 True gtk-open 4 0.5 0.5 0 0 0 False False True Browse True False GTK_JUSTIFY_LEFT False False 0.5 0.5 0 0 PANGO_ELLIPSIZE_NONE -1 False 0 0 False False 0 False False 0 True True 0 False True True False False 4 True True GTK_POLICY_AUTOMATIC GTK_POLICY_AUTOMATIC GTK_SHADOW_IN GTK_CORNER_TOP_LEFT True True True False False False False False False 0 True True True GTK_BUTTONBOX_START 8 True True True gtk-add True GTK_RELIEF_NORMAL True True False True True gtk-remove True GTK_RELIEF_NORMAL True True True True GTK_RELIEF_NORMAL True True 0.5 0.5 0 0 0 0 0 0 True False 2 True gtk-open 4 0.5 0.5 0 0 0 False False True _Import True False GTK_JUSTIFY_LEFT False False 0.5 0.5 0 0 PANGO_ELLIPSIZE_NONE -1 False 0 0 False False True True True GTK_RELIEF_NORMAL True True 0.5 0.5 0 0 0 0 0 0 True False 2 True gtk-save 4 0.5 0.5 0 0 0 False False True E_xport True False GTK_JUSTIFY_LEFT False False 0.5 0.5 0 0 PANGO_ELLIPSIZE_NONE -1 False 0 0 False False 0 False True 0 True True 0 True True 0 True True True Run Diff GTK_WINDOW_TOPLEVEL GTK_WIN_POS_NONE True False False True False False GDK_WINDOW_TYPE_HINT_DIALOG GDK_GRAVITY_NORTH_WEST True False True True False 0 True GTK_BUTTONBOX_END True True gtk-cancel True GTK_RELIEF_NORMAL True -6 True True gtk-ok True GTK_RELIEF_NORMAL True -5 0 False True GTK_PACK_END 4 True False 4 True <b>Select Components to Diff</b> False True GTK_JUSTIFY_LEFT False False 0.5 0.5 0 0 PANGO_ELLIPSIZE_NONE -1 False 0 0 False True True False 0 True Basic Components: False False GTK_JUSTIFY_LEFT False False 0 0.5 0 0 PANGO_ELLIPSIZE_NONE 20 False 0 0 False True True 0.5 0.5 1 1 0 0 8 0 True False 0 True Commons True GTK_RELIEF_NORMAL True False False True 0 False False True Classes True GTK_RELIEF_NORMAL True False False True 0 False False True Users True GTK_RELIEF_NORMAL True False False True 0 False False True Booleans True GTK_RELIEF_NORMAL True False False True 0 False False 0 True True 0 True True True False 0 True Type Enforcement: False False GTK_JUSTIFY_LEFT False False 0 0.5 0 0 PANGO_ELLIPSIZE_NONE -1 False 0 0 True True True 0.5 0.5 1 1 0 0 8 0 True False 0 True Attributes True GTK_RELIEF_NORMAL True False False True 0 False False True Types True GTK_RELIEF_NORMAL True False False True 0 False False True Access vector rules: allow True GTK_RELIEF_NORMAL True False False True 0 False False True Access vector rules: auditallow True GTK_RELIEF_NORMAL True False False True 0 False False True Access vector rules: dontaudit True GTK_RELIEF_NORMAL True False False True 0 False False True Access vector rules: neverallow True GTK_RELIEF_NORMAL True False False True This option may dramatically increase run time. 0 False False True Type rules: type__change True GTK_RELIEF_NORMAL True False False True 0 False False True Type rules: type__member True GTK_RELIEF_NORMAL True False False True 0 False False True Type rules: type__transition True GTK_RELIEF_NORMAL True False False True 0 False False 0 True True 0 True True True False 0 True RBAC: False False GTK_JUSTIFY_LEFT False False 0 0.5 0 0 PANGO_ELLIPSIZE_NONE -1 False 0 0 True True True 0.5 0.5 1 1 0 0 8 0 True False 0 True Roles True GTK_RELIEF_NORMAL True False False True 0 False False True Role allows True GTK_RELIEF_NORMAL True False False True 0 False False True Role transitions True GTK_RELIEF_NORMAL True False False True 0 False False 0 True True 0 True True True False 0 True MLS: False False GTK_JUSTIFY_LEFT False False 0 0.5 0 0 PANGO_ELLIPSIZE_NONE -1 False 0 0 False True True 0.5 0.5 1 1 0 0 8 0 True False 0 True Levels True GTK_RELIEF_NORMAL True False False True 0 False False True Categories True GTK_RELIEF_NORMAL True False False True 0 False False True Range transitions True GTK_RELIEF_NORMAL True False False True 0 False False 0 True True 0 True True 4 True GTK_BUTTONBOX_SPREAD 0 True True Select All True GTK_RELIEF_NORMAL True True True Select None True GTK_RELIEF_NORMAL True 0 True True 0 True True