## Detailed Description

implications for binary variable x to non-binary variables y in the form x <= 0 ==> y <= b or y >= b (stored in arrays[0]) x >= 1 ==> y <= b or y >= b (stored in arrays[1]) array is sorted by variable index of y

Definition at line 62 of file struct_implics.h.

`#include <struct_implics.h>`

## Data Fields | |

SCIP_VAR ** | vars [2] |

SCIP_BOUNDTYPE * | types [2] |

SCIP_Real * | bounds [2] |

int * | ids [2] |

int | size [2] |

int | nimpls [2] |

## Field Documentation

## ◆ vars

SCIP_VAR** SCIP_Implics::vars[2] |

variables y in implications y <= b or y >= b

Definition at line 64 of file struct_implics.h.

Referenced by checkImplics(), implicsSearchVar(), and SCIPimplicsGetVars().

## ◆ types

SCIP_BOUNDTYPE* SCIP_Implics::types[2] |

types of implications y <= b (SCIP_BOUNDTYPE_UPPER) or y >= b (SCIP_BOUNDTYPE_LOWER)

Definition at line 65 of file struct_implics.h.

Referenced by checkImplics(), implicsSearchVar(), and SCIPimplicsGetTypes().

## ◆ bounds

SCIP_Real* SCIP_Implics::bounds[2] |

bounds b in implications y <= b or y >= b

Definition at line 67 of file struct_implics.h.

Referenced by SCIPimplicsGetBounds().

## ◆ ids

int* SCIP_Implics::ids[2] |

unique ids of implications; < 0 iff implication is a shortcut, i.e., it was added as part of the transitive closure of another implication

Definition at line 68 of file struct_implics.h.

Referenced by SCIPimplicsGetIds().

## ◆ size

int SCIP_Implics::size[2] |

size of implvars, implbounds and implvals arrays for x <= 0 and x >= 1

Definition at line 70 of file struct_implics.h.

## ◆ nimpls

int SCIP_Implics::nimpls[2] |

number of all implications for x <= 0 and x >= 1

Definition at line 71 of file struct_implics.h.

Referenced by checkImplics(), implicsSearchVar(), and SCIPimplicsGetNImpls().