• BoundsQueryType : CVC3::TheoryArithOld
• ConsistentResult : SAT::DPLLT
• DynamicFlagsEnum : CVC3::Expr
• EffortLevel : CVC3::TheoryCore
• NormalizationType : CVC3::TheoryArithNew
• ProcessKinds : CVC3::TheoryDatatypeLazy
• RationalType : CVC3::TheoryArithNew::EpsRational , CVC3::TheoryArithOld::DifferenceLogicGraph::EpsRational
• SATStatus : SatSolver
• StaticFlagsEnum : CVC3::Expr
• Val : SAT::Var