class Symbol
Public Instance Methods
dup()
click to toggle source
# File lib/adsl/util/general.rb, line 75 def dup; self; end
resolve_spass()
click to toggle source
# File lib/adsl/fol/first_order_logic.rb, line 32 def resolve_spass to_s end
to_spass_string()
click to toggle source
# File lib/adsl/spass/ruby_extensions.rb, line 2 def to_spass_string to_s end