Searched refs:DirectHetsGenerator (Results 1 - 5 of 5) sorted by relevance

/ontohub/spec/support/fixtures_generation/
H A Dontology_generator.rb4 class OntologyGenerator < DirectHetsGenerator
H A Dproof_generator.rb4 class ProofGenerator < DirectHetsGenerator
H A Dprovers_generator.rb4 class ProversGenerator < DirectHetsGenerator
H A Dprover_output_generator.rb4 class ProverOutputGenerator < DirectHetsGenerator
H A Ddirect_hets_generator.rb4 class DirectHetsGenerator < BaseGenerator class in class:FixturesGeneration

Completed in 215 milliseconds