Scippy

SCIP

Solving Constraint Integer Programs

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
outcomeValues for w_coeffs_
wov_coeffValues 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
osOutput stream to print to

Definition at line 50 of file weight_space_facet.cpp.

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