Class: PgVerify::Interpret::LTLBuilder

Inherits:
Object
  • Object
show all
Defined in:
lib/pg-verify/interpret/spec/ltl_builder.rb

Defined Under Namespace

Classes: LTLBuilderAfter, LTLBuilderBase, LTLBuilderBefore, LTLBuilderGlobally

Instance Method Summary collapse

Instance Method Details

#after(expression) ⇒ Object 



9
10
11
 
# File 'lib/pg-verify/interpret/spec/ltl_builder.rb', line 9

def after(expression)
    return LTLBuilderAfter.new(expression)
end

#after_until ⇒ Object 



16
 
# File 'lib/pg-verify/interpret/spec/ltl_builder.rb', line 16

def after_until(); end

#before(expression) ⇒ Object 



12
13
14
 
# File 'lib/pg-verify/interpret/spec/ltl_builder.rb', line 12

def before(expression)
    LTLBuilderBefore.new(expression)
end

#between ⇒ Object 



15
 
# File 'lib/pg-verify/interpret/spec/ltl_builder.rb', line 15

def between(); end

#globally ⇒ Object 



6
7
8
 
# File 'lib/pg-verify/interpret/spec/ltl_builder.rb', line 6

def globally()
    return LTLBuilderGlobally.new()
end