LexLSSolverOptions.h

Go to the documentation of this file.

/* Copyright 2022 CNRS-AIST JRL and CNRS-UM LIRMM */
 
#pragma once
 
#include <tvm/solver/internal/Option.h>
 
#include <lexls/lexlsi.h>
 
namespace tvm::solver
{
class LexLSSolverOptions
{
  TVM_ADD_DEFAULT_OPTION(max_number_of_factorizations, LexLS::Index);
  TVM_ADD_DEFAULT_OPTION(tol_linear_dependence, LexLS::RealScalar);
  TVM_ADD_DEFAULT_OPTION(tol_wrong_sign_lambda, LexLS::RealScalar);
  TVM_ADD_DEFAULT_OPTION(tol_correct_sign_lambda, LexLS::RealScalar);
  TVM_ADD_DEFAULT_OPTION(tol_feasibility, LexLS::RealScalar);
  TVM_ADD_DEFAULT_OPTION(regularization_type, LexLS::RegularizationType);
  TVM_ADD_DEFAULT_OPTION(max_number_of_CG_iterations, LexLS::Index);
  TVM_ADD_DEFAULT_OPTION(variable_regularization_factor, LexLS::RealScalar);
  TVM_ADD_NON_DEFAULT_OPTION(cycling_handling_enabled, true);
  TVM_ADD_DEFAULT_OPTION(cycling_max_counter, LexLS::Index);
  TVM_ADD_DEFAULT_OPTION(cycling_relax_step, LexLS::RealScalar);
  TVM_ADD_DEFAULT_OPTION(output_file_name, std::string);
  TVM_ADD_DEFAULT_OPTION(modify_x_guess_enabled, bool);
  TVM_ADD_DEFAULT_OPTION(modify_type_active_enabled, bool);
  TVM_ADD_DEFAULT_OPTION(modify_type_inactive_enabled, bool);
  TVM_ADD_DEFAULT_OPTION(set_min_init_ctr_violation, bool);
  TVM_ADD_DEFAULT_OPTION(use_phase1_v0, bool);
  TVM_ADD_DEFAULT_OPTION(log_working_set_enabled, bool);
  TVM_ADD_DEFAULT_OPTION(deactivate_first_wrong_sign, bool);
};
 
} // namespace tvm::solver