Searched refs:GeneratedAxiom (Results 1 - 2 of 2) sorted by relevance

/ontohub/app/models/
H A Dgenerated_axiom.rb1 class GeneratedAxiom < ActiveRecord::Base class
/ontohub/lib/hets/prove/
H A Dprove_evaluation_helper.rb114 generated_axioms << axiom if axiom.is_a?(GeneratedAxiom)
130 generated_axiom = GeneratedAxiom.new

Completed in 7 milliseconds