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