Searched defs:ProofStatus (Results 1 - 2 of 2) sorted by relevance

/ontohub/app/models/
H A Dproof_status.rb1 class ProofStatus < ActiveRecord::Base class
2 include ProofStatus::CreationFromOntology
/ontohub/app/models/proof_status/
H A Dcreation_from_ontology.rb1 class ProofStatus class
13 old_statuses = ProofStatus.all.map(&:identifier)
16 ProofStatus.find(identifier).destroy
23 proof_status = ProofStatus.find_or_initialize_by_identifier(status)

Completed in 16 milliseconds