pub trait IsDeclared<T> {
// Required method
fn is_declared(&self, obj: &T) -> bool;
}Expand description
Trait for checking if an object of type T has already been declared
Objects implementing this trait can be used during parsing to check if a location, variable or parameter is known. This is useful to validate parsed expressions, e.g., LTL expressions or update expressions, to ensure that expressions only reference known locations, variables and parameters.
Required Methods§
Sourcefn is_declared(&self, obj: &T) -> bool
fn is_declared(&self, obj: &T) -> bool
Check if object of type T is declared