Searched defs:Hets (Results 1 - 25 of 28) sorted by relevance

12

/ontohub/lib/hets/
H A D	filetype_caller.rb	1 module Hets module
H A D	version_caller.rb	1 module Hets module 11 ==HETS== Hets Instance <#{hets_instance}> is currently not reachable.
H A D	parse_caller.rb	1 module Hets module
H A D	provers_caller.rb	1 module Hets module
H A D	provers_options.rb	1 module Hets module
H A D	action_caller.rb	1 module Hets module 8 raise Hets::InactiveInstanceError, msg unless hets_instance.try(:up?) 18 rescue Hets::NotAHetsError
H A D	prove_caller.rb	1 module Hets module 23 # The HTTP timeout must be as long as Hets maximally takes.
H A D	base_evaluator.rb	1 module Hets module 4 # This is the base class of the Hets Evaluators It should not be used 6 # want to register specific callbacks. See Hets::*::*Evaluator for the 17 # denominator for an element which occurs in the Hets DGXML output)
H A D	caller.rb	3 module Hets module
H A D	hets_options.rb	1 module Hets module
H A D	concurrent_evaluator.rb	1 module Hets module 5 # want to register specific callbacks. See Hets::DG::NodeEvaluator for the
H A D	hets_error_process.rb	1 module Hets module 19 raise Hets::NotAHetsError.new('Error was not produced due to hets.') 24 raise Hets::HetsFileError.new(message)
H A D	prove_options.rb	1 module Hets module 3 # Hets has problems finding the conjecture of TPTP if we pass the 75 # Hets considers the given timeout as "timeout per goal" 81 # Hets can only handle integers as the timeout.
H A D	errors.rb	1 module Hets module
/ontohub/lib/hets/provers/
H A D	importer.rb	1 module Hets module
/ontohub/lib/hets/dg/
H A D	parser.rb	1 module Hets module
H A D	importer.rb	1 module Hets module
H A D	nokogiri_listener.rb	1 module Hets module
H A D	node_evaluation_helper.rb	1 module Hets module
H A D	node_evaluator.rb	1 module Hets module 90 raise Hets::SyntaxError, 113 raise Hets::SyntaxError, 137 raise Hets::SyntaxError, 160 raise Hets::SyntaxError, 181 raise Hets::SyntaxError,
/ontohub/lib/hets/prove/
H A D	parser.rb	1 module Hets module
H A D	importer.rb	1 module Hets module 34 rescue Hets::JSONParser::ParserError => e 38 msg_lines = ['Hets found no theorems to prove'] 40 raise Hets::Errors::HetsFileError, msg_lines.join("\n")
H A D	prove_evaluator.rb	1 module Hets module
H A D	szs_parser.rb	1 module Hets module
/ontohub/lib/
H A D	hets.rb	3 module Hets module 26 parse_caller = Hets::ParseCaller.new(hets_instance, hets_options) 33 prove_caller = Hets::ProveCaller.new(hets_instance, prove_options) 40 provers_caller = Hets::ProversCaller.new(hets_instance, provers_options) 48 filetype_caller = Hets::FiletypeCaller.new(hets_instance)

Completed in 74 milliseconds

12

Indexes created Tue Jul 24 14:28:13 CEST 2018