Class: ADSL::Spass::SpassTranslator::FlatContext

Inherits:

Object
ContextCommon
ADSL::Spass::SpassTranslator::FlatContext

Defined in:: lib/adsl/spass/spass_translator.rb

Instance Attribute Summary

Attributes inherited from ContextCommon

#level, #parent

Instance Method Summary collapse

#initialize(translation, name, parent) ⇒ FlatContext constructor

A new instance of FlatContext.
#same_level_before_formula(ps, c1, c2) ⇒ Object

Methods inherited from ContextCommon

#before, get_common_context, #p_names, #type_pred

Constructor Details

#initialize(translation, name, parent) ⇒ `FlatContext`

Returns a new instance of FlatContext.



123
124
125

# File 'lib/adsl/spass/spass_translator.rb', line 123

def initialize(translation, name, parent)
  super
end

Instance Method Details

#same_level_before_formula(ps, c1, c2) ⇒ `Object`



127
128
129

# File 'lib/adsl/spass/spass_translator.rb', line 127

def same_level_before_formula(ps, c1, c2)
  false
end