Add :number as an alias for :numeric.

JuliaPlanners · Dec 22, 2023 · d6459d3 · d6459d3
1 parent 5b34924
commit d6459d3
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 0 deletions.
diff --git a/src/abstractions/abstractions.jl b/src/abstractions/abstractions.jl
@@ -27,5 +27,6 @@ include("interval.jl")
 const DEFAULT_ABSTRACTIONS = Dict(
     :boolean => BooleanAbs,
     :integer => IntervalAbs{Int},
+    :number => IntervalAbs{Float64},
     :numeric => IntervalAbs{Float64}
 )
diff --git a/src/builtins.jl b/src/builtins.jl
@@ -34,6 +34,7 @@ Mapping from PDDL data types to Julia types and default values.
     error("Unknown datatype: $name")
 datatype_def(::Val{:boolean}) = (type=Bool, default=false)
 datatype_def(::Val{:integer}) = (type=Int, default=0)
+datatype_def(::Val{:number}) = (type=Float64, default=1.0)
 datatype_def(::Val{:numeric}) = (type=Float64, default=1.0)
 
 """