| 40 | return new (home) IncNGL(home,*this); |
| 41 | } |
| 42 | NGL::Status |
| 43 | IncNGL::status(const Space&) const { |
| 44 | // Is n in the glb(x)? |
| 45 | if (x.contains(n)) |
| 46 | return NGL::SUBSUMED; |
| 47 | else |
| 48 | // Is n not in the lub(x)? |
| 49 | return x.notContains(n) ? NGL::FAILED : NGL::NONE; |
| 50 | } |
| 51 | ExecStatus |
| 52 | IncNGL::prune(Space& home) { |
| 53 | return me_failed(x.exclude(home,n)) ? ES_FAILED : ES_OK; |
nothing calls this directly
no test coverage detected