Skip to content
Snippets Groups Projects
Commit d222edff authored by Derval Guillaume's avatar Derval Guillaume
Browse files

Indices of variables should be RValues

parent 681aba87
No related branches found
No related tags found
No related merge requests found
......@@ -55,7 +55,7 @@ class IndexingParameterDefinition(Definition):
@dataclass
class VariableDefinition(NamedGBOMLObject):
name: str
indices: list[str]
indices: list[RValue]
scope: VarScope
type: VarType
bound_lower: Optional[Expression]
......
......@@ -211,7 +211,7 @@ class GBOMLParser:
def start(self, meta: Meta, time_horizon: Optional[int], global_defs: list[Definition], nodes_hyperedges: NodesAndHyperEdges):
return GBOMLGraph(time_horizon, global_defs, nodes_hyperedges.nodes, nodes_hyperedges.hyperedges, meta=meta)
def variable_definition(self, meta: Meta, scope: VarScope, type: Optional[VarType], names: list[(str, list[str])],
def variable_definition(self, meta: Meta, scope: VarScope, type: Optional[VarType], names: list[(str, list[RValue])],
imports_from: Optional[list[VarOrParam]],
bound_lower: Optional[Expression], bound_upper: Optional[Expression], tags: set[str]):
if imports_from is not None and len(imports_from) != len(names):
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment