Method: ADSL::DS::DSBoolean#resolve_invariant_formula

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

#resolve_invariant_formula(translation) ⇒ Object 



859
860
861
 
# File 'lib/adsl/spass/spass_ds_extensions.rb', line 859

def resolve_invariant_formula(translation)
  return @bool_value.resolve_spass
end