Class: FalseClass

Inherits:
Object show all
Includes:
ADSL::Verification::FormulaGenerators
Defined in:
lib/adsl/util/general.rb,
lib/adsl/fol/first_order_logic.rb,
lib/adsl/verification/formula_generators.rb

Instance Method Summary collapse

Methods included from ADSL::Verification::FormulaGenerators

#[], #and, #binary_op, #binary_op_with_any_number_of_params, #equiv, #exists, #false, #forall, #handle_quantifier, #implies, #in_formula_builder, #not, #or, #true

Methods included from ADSL::Verification::Utils

#classname_for_classname, #infer_classname_from_varname, #t

Instance Method Details

#adsl_ast ⇒ Object 



224
225
226
 
# File 'lib/adsl/verification/formula_generators.rb', line 224

def adsl_ast
  ASTBoolean.new(:bool_value => self)
end

#dup ⇒ Object 



91
 
# File 'lib/adsl/util/general.rb', line 91

def dup; self; end

#resolve_spass ⇒ Object 



44
45
46
 
# File 'lib/adsl/fol/first_order_logic.rb', line 44

def resolve_spass
  "false"
end