class StateMachineChecker::CTL::BinaryFormula
Attributes
subformula1[R]
subformula2[R]
Public Class Methods
new(subformula1, subformula2)
click to toggle source
# File lib/state_machine_checker/ctl/binary_formula.rb, line 6 def initialize(subformula1, subformula2) @subformula1 = subformula1 @subformula2 = subformula2 end
Public Instance Methods
atoms()
click to toggle source
Return an enumerator over the atoms of the sub-formulae.
@return [Enumerator<Atom>]
# File lib/state_machine_checker/ctl/binary_formula.rb, line 14 def atoms subformula1.atoms + subformula2.atoms end