MCPcopy Create free account
hub / github.com/Gecode/gecode / BoolExpr

Class BoolExpr

gecode/minimodel.hh:332–332  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

330 };
331
332 class BoolExpr;
333
334 /// Linear relations over integer variables
335 class LinIntRel {

Callers 15

domFunction · 0.85
operator <=Function · 0.85
operator >=Function · 0.85
operator ==Function · 0.85
operator !=Function · 0.85
operator <Function · 0.85
operator >Function · 0.85
operator &&Function · 0.85
operator ||Function · 0.85
operator ^Function · 0.85
operator !Function · 0.85
operator !=Function · 0.85

Calls 4

postFunction · 0.50
exprFunction · 0.50
relFunction · 0.50
domFunction · 0.50

Tested by

no test coverage detected