Searched refs:parseAtomicFormula (Results 1 – 1 of 1) sorted by relevance
138 return parseAtomicFormula(bitInputStream); in parseFormula()164 private AtomicFormula parseAtomicFormula(BitInputStream bitInputStream) throws IOException { in parseAtomicFormula() method in RuleBinaryParser