Searched defs:selected_axioms (Results 1 - 2 of 2) sorted by relevance
| /ontohub/app/controllers/api/v1/ | ||
| H A D | proof_attempt_configurations_controller.rb | 17 def selected_axioms method in class:Api |
| /ontohub/app/serializers/ | ||
| H A D | proof_attempt_configuration_serializer.rb | 16 attributes :selected_axioms 39 def selected_axioms method in class:ProofAttemptConfigurationSerializer 41 :'proof-attempt-configuration', :selected_axioms]) |
Completed in 7 milliseconds