@eagleoutice/flowr
Version:
Static Dataflow Analyzer and Program Slicer for the R Programming Language
14 lines • 529 B
JavaScript
;
Object.defineProperty(exports, "__esModule", { value: true });
exports.BottomSymbol = exports.Bottom = exports.TopSymbol = exports.Top = void 0;
/**
* The Top symbol to represent the Top element of complete lattices (e.g. of abstract domains).
*/
exports.Top = Symbol('top');
exports.TopSymbol = '⊤';
/**
* The Bottom symbol to represent the Bottom element of complete lattices (e.g. of abstract domains).
*/
exports.Bottom = Symbol('bottom');
exports.BottomSymbol = '⊥';
//# sourceMappingURL=lattice.js.map