Class: TrueClass

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 



216
217
218
 
# File 'lib/adsl/verification/formula_generators.rb', line 216

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

#dup ⇒ Object 



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

def dup; self; end

#resolve_spass ⇒ Object 



38
39
40
 
# File 'lib/adsl/fol/first_order_logic.rb', line 38

def resolve_spass
  "true"
end