class StateMachineChecker::CTL::AX
The universal next operator.
Public Instance Methods
check(model)
click to toggle source
@param [LabeledMachine] model @return [CheckResult]
# 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()
click to toggle source
# File lib/state_machine_checker/ctl/a_x.rb, line 15 def to_s "AX(#{subformula})" end