Home
last modified time | relevance | path

Searched defs:WeightLitsRep (Results 1 – 3 of 3) sorted by relevance

/dports/math/clingo/clingo-5.5.1/clasp/clasp/
H A Dweight_constraint.h36 struct WeightLitsRep { struct
52 bool sat() const { return bound <= 0; } in sat()
53 bool unsat() const { return reach < bound; } in unsat()
54 bool open() const { return bound > 0 && bound <= reach;} in open()
55 bool hasWeights() const { return size && lits[0].second > 1; } in hasWeights()
56 WeightLiteral* lits; /*!< Literals sorted by decreasing weight. */
57 uint32 size; /*!< Number of literals in lits. */
58 weight_t bound; /*!< Rhs of linear constraint. */
59 weight_t reach; /*!< Sum of weights of lits. */
/dports/math/clingo/clingo-5.5.1/clasp/clasp-da10954/clasp/
H A Dweight_constraint.h36 struct WeightLitsRep { struct
52 bool sat() const { return bound <= 0; } in sat()
53 bool unsat() const { return reach < bound; } in unsat()
54 bool open() const { return bound > 0 && bound <= reach;} in open()
55 bool hasWeights() const { return size && lits[0].second > 1; } in hasWeights()
56 WeightLiteral* lits; /*!< Literals sorted by decreasing weight. */
57 uint32 size; /*!< Number of literals in lits. */
58 weight_t bound; /*!< Rhs of linear constraint. */
59 weight_t reach; /*!< Sum of weights of lits. */
/dports/math/clasp/clasp-3.3.5/clasp/
H A Dweight_constraint.h36 struct WeightLitsRep { struct
52 bool sat() const { return bound <= 0; } in sat()
53 bool unsat() const { return reach < bound; } in unsat()
54 bool open() const { return bound > 0 && bound <= reach;} in open()
55 bool hasWeights() const { return size && lits[0].second > 1; } in hasWeights()
56 WeightLiteral* lits; /*!< Literals sorted by decreasing weight. */
57 uint32 size; /*!< Number of literals in lits. */
58 weight_t bound; /*!< Rhs of linear constraint. */
59 weight_t reach; /*!< Sum of weights of lits. */