class ADSL::Spass::SpassTranslator::FlatContext
Public Class Methods
new(translation, name, parent)
click to toggle source
Calls superclass method
ADSL::Spass::SpassTranslator::ContextCommon::new
# 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