Add compat methods to 0.20

Author: YingboMa

Project.toml

@@ -1,7 +1,7 @@
 name = "SymbolicUtils"
 uuid = "d1185830-fcd6-423d-90d6-eec64667417b"
 authors = ["Shashi Gowda"]
-version = "0.19.7"
+version = "0.19.8"
 
 [deps]
 AbstractTrees = "1520ce14-60c1-5f80-bbc7-55ef81b5835c"

src/SymbolicUtils.jl

@@ -8,6 +8,7 @@ export @syms, term, showraw, hasmetadata, getmetadata, setmetadata
 
 using TermInterface
 using TermInterface: node_count
+import TermInterface: issym
 using Metatheory
 using Metatheory.Rules
 using Metatheory.Rewriters

src/types.jl

@@ -140,7 +140,7 @@ struct Sym{T, M} <: Symbolic{T}
     metadata::M
 end
 
-TermInterface.issym(s::Sym) = true
+issym(s::Sym) = true
 Base.nameof(s::Sym) = s.name
 
 ConstructionBase.constructorof(s::Type{<:Sym{T}}) where {T} = (n,m) -> Sym{T}(n, metadata=m)
@@ -1165,3 +1165,10 @@ end
 
 TermInterface.istree(t::Type{<:Sym}) = false
 TermInterface.istree(t::Type{<:Symbolic}) = true
+
+# Compat
+isterm(s) = s isa Term
+ismul(s) = s isa Mul
+isadd(s) = s isa Add
+ispow(s) = s isa Pow
+isdiv(s) = s isa Div