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