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

Method post

gecode/minimodel/int-rel.hpp:69–73  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

67 }
68
69 forceinline void
70 LinIntRel::post(Home home, bool t,
71 const IntPropLevels& ipls) const {
72 e.post(home,t ? irt : neg(irt),ipls);
73 }
74
75 forceinline void
76 LinIntRel::post(Home home, const BoolVar& b, bool t,

Callers

nothing calls this directly

Calls 1

negFunction · 0.50

Tested by

no test coverage detected