is_valid_index_edge

rapx::analysis::opt::checking::encoding_checking::array_encoding

Function is_valid_index_edge 

Source 
fn is_valid_index_edge(graph: &Graph, edge: &GraphEdge) -> bool