Module: StateMachineChecker::CTL::API

Defined in:
lib/state_machine_checker/ctl/api.rb

Instance Method Summary collapse

Instance Method Details

#AF(subformula) ⇒ Object

rubocop:disable Naming/MethodName


38
39
40
# 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) ⇒ Object

rubocop:disable Naming/MethodName


46
47
48
# 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

#atom(method_name_or_fn) ⇒ Object


18
19
20
# File 'lib/state_machine_checker/ctl/api.rb', line 18

def atom(method_name_or_fn)
  Atom.new(method_name_or_fn)
end

#AX(subformula) ⇒ Object

rubocop:disable Naming/MethodName


42
43
44
# 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) ⇒ Object

rubocop:disable Naming/MethodName


26
27
28
# 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) ⇒ Object

rubocop:disable Naming/MethodName


34
35
36
# 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) ⇒ Object

rubocop:disable Naming/MethodName


30
31
32
# 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

#neg(subformula) ⇒ Object


22
23
24
# File 'lib/state_machine_checker/ctl/api.rb', line 22

def neg(subformula)
  Not.new(atom_or_formula(subformula))
end