Searched defs:prove_options (Results 1 - 3 of 3) sorted by relevance
| /ontohub/app/models/ontology_version/ | ||
| H A D | proving.rb | 4 def prove_options method in class:OntologyVersion |
| /ontohub/app/models/ | ||
| H A D | proof_attempt_configuration.rb | 19 def prove_options method in class:ProofAttemptConfiguration 20 return @prove_options if @prove_options 25 @prove_options = Hets::ProveOptions.new(options) |
| H A D | theorem.rb | 37 def prove_options method in class:Theorem |
Completed in 8 milliseconds