class TrueClass

Public Instance Methods

adsl_ast() click to toggle source
# File lib/adsl/verification/formula_generators.rb, line 216
def adsl_ast
  ASTBoolean.new(:bool_value => self)
end
dup() click to toggle source
# File lib/adsl/util/general.rb, line 87
def dup; self; end
resolve_spass() click to toggle source
# File lib/adsl/fol/first_order_logic.rb, line 38
def resolve_spass
  "true"
end