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