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