| 50 | return (a == 0) ? x.include(home,n) : x.exclude(home,n); |
| 51 | } |
| 52 | forceinline NGL* |
| 53 | ValCommitInc::ngl(Space& home, unsigned int a, SetView x, int n) const { |
| 54 | if (a == 0) |
| 55 | return new (home) IncNGL(home,x,n); |
| 56 | else |
| 57 | return nullptr; |
| 58 | } |
| 59 | forceinline void |
| 60 | ValCommitInc::print(const Space&, unsigned int a, SetView, int i, int n, |
| 61 | std::ostream& o) const { |