Class: Symbol

Inherits:
Object show all
Defined in:
lib/adsl/util/general.rb,
lib/adsl/fol/first_order_logic.rb,
lib/adsl/spass/ruby_extensions.rb

Instance Method Summary collapse

Instance Method Details

#dup ⇒ Object 



75
 
# File 'lib/adsl/util/general.rb', line 75

def dup; self; end

#resolve_spass ⇒ Object 



32
33
34
 
# File 'lib/adsl/fol/first_order_logic.rb', line 32

def resolve_spass
  to_s
end

#to_spass_string ⇒ Object 



2
3
4
 
# File 'lib/adsl/spass/ruby_extensions.rb', line 2

def to_spass_string
  to_s
end