Class: StateMachineChecker::CTL::UnaryOperator

Inherits:

Formula

• Object
• Formula
• StateMachineChecker::CTL::UnaryOperator

Defined in:

lib/state_machine_checker/ctl/unary_operator.rb

Overview

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

Direct Known Subclasses

AF, AG, AX, EF, EG, EX, Not

Instance Method Summary

• #atoms ⇒ Enumerator<Atom>

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

• #initialize(subformula) ⇒ UnaryOperator constructor

  A new instance of UnaryOperator.

Methods inherited from Formula

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

Constructor Details

#initialize(subformula) ⇒ UnaryOperator

Returns a new instance of UnaryOperator.

Parameters:

• subformula (Formula)

# File 'lib/state_machine_checker/ctl/unary_operator.rb', line 6

def initialize(subformula)
  @subformula = subformula
end

Instance Method Details

#atoms ⇒ Enumerator<Atom>

Return an enumerator over the atoms of the sub-formula

Returns:

• (Enumerator<Atom>)

# File 'lib/state_machine_checker/ctl/unary_operator.rb', line 13

def atoms
  subformula.atoms
end