astra-uu-se / atlantis

CBLS solver
2 stars 1 forks source link

Feature/int view #14

Closed frejknutarlewander closed 3 years ago

frejknutarlewander commented 4 years ago

This branch should have been named id-merge or something similar.

the struct Id now has a member idType with type IdType. IdType that for an id, i, states what type i is.

A lot of variable names were updated as well as some methods

frejknutarlewander commented 4 years ago

I redid this branch (force-push :sweat_smile: ). This now passes all tests and should be fairly stable!