Detailed Description

Definition at line 49 of file 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

bool has_solutions

Definition at line 54 of file diophantine.h.

std::vector<int> index_permutation

Definition at line 59 of file diophantine.h.

std::vector<std::vector<absl::int128> > kernel_basis

Definition at line 71 of file diophantine.h.

std::vector<absl::int128> kernel_vars_lbs

Definition at line 75 of file diophantine.h.

std::vector<absl::int128> kernel_vars_ubs

Definition at line 76 of file diophantine.h.

bool no_reformulation_needed

Definition at line 51 of file diophantine.h.

std::vector<absl::int128> special_solution

Definition at line 65 of file diophantine.h.

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