Searched refs:ProofEvaluationStateUpdater (Results 1 - 4 of 4) sorted by relevance

/ontohub/spec/lib/
H A Dproof_evaluation_state_updater_spec.rb3 describe ProofEvaluationStateUpdater do
10 let(:pesu) { ProofEvaluationStateUpdater.new(proof_attempt, state) }
30 # That's why we call the ProofEvaluationStateUpdater many times on the same
39 let(:pesu21) { ProofEvaluationStateUpdater.new(proof_attempt2, 'processing') }
40 let(:pesu22) { ProofEvaluationStateUpdater.new(proof_attempt2, state) }
51 let(:pesu21) { ProofEvaluationStateUpdater.new(proof_attempt2, 'processing') }
52 let(:pesu22) { ProofEvaluationStateUpdater.new(proof_attempt2, state) }
63 let(:pesu1) { ProofEvaluationStateUpdater.new(proof_attempt1, 'processing') }
68 let(:pesu21) { ProofEvaluationStateUpdater.new(proof_attempt2, 'processing') }
69 let(:pesu22) { ProofEvaluationStateUpdater
[all...]
/ontohub/lib/
H A Dproof_evaluation_state_updater.rb1 class ProofEvaluationStateUpdater class
H A Dproof_execution.rb29 ProofEvaluationStateUpdater.new(proof_attempt, :processing).call
/ontohub/lib/hets/prove/
H A Dprove_evaluation_helper.rb9 proof_attempt.do_or_set_failed(ProofEvaluationStateUpdater) do
15 ProofEvaluationStateUpdater.new(proof_attempt, :done).call

Completed in 151 milliseconds