public List <string> GeVariableNames()
{
Graph_State graph_state = (Graph_State)graph;
return(graph_state.GetVariablesName(GraphVarType.Integer, localType));
}
public override List <string> GetVariableNames()
{
Graph_State graphState = (Graph_State)graph;
return(graphState.GetVariablesName(GetGraphVarType(), LocalType));
}