#include <diophantine.h>

Public Attributes
bool	no_reformulation_needed
	One of the coefficients is equal to the GCD of all coefficients.

bool	has_solutions
	false if the equation is proven infeasible.

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

Detailed Description

The comments here describe basic feature of the fields. See more details in the description of the function below SolveDiophantine.

Definition at line 48 of file diophantine.h.

Member Data Documentation

◆ has_solutions

bool operations_research::sat::DiophantineSolution::has_solutions

false if the equation is proven infeasible.

Definition at line 53 of file diophantine.h.

◆ index_permutation

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

Order of indices of the next fields. This is a permutation of [0, num_vars_of_initial_equation). It starts by the chosen pivots.

Definition at line 58 of file diophantine.h.

◆ kernel_basis

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

Reduced basis of the kernel. All coefficients except the first one are guaranteed to be int64_t (see ReductionModuloBasis). Size is index_order.size() - 1.

Definition at line 70 of file diophantine.h.

◆ kernel_vars_lbs

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

Bounds of kernel multiples. Same size as kernel_basis.

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

One of the coefficients is equal to the GCD of all coefficients.

Definition at line 50 of file diophantine.h.

◆ special_solution

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

Special (reduced) solution of the constraint. Only coefficients of pivots are specified. Further coefficients are 0. All coefficients except the first one are guaranteed to be int64_t (see ReductionModuloBasis).

Definition at line 64 of file diophantine.h.

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

ortools/sat/diophantine.h

Public Attributes