#include <logical_constraint_tests.h>

Inheritance diagram for operations_research::math_opt::IncrementalLogicalConstraintTest:

Detailed Description

A suite of unit tests for logical constraints.

To use these tests, in file <solver>_test.cc, write: INSTANTIATE_TEST_SUITE_P( <Solver>IncrementalLogicalConstraintTest, IncrementalLogicalConstraint, testing::Values(LogicalConstraintTestParameters( SolverType::k<Solver>, parameters, /*supports_integer_variables=*‍/false, /*supports_sos1=*‍/false, /*supports_sos2=*‍/false, /*supports_indicator=*‍/false, /*supports_incremental_add_and_deletes=*‍/false, /*supports_incremental_variable_deletions=*‍/false, /*supports_deleting_indicator_variables=*‍/false, /*supports_updating_binary_variables=*‍/false)));

Definition at line 107 of file logical_constraint_tests.h.

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

ortools/math_opt/solver_tests/logical_constraint_tests.h