class StateMachineChecker::CTL::Implication
Logical implication.
Public Instance Methods
check(model)
click to toggle source
@param [LabeledMachine] model @return [CheckResult]
# File lib/state_machine_checker/ctl/implication.rb, line 10 def check(model) subformula1.and(subformula2).or(Not.new(subformula1)).check(model) end
to_s()
click to toggle source
# File lib/state_machine_checker/ctl/implication.rb, line 14 def to_s "(#{subformula1}) ⇒ (#{subformula2})" end