- /**
- * Verify and preprocess one rule string
- * @param ruleOrAxiom the rule
- * @return the preprocessed rule
- */
- string verifyAndPreprocessRule(string ruleOrAxiom);
-
- /**
- * Unpreprocess one rule string
- * @param ruleOrAxiom the rule
- * @return the unpreprocessed rule
- */
- string unpreprocessRule(string ruleOrAxiom);