app/models/prover_output.rb

	prover_output.rb revision 5a102b3c56d4ac75632c7e9244ee0ce5bdbbf13a
class ProverOutput < LocIdBaseModel
  belongs_to :proof_attempt
  has_one :ontology, through: :proof_attempt
  has_one :theorem, through: :proof_attempt
  has_one :prover, through: :proof_attempt
  attr_accessible :content, :locid

  def generate_locid_string
    "#{proof_attempt.locid}//prover-output"
  end
end