cleanup: Split types, files, add docs etc. - #115

Merged

varungandhi-src merged 9 commits into

scip-ruby/masterfrom

Sep 20, 2022

Commits on Sep 20, 2022

cleanup: Move debug logging code to separate file.
varungandhi-src
committed
d039b2d
cleanup: Create separate type UntypedGenericSymbolRef.
varungandhi-src
committed
2bc7af8
cleanup: Remove useless ENFORCE calls.
varungandhi-src
committed
94b3fb0
cleanup: Remove needless macro with lambda.
varungandhi-src
committed
bcd7330
cleanup: Remove unused type.
varungandhi-src
committed
7a0cffa
cleanup: Use InlinedVector for doc strings.
varungandhi-src
committed
b39463b
cleanup: Explicitly initialize fields in SCIPState.
varungandhi-src
committed
6408493
cleanup: Rename NamedSymbolRef to GenericSymbolRef.
varungandhi-src
committed
26e97fe
cleanup: Move GenericSymbolRef to SCIPSymbolRef.{h,cc}
varungandhi-src
committed
7f95267