Searched refs:normalize_check_box_ids (Results 1 - 1 of 1) sorted by relevance

/ontohub/app/fake_records/
H A Dproof.rb103 @prover_ids = normalize_check_box_ids(opts[:proof][:prover_ids])
111 def normalize_check_box_ids(collection) method in class:Proof
154 axiom_ids = normalize_check_box_ids(opts[:proof][:axioms])

Completed in 7 milliseconds