class StateMachineChecker::CTL::UnaryOperator

Abstract base class for operators with a single sub-formula.

Attributes

subformula[R]

Public Class Methods

new(subformula) click to toggle source

@param [Formula] subformula

# File lib/state_machine_checker/ctl/unary_operator.rb, line 6
def initialize(subformula)
  @subformula = subformula
end

Public Instance Methods

atoms() click to toggle source

Return an enumerator over the atoms of the sub-formula

@return [Enumerator<Atom>]

# File lib/state_machine_checker/ctl/unary_operator.rb, line 13
def atoms
  subformula.atoms
end