Here is a list of all struct and union fields with links to the structures/unions they belong to:

- x -

• x : Minisat::Lit
• xml_filename : smtrat::statistics::StatisticsSettings
• XMLWriter() : benchmax::XMLWriter
• xVariable : smtrat::VariableCapsule