class ADSL::Spass::SpassTranslator::FlatContext

Public Class Methods

new(translation, name, parent) click to toggle source
# File lib/adsl/spass/spass_translator.rb, line 123
def initialize(translation, name, parent)
  super
end

Public Instance Methods

same_level_before_formula(ps, c1, c2) click to toggle source
# File lib/adsl/spass/spass_translator.rb, line 127
def same_level_before_formula(ps, c1, c2)
  false
end