Class Logic.defaultLogicPrinterClass


class defaultLogicPrinterClass : <a href="Logic.logicPrinter.html">logicPrinter</a>