Searched refs:serializeAtomicFormula (Results 1 – 1 of 1) sorted by relevance
204 serializeAtomicFormula((AtomicFormula) formula, bitOutputStream); in serializeFormula()229 private void serializeAtomicFormula( in serializeAtomicFormula() method in RuleBinarySerializer