polyscip::WeightSpaceFacet Class Reference

Detailed Description

Class representing a facet of the (partial) weight space polyhedron.

A facet is described by the inequality w_coeffs \cdot w >= wov_coeff * a

Definition at line 39 of file weight_space_facet.h.

Class representing a facet of the (partial) weight space polyhedron. More...

#include <weight_space_facet.h>

Data Structures
struct	Compare

Public Member Functions
	WeightSpaceFacet (OutcomeType outcome, ValueType wov_coeff)
void	print (std::ostream &os) const

Constructor & Destructor Documentation

WeightSpaceFacet()

polyscip::WeightSpaceFacet::WeightSpaceFacet ( OutcomeType  outcome, ValueType  wov_coeff  )

explicit

Default constructor

Parameters

outcome	Values for w_coeffs_
wov_coeff	Values for wov_coeff

Definition at line 40 of file weight_space_facet.cpp.

Referenced by polyscip::WeightSpaceFacet::Compare::operator()().

Member Function Documentation

print()

void polyscip::WeightSpaceFacet::print

(

std::ostream &

os

)

const

Print function

Parameters

os	Output stream to print to

Definition at line 50 of file weight_space_facet.cpp.

Referenced by polyscip::WeightSpaceFacet::Compare::operator()().