Method: ADSL::Parser::ASTImplies#to_adsl

Defined in:
lib/adsl/parser/ast_nodes.rb

#to_adsl ⇒ Object 



1354
1355
1356
 
# File 'lib/adsl/parser/ast_nodes.rb', line 1354

def to_adsl
  "implies(#{ @subformula1.to_adsl }, #{ @subformula2.to_adsl })"
end