Cross Reference:
xref: /ontohub/db/migrate/20150219082907_create_generated_axioms.rb
  • Home
  • History
  • Annotate
  • Line#
  • Navigate
  • Download
  • only in ./
20150219082907_create_generated_axioms.rb revision 866c9aa341bbd88aa6747188b03f86fd324c1e43
2454dfa32c93c20a8522c6ed42fe057baaac9f9aStephan Boschclass CreateGeneratedAxioms < ActiveRecord::Migration
2670cd577aa57eb9f915a4f4220ae48c9b4fc5fbTimo Sirainen def change
2670cd577aa57eb9f915a4f4220ae48c9b4fc5fbTimo Sirainen create_table :generated_axioms do |t|
2670cd577aa57eb9f915a4f4220ae48c9b4fc5fbTimo Sirainen t.string :name, null: false
2670cd577aa57eb9f915a4f4220ae48c9b4fc5fbTimo Sirainen t.references :proof_attempt, null: false
ece0a20249ce26208db3415ba2e79423678856f8Timo Sirainen end
2670cd577aa57eb9f915a4f4220ae48c9b4fc5fbTimo Sirainen
ece0a20249ce26208db3415ba2e79423678856f8Timo Sirainen add_index :generated_axioms, :name
2670cd577aa57eb9f915a4f4220ae48c9b4fc5fbTimo Sirainen end
2670cd577aa57eb9f915a4f4220ae48c9b4fc5fbTimo Sirainenend
2670cd577aa57eb9f915a4f4220ae48c9b4fc5fbTimo Sirainen

Indexes created Tue Jul 24 14:28:13 CEST 2018