Skip to content
Find file Blame History Permalink
  • Alexandre Duret-Lutz's avatar
    * src/misc/minato.hh (minato_isop(bdd,bdd)): New constructor variant. · 3126e49b
    Alexandre Duret-Lutz authored 
    (minato_isop::local_vars::vars): New attribute.
(minato_isop::local_vars::local_vars): Add the vars arguments.
(minato_isop::todo, minato_isop::cube, minato_isop::ret): Rename as ...
(minato_isop::todo_, minato_isop::cube_, minato_isop::ret_): ... these.
* src/misc/minato.cc: Adjust to factorize only variables in vars.
    3126e49b
To find the state of this project's repository at the time of any of these versions, check out the tags.