Class: StateMachineChecker::CTL::BinaryFormula

Inherits:
Formula
  • Object
show all
Defined in:
lib/state_machine_checker/ctl/binary_formula.rb

Direct Known Subclasses

AU, EU, Implication

Instance Method Summary collapse

Methods inherited from Formula

#AU, #EU, #and, #implies, #or

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

#atomsEnumerator<Atom>

Return an enumerator over the atoms of the sub-formulae.

Returns:

  • (Enumerator<Atom>)

14
15
16
# File 'lib/state_machine_checker/ctl/binary_formula.rb', line 14

def atoms
  subformula1.atoms + subformula2.atoms
end