Searched refs:ProofStatus (Results 1 - 11 of 11) sorted by relevance
| /ontohub/spec/factories/ |
| H A D | proof_status_factory.rb | 2 factory :proof_status_success, class: ProofStatus do
3 initialize_with { ProofStatus.find('SUC') }
6 factory :proof_status_csa, class: ProofStatus do
7 initialize_with { ProofStatus.find('CSA') }
10 factory :proof_status_csas, class: ProofStatus do
11 initialize_with { ProofStatus.find('CSAS') }
14 factory :proof_status_open, class: ProofStatus do
15 initialize_with { ProofStatus.find(ProofStatus::DEFAULT_OPEN_STATUS) }
18 factory :proof_status_proven, class: ProofStatus d
[all...] |
| /ontohub/app/models/ |
| H A D | theorem.rb | 4 STATUS_ORDER = [ProofStatus::DEFAULT_OPEN_STATUS,
5 ProofStatus::DEFAULT_UNKNOWN_STATUS,
8 ProofStatus::DEFAULT_DISPROVEN_ON_SUBSET,
11 ProofStatus::DEFAULT_DISPROVEN_STATUS,
12 ProofStatus::DEFAULT_PROVEN_STATUS,
13 ProofStatus::CONTRADICTORY]
30 if identifiers.include?(ProofStatus::DEFAULT_PROVEN_STATUS) &&
31 identifiers.include?(ProofStatus::DEFAULT_DISPROVEN_STATUS)
32 self.proof_status = ProofStatus.find(ProofStatus
[all...] |
| H A D | proof_status.rb | 1 class ProofStatus < ActiveRecord::Base class
2 include ProofStatus::CreationFromOntology
|
| H A D | proof_attempt.rb | 42 self.proof_status ||= ProofStatus.find(ProofStatus::DEFAULT_OPEN_STATUS)
|
| /ontohub/app/models/proof_status/ |
| H A D | creation_from_ontology.rb | 1 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)
|
| /ontohub/db/migrate/ |
| H A D | 20160110133823_change_proof_status_from_loc_id_to_slug_routing.rb | 5 ProofStatus.find_each do |proof_status|
17 ProofStatus.find_each do |proof_status|
|
| /ontohub/lib/hets/prove/ |
| H A D | prove_evaluation_helper.rb | 39 proof_status = ProofStatus.find_by_name(szs_name)
48 ProofStatus::DEFAULT_PROVEN_STATUS
50 ProofStatus::DEFAULT_DISPROVEN_STATUS
52 ProofStatus::DEFAULT_UNKNOWN_STATUS
54 ProofStatus.find(identifier)
60 ProofStatus.find("#{proof_status.identifier}S")
|
| /ontohub/spec/models/ |
| H A D | theorem_spec.rb | 237 create :proof_attempt, proof_status: ProofStatus.find(statuses.first)
242 proof_status: ProofStatus.find(statuses.last),
255 create :proof_attempt, proof_status: ProofStatus.find(statuses.first)
260 proof_status: ProofStatus.find(statuses.last),
274 create :proof_attempt, proof_status: ProofStatus.find(statuses.first)
279 proof_status: ProofStatus.find(statuses.last),
|
| H A D | ontology_spec.rb | 396 to eq(ProofStatus::DEFAULT_OPEN_STATUS)
431 to eq(ProofStatus::DEFAULT_PROVEN_STATUS)
|
| /ontohub/app/models/ontology/ |
| H A D | sentences.rb | 150 status_id = ProofStatus::DEFAULT_PROVEN_STATUS
153 status_id = ProofStatus::DEFAULT_OPEN_STATUS
156 theorem.proof_status = ProofStatus.find(status_id)
|
| /ontohub/lib/ |
| H A D | rake_helper.rb | 47 ProofStatus.refresh_statuses
|
Completed in 14 milliseconds