app/models/logic_mapping.rb

	logic_mapping.rb revision 9f820b8418985826ffbe714a8c509ff34db315a7
class LogicMapping < ActiveRecord::Base
  include Resourcable

  FAITHFULNESSES = %w( faithful model_expansive model_bijective embedding sublogic )
  THEOROIDALNESSES = %w( plain simple_theoroidal theoroidal generalised )

  belongs_to :source, class_name: 'Logic'
  belongs_to :target, class_name: 'Logic'

  attr_accessible :source, :target

end