Class: ADSL::Verification::VerificationCase
- Inherits:
-
Test::Unit::TestCase
- Object
- Test::Unit::TestCase
- ADSL::Verification::VerificationCase
- 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