Clasp::OPBParser::Constraint Struct Reference

List of all members.

Public Attributes
weight_t	bound
bool	eq
WeightLitVec	lits

---

Detailed Description

Definition at line 154 of file parser.h.

---

Member Data Documentation

weight_t Clasp::OPBParser::Constraint::bound

Definition at line 156 of file parser.h.

bool Clasp::OPBParser::Constraint::eq

Definition at line 157 of file parser.h.

WeightLitVec Clasp::OPBParser::Constraint::lits

Definition at line 155 of file parser.h.

---

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

• parser.h