Class: ADSL::Verification::VerificationCase

Inherits:
Test::Unit::TestCase
  • Object
show all
Includes:
FormulaGenerators, Utils
Defined in:
lib/adsl/verification/verification_case.rb

Method Summary

Methods included from 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 Utils

#classname_for_classname, #infer_classname_from_varname, #t