Violations checker for the separation oracle in the steiner network problem. More...

Public Types
using	Candidate = std::pair< AuxVertex, AuxVertex >

Public Member Functions
template<typename Problem >
bool	check_if_solution_exists (Problem &problem)

template<typename Problem , typename LP >
auto	get_violation_candidates (const Problem &problem, const LP &lp) -> decltype(problem.get_restrictions_vec())

template<typename Problem >
Violation	check_violation (Candidate candidate, const Problem &problem)

template<typename Problem , typename LP >
void	add_violated_constraint (Candidate violation, const Problem &problem, LP &lp)

Detailed Description

Violations checker for the separation oracle in the steiner network problem.

Definition at line 31 of file steiner_network_oracle.hpp.

Member Function Documentation

template<typename Problem , typename LP >

void paal::ir::steiner_network_violation_checker::add_violated_constraint	(	Candidate	violation,
		const Problem &	problem,
		LP &	lp
	)

inline

Adds a violated constraint to the LP.

Definition at line 92 of file steiner_network_oracle.hpp.

template<typename Problem >

bool paal::ir::steiner_network_violation_checker::check_if_solution_exists ( Problem & problem )

inline

Checks if any solution to the problem exists.

Definition at line 42 of file steiner_network_oracle.hpp.

template<typename Problem >

Violation paal::ir::steiner_network_violation_checker::check_violation	(	Candidate	candidate,
		const Problem &	problem
	)

inline

Checks if the given constraint candidate is violated an if it is, returns the violation value and violated constraint ID.

Definition at line 78 of file steiner_network_oracle.hpp.

template<typename Problem , typename LP >

auto paal::ir::steiner_network_violation_checker::get_violation_candidates	(	const Problem &	problem,
		const LP &	lp
	)		-> decltype(problem.get_restrictions_vec())

inline

Returns an iterator range of violated constraint candidates.

Definition at line 66 of file steiner_network_oracle.hpp.

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