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

- x -

• x : Gluco2::Lit, Gluco::Lit, Minisat::Lit, qps_problem, Rect, reverseCOG
• xCoord : Gia_Plc_t_
• xflags : gz_header_s
• Xor() : Transduction::ManUtil< Man, lit, LitMax >
• xors : CaDiCaL::Stats
• xorted : kissat