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

- k -

• kBottom : diffn_util.cc
• keep_names : lp_utils.cc
• kFailureImpact : default_search.cc
• kInitFailureImpact : default_search.cc
• kint16max : types.h
• kint16min : types.h
• kint32max : types.h
• kint32min : types.h
• kint64max : types.h
• kint64min : types.h
• kint8max : types.h
• kint8min : types.h
• kLeft : diffn_util.cc
• kLinearSolverBinary : file_format_flags.h
• kLinearSolverText : file_format_flags.h
• kLogCacheSize : default_search.cc
• kLP : file_format_flags.h
• kMathOptText : file_format_flags.h
• kMPS : file_format_flags.h
• kNextStatePosition : table.cc
• kNone : resource.cc
• kNotAvailable : resource.cc
• kNotInitialized : resource.cc
• kPerfectImpact : default_search.cc
• kRight : diffn_util.cc
• kSmallSearchSpaceLimit : default_search.cc
• kStatePosition : table.cc
• kTop : diffn_util.cc
• kTransitionTupleSize : table.cc
• kuint16max : types.h
• kuint32max : types.h
• kuint64max : types.h
• kuint8max : types.h
• kUninitializedVarIndex : default_search.cc
• kUsage : sat_runner.cc
• kUsageStr : model_exporter_main.cc, solve.cc