Class: StateMachineChecker::CTL::BinaryFormula
- Defined in:
- lib/state_machine_checker/ctl/binary_formula.rb
Direct Known Subclasses
AU, EU, Implication
Instance Method Summary collapse
-
#atoms ⇒ Enumerator<Atom>
Return an enumerator over the atoms of the sub-formulae.
-
#initialize(subformula1, subformula2) ⇒ BinaryFormula
constructor
A new instance of BinaryFormula.
Methods inherited from Formula
Constructor Details
#initialize(subformula1, subformula2) ⇒ BinaryFormula
Returns a new instance of BinaryFormula.
6 7 8 9 |
# File 'lib/state_machine_checker/ctl/binary_formula.rb', line 6 def initialize(subformula1, subformula2) @subformula1 = subformula1 @subformula2 = subformula2 end |
Instance Method Details
#atoms ⇒ Enumerator<Atom>
Return an enumerator over the atoms of the sub-formulae.
14 15 16 |
# File 'lib/state_machine_checker/ctl/binary_formula.rb', line 14 def atoms subformula1.atoms + subformula2.atoms end |