Scippy

SCIP

Solving Constraint Integer Programs

prize_collecting_implications Struct Reference

Detailed Description

implications between potential terminals

Definition at line 54 of file sepaspecial.c.

Data Fields

int * pcimplstart
 
int * pcimplverts
 
int pcimplnppterms
 

Field Documentation

◆ pcimplstart

int* prize_collecting_implications::pcimplstart

start for each proper potential terminal

Definition at line 56 of file sepaspecial.c.

Referenced by sepaspecial_pcimplicationsGetStarts(), sepaspecial_pcimplicationsInit(), and sepaspecial_pcimplicationsSeparate().

◆ pcimplverts

int* prize_collecting_implications::pcimplverts

◆ pcimplnppterms

int prize_collecting_implications::pcimplnppterms

number of proper potential terminals used

Definition at line 58 of file sepaspecial.c.

Referenced by sepaspecial_pcimplicationsGetNstarts(), sepaspecial_pcimplicationsInit(), and sepaspecial_pcimplicationsSeparate().