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