- n -

• name : LFSCPfVar
• next_restart_backtrack : CSolverParameters
• next_restart_time : CSolverParameters
• nnode_map : LFSCObj
• nodeCount : LFSCConvert
• nodeCountTh : LFSCConvert
• null_cdlist : CVC3::TheoryQuant
• nullRat : LFSCObj
• num_added_clauses : CDatabaseStats
• num_added_literals : CDatabaseStats
• num_backtracks : CSolverStats
• num_decisions : CSolverStats
• num_deleted_clauses : CDatabaseStats
• num_deleted_literals : CDatabaseStats
• num_free_variables : CSolverStats
• num_implications : CSolverStats