global_diamond, global_box

aclai-lab · Jul 21, 2023 · 2774094 · 2774094
1 parent 647a7a4
commit 2774094
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 2 deletions.
diff --git a/src/SoleLogics.jl b/src/SoleLogics.jl
@@ -69,6 +69,8 @@ export AbstractWorldSet, WorldSet
 
 export Interval, Interval2D, OneWorld
 
+export global_diamond, global_box
+
 include("modal-logic.jl")
 
 export LeftmostLinearForm, LeftmostConjunctiveForm, LeftmostDisjunctiveForm, Literal

diff --git a/src/modal-logic.jl b/src/modal-logic.jl
@@ -973,10 +973,12 @@ See also
 dual(op::DiamondRelationalOperator) = BoxRelationalOperator{relationtype(op)}()
 dual(op::BoxRelationalOperator)     = DiamondRelationalOperator{relationtype(op)}()
 
+global_diamond = DiamondRelationalOperator(globalrel)
+global_box = BoxRelationalOperator(globalrel)
 
 const BASE_MULTIMODAL_OPERATORS = [BASE_PROPOSITIONAL_OPERATORS...,
-    DiamondRelationalOperator(globalrel),
-    BoxRelationalOperator(globalrel),
+    global_diamond,
+    global_box,
     DiamondRelationalOperator(identityrel),
     BoxRelationalOperator(identityrel),
 ]