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