* constructor */
| 54 | * constructor |
| 55 | */ |
| 56 | FactUnion::FactUnion(const Variable* v) : |
| 57 | Fact(eUnionWrite), |
| 58 | var(v), |
| 59 | last_written_fid(TOP) |
| 60 | { |
| 61 | // nothing else to do |
| 62 | } |
| 63 | |
| 64 | FactUnion::FactUnion(const Variable* v, int fid) : |
| 65 | Fact(eUnionWrite), |
nothing calls this directly
no outgoing calls
no test coverage detected