Class: StateMachineChecker::CTL::AX
- Inherits:
-
UnaryOperator
- Object
- Formula
- UnaryOperator
- StateMachineChecker::CTL::AX
- Defined in:
- lib/state_machine_checker/ctl/a_x.rb
Overview
The universal next operator.
Instance Method Summary collapse
Methods inherited from UnaryOperator
Methods inherited from Formula
Constructor Details
This class inherits a constructor from StateMachineChecker::CTL::UnaryOperator
Instance Method Details
#check(model) ⇒ CheckResult
11 12 13 |
# File 'lib/state_machine_checker/ctl/a_x.rb', line 11 def check(model) Not.new(CTL::EX.new(Not.new(subformula))).check(model) end |
#to_s ⇒ Object
15 16 17 |
# File 'lib/state_machine_checker/ctl/a_x.rb', line 15 def to_s "AX(#{subformula})" end |