Cross Reference: /ontohub/app/models/theorem.rb

Lines Matching refs:ProofStatus

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::CONTRADICTORY)