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