From 54343e999d07f3da1ae13e8f41d27d9bdbee8718 Mon Sep 17 00:00:00 2001
From: pedromxavier <pedromxavier@poli.ufrj.br>
Date: Fri, 22 Sep 2023 04:20:20 -0400
Subject: [PATCH] Add fallback dispatch for `hasindex`, `hasvariable`

---
 src/interface/fallback.jl | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/interface/fallback.jl b/src/interface/fallback.jl
index ee321d2..93d4c5b 100644
--- a/src/interface/fallback.jl
+++ b/src/interface/fallback.jl
@@ -24,8 +24,10 @@ id(src)              = id(backend(src))
 description(src)     = description(backend(src))
 metadata(src)        = metadata(backend(src))
 index(src, v)        = index(backend(src), v)
+hasindex(src, i)     = hasindex(backend(src), i)
 indices(src)         = indices(backend(src))
 variable(src, i)     = variable(backend(src), i)
+hasvariable(src, v)  = hasvariable(backend(src), v)
 variables(src)       = variables(backend(src))
 
 # Model's Normal Forms