BooleanSafeKeeper::BooleanSafeKeeper

Default constructor

Synopsis

Declared in <src/midend/programAnalysis/staticInterproceduralSlicing/CreateSlice.h>

BooleanSafeKeeper();

Created with MrDocs