Here is a list of all variables with links to the classes they belong to:

- j -

• jftr : Gluco2::Solver, Gluco::Solver
• jhead : Gluco2::Solver
• jheap : Gluco2::Solver
• jlevel : Gluco2::Solver
• jnext : Gluco2::Solver
• jType : Cec_ParFra_t_
• jump : CaDiCaL::Averages
• junk : saucy
• JustModel : Gluco2::Solver