<commit_before>package rapanui.core;

/**
 * Finds justifications for formulas matching given @see FormulaTemplate instances.
 */
public interface JustificationFinder {
	/**
	 * Asynchronously finds justifications that match the template and emits them via the returned emitter.
	 *
	 * @param environment The environment which can be used for justifications. Guaranteed to be non-null.
	 * @param formulaTemplate Describes the kind of formulas that should be justified. Guaranteed to be non-null.
	 * @param recursionDepth The maximum number of recursion levels. Guaranteed to be non-null.
	 *
	 * @return An emitter that emits a new justification whenever it finds one. Must not be null.
	 */
	Emitter<Justification> justifyAsync(ProofEnvironment environment, FormulaTemplate formulaTemplate, int recursionDepth);
}<commit_msg>Modify JustificationFinder: use Formula instead of FormulaTemplate<commit_after>package rapanui.core;

import rapanui.dsl.Formula;

/**
 * Finds justifications for formulas matching given @see FormulaTemplate instances.
 */
public interface JustificationFinder {
	/**
	 * Asynchronously finds justifications that match the template and emits them via the returned emitter.
	 *
	 * @param environment The environment which can be used for justifications. Guaranteed to be non-null.
	 * @param formulaTemplate Describes the kind of formulas that should be justified. Guaranteed to be non-null.
	 * @param recursionDepth The maximum number of recursion levels. Guaranteed to be non-null.
	 *
	 * @return An emitter that emits a new justification whenever it finds one. Must not be null.
	 */
	Emitter<Justification> justifyAsync(ProofEnvironment environment, Formula formulaTemplate, int recursionDepth);
}
{'fraction_non_alphanumeric': 0.06004618937644342, 'fraction_numerical': 0.0, 'mean_word_length': 4.776666666666666, 'pattern_counts': {'":': 0, '<': 5, '<?xml version=': 0, '>': 5, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '2366996', 'n_tokens_mistral': 442, 'n_tokens_neox': 407, 'n_words': 192}