class FalseClass
Public Instance Methods
adsl_ast()
click to toggle source
# File lib/adsl/verification/formula_generators.rb, line 224 def adsl_ast ASTBoolean.new(:bool_value => self) end
dup()
click to toggle source
# File lib/adsl/util/general.rb, line 91 def dup; self; end
resolve_spass()
click to toggle source
# File lib/adsl/fol/first_order_logic.rb, line 44 def resolve_spass "false" end