module StateMachineChecker::CTL::API
Public Instance Methods
AF(subformula)
click to toggle source
# File lib/state_machine_checker/ctl/api.rb, line 38 def AF(subformula) # rubocop:disable Naming/MethodName CTL::AF.new(atom_or_formula(subformula)) end
AG(subformula)
click to toggle source
# File lib/state_machine_checker/ctl/api.rb, line 46 def AG(subformula) # rubocop:disable Naming/MethodName CTL::AG.new(atom_or_formula(subformula)) end
AX(subformula)
click to toggle source
# File lib/state_machine_checker/ctl/api.rb, line 42 def AX(subformula) # rubocop:disable Naming/MethodName CTL::AX.new(atom_or_formula(subformula)) end
EF(subformula)
click to toggle source
# File lib/state_machine_checker/ctl/api.rb, line 26 def EF(subformula) # rubocop:disable Naming/MethodName CTL::EF.new(atom_or_formula(subformula)) end
EG(subformula)
click to toggle source
# File lib/state_machine_checker/ctl/api.rb, line 34 def EG(subformula) # rubocop:disable Naming/MethodName CTL::EG.new(atom_or_formula(subformula)) end
EX(subformula)
click to toggle source
# File lib/state_machine_checker/ctl/api.rb, line 30 def EX(subformula) # rubocop:disable Naming/MethodName CTL::EX.new(atom_or_formula(subformula)) end
atom(method_name_or_fn)
click to toggle source
# File lib/state_machine_checker/ctl/api.rb, line 18 def atom(method_name_or_fn) Atom.new(method_name_or_fn) end
neg(subformula)
click to toggle source
# File lib/state_machine_checker/ctl/api.rb, line 22 def neg(subformula) Not.new(atom_or_formula(subformula)) end
Private Instance Methods
atom_or_formula(subformula)
click to toggle source
# File lib/state_machine_checker/ctl/api.rb, line 52 def atom_or_formula(subformula) if subformula.is_a? Formula subformula else atom(subformula) end end