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