[alias] expose vertex id as int
Showing
- src/plugins/alias/API.ml 2 additions, 0 deletionssrc/plugins/alias/API.ml
- src/plugins/alias/API.mli 3 additions, 1 deletionsrc/plugins/alias/API.mli
- src/plugins/alias/abstract_state.ml 2 additions, 0 deletionssrc/plugins/alias/abstract_state.ml
- src/plugins/alias/abstract_state.mli 2 additions, 0 deletionssrc/plugins/alias/abstract_state.mli
Loading
Please register or sign in to comment