Lines Matching refs:LogicCalculator