Searched refs:map (Results 1 - 25 of 78) sorted by relevance

1234

/ontohub/app/serializers/
H A Dtactic_script_serializer.rb5 object.extra_options.map(&:option)
/ontohub/lib/
H A Dtriple_store.rb11 # A map (predicate x object) -> subject
14 # A map (subject x object) -> predicate
17 # A map (subject x predicate) -> object
96 # * - +map+ -> a hash of hashes of arrays
102 def entities(map, key1, key2)
103 if !map[key1]
105 elsif !map[key1][key2]
108 Array.new(map[key1][key2])
115 # * - +map+ -> a hash of hashes of arrays
119 def map_entity(map, key
[all...]
H A Dproof_evaluation_state_updater.rb22 most_successful(theorem.proof_attempts.select(:state).map(&:state))
26 proof_attempts: failed_proof_attempts.map(&:number).join(', '))
H A Daggregatable.rb22 counts = symbols.groups_by_kind.map { |symbol| {name: symbol.kind, count: symbol.count} }
H A Dsettings_validator.rb30 errors.map { |key, messages| format_error(key, messages) }
62 messages.map { |message| format_message(message) }.join("\n")
95 message.split("\n").map { |line| "#{' ' * indentation}#{line}"}.join("\n")
H A Dsql_helper.rb14 values = column_names.map { |name| column[name.to_s] }
H A Dontology_bean_list_factory.rb51 ontology.categories.map { |category| {text: category.name, href: "/categories/#{category.id}"} }
55 ontology.projects.map { |project| {text: project.display_name, href: "/projects/#{project.id}"} }
H A Drouter_constraints.rb54 def initialize(find_in_klass, **map)
56 @map = map
103 proof_attempt = element.proof_attempt if @map[:proof_attempt]
104 theorem = element.theorem if @map[:theorem]
108 path_params[@map[p]] = binding.local_variable_get(p).id if @map[p]
174 self.mime_types = mime_types.flatten.map { |m| Mime::Type.lookup(m) }
H A Denvironment_light.rb18 abs_settings_files = settings_files.map { |f| rails_root.join('config', f) }
/ontohub/db/seeds/
H A D060-comments.rb4 text: (1 + rand(4)).times.map{ Faker::Lorem.paragraph(5 + rand(10)) }.join("\n\n")
/ontohub/lib/oops/
H A Dresponse.rb13 doc.root.elements.map do |node|
19 node.xpath("oops:Affects/*").map(&:text)
/ontohub/spec/factories/
H A Dtactic_script_factory.rb8 extra_options = [1,2].map { build :tactic_script_extra_option }
/ontohub/spec/models/
H A Dsine_axiom_selection_spec.rb151 expect(subject.axioms.map(&:name)).to match_array(['transitivity'])
162 expect(subject.axioms.map(&:name)).
176 expect(subject.axioms.map(&:name)).
195 expect(subject.axioms.map(&:name)).to match_array([])
206 expect(subject.axioms.map(&:name)).
219 expect(subject.axioms.map(&:name)).
235 expect(subject.axioms.map(&:name)).to match_array([])
246 expect(subject.axioms.map(&:name)).to match_array(['transitivity'])
257 expect(subject.axioms.map(&:name)).to match_array(['transitivity'])
272 expect(subject.axioms.map(
[all...]
H A Dontology_version_spec.rb38 expect(OntologyVersion.accessible_by(editor).all.map(&:id)).to include(ontology.current_version.id)
42 expect(OntologyVersion.accessible_by(user).all.map(&:id)).not_to include(ontology.current_version.id)
/ontohub/app/models/
H A Dtactic_script.rb8 extra_options: extra_options.map(&:option)}.to_json
/ontohub/spec/lib/
H A Daccess_token_deletion_worker_spec.rb6 [-2, -1, 1].map { |h| h.hours.from_now }.each do |expiration|
H A Dproof_spec.rb4 let(:provers) { [1,2].map { create(:prover, :with_sequenced_name) } }
9 let(:axioms) { (1..3).map { create :axiom, ontology: ontology } }
16 proof: {prover_ids: [*provers.map(&:id).map(&:to_s), ''],
86 axioms: axioms.map(&:id)
131 map(&:reload).
132 map(&:proof_attempt_configuration).
133 map(&:prover).uniq).to match_array(provers)
200 axioms: axioms.map(&:id)
249 map(
[all...]
/ontohub/db/data/
H A D20160719133546_preload_locids.rb3 LocId.where(specific_type: Sentence.descendants.map(&:to_s)).
/ontohub/spec/lib/repository/
H A Ddirectories_spec.rb40 expect(repository.folder_contents(@commit_add1).map do |git_file|
53 expect(repository.folder_contents(@commit_add1, subfolder).map do |git_file|
67 expect(repository.folder_contents(@commit_add2).map do |git_file|
80 expect(repository.folder_contents(@commit_add2, subfolder).map do |git_file|
97 expect(repository.folder_contents(@commit_add3).map do |git_file|
113 expect(repository.folder_contents(@commit_add3, subfolder).map do |git_file|
138 expect(repository.folder_contents(@commit_del1).map do |git_file|
154 expect(repository.folder_contents(@commit_del1, subfolder).map do |git_file|
168 expect(repository.folder_contents(@commit_del2).map do |git_file|
/ontohub/app/helpers/
H A Dsymbol_helper.rb17 raw_symbol_kinds = symbol_kinds.map { |e| e.try(:kind) || e.to_s }
H A Dpagination_helper.rb23 map { |p| p.split('=') }
61 query_string = query_string_parts.map { |p| p.join('=') }.join('&')
/ontohub/app/models/ontology/
H A Dimport_mappings.rb10 source_mappings.map(&:target)
H A Dcategories.rb14 [Category, CEdge].map(&:destroy_all)
17 classes.map! { |c| categorify(c) }
/ontohub/spec/models/repository/
H A Daccess_spec.rb15 expect(Repository.pub.map(&:access).
20 expect(Repository.pub.map(&:access).
/ontohub/app/models/repository/
H A Dontologies.rb8 .map{|o| o.versions.last}

Completed in 1006 milliseconds

1234