Class: StateMachineChecker::CTL::UnaryOperator

Inherits:
Formula
  • Object
show all
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 collapse

Methods inherited from Formula

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

Constructor Details

#initialize(subformula) ⇒ UnaryOperator

Returns a new instance of UnaryOperator.

Parameters:


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

def initialize(subformula)
  @subformula = subformula
end

Instance Method Details

#atomsEnumerator<Atom>

Return an enumerator over the atoms of the sub-formula

Returns:

  • (Enumerator<Atom>)

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

def atoms
  subformula.atoms
end