Searched refs:State (Results 1 - 9 of 9) sorted by relevance

/ontohub/lib/
H A Dstate.rb1 module State module
21 states.sort_by { |s| State.success_order(s) }.last
H A Dproof_evaluation_state_updater.rb21 theorem_state = State.
/ontohub/app/models/ontology/
H A Dstates.rb4 STATES = State::STATES
/ontohub/app/models/
H A Dtheorem.rb21 validates :state, inclusion: {in: State::STATES}
H A Dproof_attempt.rb30 validates :state, inclusion: {in: State::STATES}
/ontohub/app/models/ontology_version/
H A Dstates.rb14 TERMINAL_STATES = State::TERMINAL_STATES
/ontohub/app/helpers/
H A Dstate_helper.rb34 "evaluation-state label #{State::STATE_LABEL[resource.state.to_sym]}",
50 unless State::IDLE_STATES.include?(resource.state)
H A Dapplication_helper.rb82 State::STATE_LABEL[state.to_sym]
/ontohub/app/models/repository/
H A Dimporting.rb14 STATES = State::STATES

Completed in 15 milliseconds