PropositionConverter constructor

const PropositionConverter()

Implementation

const PropositionConverter();