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