operations_research::sat::DiophantineSolution Struct Reference

Detailed Description

Definition at line 48 of file diophantine.h.

#include <diophantine.h>

Public Attributes
bool	no_reformulation_needed
bool	has_solutions
std::vector< int >	index_permutation
std::vector< absl::int128 >	special_solution
std::vector< std::vector< absl::int128 > >	kernel_basis
std::vector< absl::int128 >	kernel_vars_lbs
std::vector< absl::int128 >	kernel_vars_ubs

Member Data Documentation

has_solutions

bool operations_research::sat::DiophantineSolution::has_solutions

Definition at line 53 of file diophantine.h.

index_permutation

std::vector<int> operations_research::sat::DiophantineSolution::index_permutation

Definition at line 58 of file diophantine.h.

kernel_basis

std::vector<std::vector<absl::int128> > operations_research::sat::DiophantineSolution::kernel_basis

Definition at line 70 of file diophantine.h.

kernel_vars_lbs

std::vector<absl::int128> operations_research::sat::DiophantineSolution::kernel_vars_lbs

Definition at line 74 of file diophantine.h.

kernel_vars_ubs

std::vector<absl::int128> operations_research::sat::DiophantineSolution::kernel_vars_ubs

Definition at line 75 of file diophantine.h.

no_reformulation_needed

bool operations_research::sat::DiophantineSolution::no_reformulation_needed

Definition at line 50 of file diophantine.h.

special_solution

std::vector<absl::int128> operations_research::sat::DiophantineSolution::special_solution

Definition at line 64 of file diophantine.h.

---

The documentation for this struct was generated from the following file:

• ortools/sat/diophantine.h